A theory of nonmonotonic rule systems. II (Q1354038)

Nonmonotonic logics have become an extensive research area in computer science. Among such logics are Default Logic, Logic Programming with Negation as Failure, Autoepistemic Logic, and Truth Maintenance Systems. The class of nonmonotonic rule systems was introduced in Part I [the authors, 5th Ann. IEEE Symp. Logic in Comput. Sci., Philadelphia 1990, 79-94 (1990)]. Nonmonotonic rule systems provide an arena which brings out the common structure of these logics. They provide common syntax, semantics, algorithms and metatheorems for these subjects, and show that they are of equal generality.