iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/rec/conf/dagstuhl/CreignouMTV10.xml
Nadia Creignou Arne Meier Michael Thomas 0001 Heribert Vollmer The Complexity of Reasoning for Fragments of Autoepistemic Logic. 2010 Circuits, Logic, and Games http://drops.dagstuhl.de/opus/volltexte/2010/2523/ conf/dagstuhl/2010P10061 db/conf/dagstuhl/P10061.html#CreignouMTV10