@dblp

The Complexity of Reasoning for Fragments of Autoepistemic Logic.

, , , and . Circuits, Logic, and Games, volume 10061 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)

Links and resources

Tags