Extension Calculus and Query Answering in Prioritized Default Logic

Farid Benhammadi, Pascal Nicolas, Torsten Schaub. Extension Calculus and Query Answering in Prioritized Default Logic. In Fausto Giunchiglia, editor, Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA 98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings. Volume 1480 of Lecture Notes in Computer Science, pages 76-87, Springer, 1998. [doi]

Abstract

Abstract is missing.