A theory of nonmonotonic rule systems
W. Marek, Anil Nerode, Jeffrey B. Remmel · 2002
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.>