Paper: A theory of nonmonotonic rule systems (at LICS 1990)
Authors: Marek, W. Nerode, A. Remmel, J.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 = {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} }