Paper: A theory of nonmonotonic rule systems (at LICS 1990)

Authors: Victor W. Marek Anil Nerode Jeffrey B. Remmel

Abstract

The semantics for nonmonotonic rule systems are investigated. The notion of nonmonotonic formal systems is then introduced. Examples are given, along with applications of logic, logic programming, and common-sense reasoning

BibTeX

  @InProceedings{MarekNerodeRemmel-Atheoryofnonmonoton,
    author = 	 {Victor W. Marek and Anil Nerode and Jeffrey B. Remmel},
    title = 	 {A theory of nonmonotonic rule systems},
    booktitle =  {Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 1990)},
    year =	 {1990},
    month =	 {June}, 
    pages =      {79--94},
    location =   {Philadelphia, PA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }