What people are saying - Write a review
We haven't found any reviews in the usual places.
Monotonic formal systems
Examples and Applications in Logic Logic Programming and Com
Representation of Combinatorial and Algebraic Problems as Struc
1 other sections not shown
5-deduction add the following algorithm answer set apply rules Artificial Intelligence atoms axiom belief set Boolean Algebra classical logic classical negation clauses closed sets containing commutative ring computed conclusion Cs(I Cs(R database deductively closed sets default logic define derive disjoint chain cover elements finitely many girls fixpoint form 21 Gelfond and Lifschitz intersection J.B. Remmel knows only finitely logic programming Marek and Truszczynski marriage problem maximal ideal Mbgi minimal deductively closed monotone system monotonic formal system monotonic rules negation as failure Nerode and Remmel nonmonotonic formal system nonmonotonic logic nonmonotonic rule systems nonmonotonic system operator partially ordered set predicate logic prefixpoint premises prime ideal program with classical proper marriage propositional logic Reiter restraints rules of form S C U secured consequences semantics set of rules set of secured stable models subset symmetric marriage Tarski Theorem 5.1 THEORY OF NONMONOTONIC tr(P Truth Maintenance System weak extension