A context for belief revision: forward chaining-normal nonmonotonic rule systems

DOI10.1016/0168-0072(94)90013-2zbMath0798.03028OpenAlexW1994609200MaRDI QIDQ1326782

Anil Nerode, Victor W. Marek, Jeffery B. Remmel

Publication date: 3 November 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)90013-2

zbMATH Keywords

fixed pointsnonmonotonic logicconsistency propertynormal rulesReiter default logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30)

Related Items

Forward Chaining for Hybrid ASP, On the lattices of NP-subspaces of a polynomial time vector space over a finite field, Complexity-theoretic algebra. II: Boolean algebras, Annotated nonmonotonic rule systems, My work with Victor Marek: a mathematician looks at answer set programming, Consistency properties and set based logic programming, Decidable Kripke models of intuitionistic theories, Logic programs, well-orderings, and forward chaining, On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP

Cites Work

• Negation by default and unstratifiable logic programs
• A logic for default reasoning
• Non-monotonic logic. I
• How complicated is the set of stable models of a recursive logic program?
• A theory of nonmonotonic rule systems. II
• A theory of nonmonotonic rule systems I
• The expressiveness of locally stratified programs
• Degrees of members of \(\Pi_ 1^ 0\) classes
• Nonmonotonic Logic II
• Autoepistemic logic
• ∏ 0 1 Classes and Degrees of Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item