Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Fifth Annual IEEE Symposium on

Logic in Computer Science (LICS 1990)

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}
  }
   

Last modified: 2018-06-2121:59
Andrzej Murawski