Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - Informal or Other Publication
ID - DBLP:conf/dagstuhl/CreignouMTV10
AU - Creignou, Nadia
AU - Meier, Arne
AU - Thomas, Michael
AU - Vollmer, Heribert
TI - The Complexity of Reasoning for Fragments of Autoepistemic Logic.
BT - Circuits, Logic, and Games, 07.02. - 12.02.2010
PY - 2010//
UR - http://drops.dagstuhl.de/opus/volltexte/2010/2523/
ER -
