An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.

Thomas Linke, Torsten Schaub

Browse the full JELIA paper archive.