Operational Characterization of Extensions in Some Logics for Default Reasoning

Grigoris Antoniou

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


Default reasoning is one of the most common forms of nonmonotonic reasoning, and is found in many application domains. Default logic and its variants have been proposed as knowledge representation methods capable of default reasoning. One problem of all these methods is that their concepts are given in terms of fixed-point equations, thus making them difficult to understand and use. In this paper, we present simple, constructive approaches for the semantics of some default logic variants, and show their correctness.

Original languageEnglish
Pages (from-to)261-273
Number of pages13
JournalInformation Sciences
Issue number3-4
Publication statusPublished - 1 Mar 1996
Externally publishedYes


Dive into the research topics of 'Operational Characterization of Extensions in Some Logics for Default Reasoning'. Together they form a unique fingerprint.

Cite this