Fifth Annual IEEE Symposium on

Logic in Computer Science (LICS 1990)

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

Authors: Marek, W. Nerode, A. Remmel, J.


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


    author = 	 {Marek, W. and Nerode, A. and Remmel, J.},
    title = 	 {A theory of nonmonotonic rule systems},
    booktitle =  {Proceedings of the Fifth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1990},
    year =	 1990,
    editor =	 {John Mitchell},
    month =	 {June}, 
    pages =      {79--94},
    location =   {Philadelphia, PA, USA}, 
    publisher =	 {IEEE Computer Society Press}