pdf-format: |
|
@InProceedings{creignou_et_al:DSP:2010:2523, author = {Nadia Creignou and Arne Meier and Michael Thomas and Heribert Vollmer}, title = {The Complexity of Reasoning for Fragments of Autoepistemic Logic}, booktitle = {Circuits, Logic, and Games}, year = {2010}, editor = {Benjamin Rossman and Thomas Schwentick and Denis Th{\'e}rien and Heribert Vollmer}, number = {10061}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2523}, annote = {Keywords: Autoepistemic logic, computational complexity, nonmonotonic reasoning, Post's lattice} }
Keywords: | Autoepistemic logic, computational complexity, nonmonotonic reasoning, Post's lattice | |
Seminar: | 10061 - Circuits, Logic, and Games | |
Issue date: | 2010 | |
Date of publication: | 26.04.2010 |