A Correct Logic Programming Computation of Default Logic Extensions

Grigoris Antoniou, Elmar Langetepe

Research output: Contribution to journalArticlepeer-review


We present a method of representing some classes of default theories as normal logic programs. The main point is that the standart semantics (i.e., SLDNF-resolution) computes answer substitutions that correspond exactly to the extensions of the represented default theory. This means that we give a correct implementation of default logic. We explain the steps of constructing a logic program LogProg(P, D) from a given default theory (P, D), give some examples, and derive soundness and completeness results.

Original languageEnglish
Pages (from-to)25-46
Number of pages22
JournalJournal of Automated Reasoning
Issue number1
Publication statusPublished - 1 Feb 1997
Externally publishedYes


Dive into the research topics of 'A Correct Logic Programming Computation of Default Logic Extensions'. Together they form a unique fingerprint.

Cite this