What people are saying - Write a review
We haven't found any reviews in the usual places.
Background and Historical Papers
Formalizations of Nonmonotonic Reasoning
12 other sections not shown
action AE extension algorithm approach Artificial Intelligence assume assumption ATMS atoms autoepistemic autoepistemic logic belief revision beliefs birds circumscription closed world assumption components Computer consequence consider consistent contains context contradiction data base database deduction default logic default reasoning default rules default theory define definition derived diagnoses domain constraints environment equivalent example fact false first-order fluents formal formula frame axioms frame problem Ginsberg inconsistent interpretation intuitive justifications label Lifschitz Logic Programming McCarthy McDermott minimal candidates minimal models modal logic monotonic negation node nogood nonmonotonic logic nonmonotonic reasoning notion paper possible worlds predicate problem solver proof Proposition qualification problem Reiter represent result satisfies Section semantics sentences situation situation calculus stable set subset Theorem tion true truth maintenance truth maintenance system truth value Tweety variables