Priorities in default logic revisited

Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Citations (Scopus)


One of the drawbacks of Reiter's original presentation of Default Logic is the difficulty of expressing priorities among defaults. Recently, Brewka proposed an expansion of Default Logic which allows for explicit reasoning about priorities in Default Logic. In this paper we give an alternative, operational characterization of extensions; it is also technically simpler and therefore more easily applicable. Further we investigate some properties of the logic paying special attention to the existence of extensions. We present some sufficient conditions for a default theory with priorities to have at least one extension.

Original languageEnglish
Title of host publicationTopics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings
EditorsMarco Gori, Giovanni Soda
PublisherSpringer Verlag
Number of pages11
ISBN (Print)3540604375, 9783540604372
Publication statusPublished - 1995
Externally publishedYes
Event4th Congress of the Italian Association for Artificial Intelligence - Florence, Italy
Duration: 11 Oct 199513 Oct 1995
Conference number: 4

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference4th Congress of the Italian Association for Artificial Intelligence
Abbreviated titleAI*IA 1995
Internet address


Dive into the research topics of 'Priorities in default logic revisited'. Together they form a unique fingerprint.

Cite this