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:journals/corr/abs-1006-0220
AU - Creignou, Nadia
AU - Meier, Arne
AU - Thomas, Michael
AU - Vollmer, Heribert
TI - The Complexity of Reasoning for Fragments of Autoepistemic Logic
JO - CoRR
VL - abs/1006.0220
PY - 2010//
UR - http://arxiv.org/abs/1006.0220
ER -