Title :
A theory of nonmonotonic rule systems
Author :
Marek, W. ; Nerode, A. ; Remmel, J.
Author_Institution :
Dept. of Comput. Sci., Kentucky Univ., Lexington, KY, USA
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
Keywords :
formal logic; logic programming; common-sense reasoning; formal systems; logic; logic programming; semantics; theory of nonmonotonic rule systems; Birds; Calculus; Computer science; Contracts; Decision making; History; Logic; Mathematics; Positron emission tomography; Statistical distributions;
Conference_Titel :
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e
Conference_Location :
Philadelphia, PA
Print_ISBN :
0-8186-2073-0
DOI :
10.1109/LICS.1990.113736
