Thomas Linke, Torsten Schaub. An Approach to Query-Answering in Reiter s Default Logic and the Underlying Existence of Extensions Problem. In Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach, editors, Logics in Artificial Intelligence, European Workshop, JELIA 98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Volume 1489 of Lecture Notes in Computer Science, pages 233-247, Springer, 1998. [doi]
Abstract is missing.