%0 Conference Paper %1 conf/dagstuhl/CreignouMTV10 %A Creignou, Nadia %A Meier, Arne %A Thomas, Michael %A Vollmer, Heribert %B Circuits, Logic, and Games %D 2010 %E Rossman, Benjamin %E Schwentick, Thomas %E Thérien, Denis %E Vollmer, Heribert %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %T The Complexity of Reasoning for Fragments of Autoepistemic Logic. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P10061.html#CreignouMTV10 %V 10061

@inproceedings{conf/dagstuhl/CreignouMTV10, added-at = {2018-08-23T00:00:00.000+0200}, author = {Creignou, Nadia and Meier, Arne and Thomas, Michael and Vollmer, Heribert}, biburl = {https://www.bibsonomy.org/bibtex/24761c81d47ea31042b422f85ed9f54b6/dblp}, booktitle = {Circuits, Logic, and Games}, crossref = {conf/dagstuhl/2010P10061}, editor = {Rossman, Benjamin and Schwentick, Thomas and Thérien, Denis and Vollmer, Heribert}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2523/}, interhash = {7f3ca6f0cb63ecc6c2a6c1e386694fa5}, intrahash = {4761c81d47ea31042b422f85ed9f54b6}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:24:43.000+0200}, title = {The Complexity of Reasoning for Fragments of Autoepistemic Logic.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P10061.html#CreignouMTV10}, volume = 10061, year = 2010 }