Paper: Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming (at LICS 1987)

Authors: Nicole Bidoit Christine Froidevaux

Abstract

Logic programs and databases are studied from the point of view of Default Logic. A specific class of programs, namely stratifiable programs, are considered. For stratifiable logic programs and databases, we show that :
(a) Default Logic, Perfect models, Circumscription and Iterated Fixed Points all lead to equivalent semantics, and
(b) The minimal model semantics is sufficient to define the semantics of logic programs and databases.

BibTeX

  @InProceedings{BidoitFroidevaux-MinimalismsubsumesD,
    author = 	 {Nicole Bidoit and Christine Froidevaux},
    title = 	 {Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming},
    booktitle =  {Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science (LICS 1987)},
    year =	 {1987},
    month =	 {June}, 
    pages =      {89--97},
    location =   {Ithaca, NY, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }