Annotated nonmonotonic rule systems

DOI10.1016/S0304-3975(96)00127-2MaRDI QIDQ673384zbMATH OpenOpenAlexFDO

Authors V. S. Subrahmanian, Jeffrey Remmel, Anil Nerode

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(96)00127-2

zbMATH Keywords

nonmonotonic reasoningnonmonotonic logicannotated logicsmultiple-valued logicsnonmonotonic rule systemsnormal default theories

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• On the relationship between annotated logic programs and nonmonotonic formalisms
• A theory of nonmonotonic rule systems I
• A theory of nonmonotonic rule systems. II
• A context for belief revision: forward chaining-normal nonmonotonic rule systems

Cites work

• scientific article; zbMATH DE number 4026795 (Why is no real title available?)
• scientific article; zbMATH DE number 4064538 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 4185060 (Why is no real title available?)
• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• A logic for default reasoning
• A theory of nonmonotonic rule systems I
• A theory of nonmonotonic rule systems. II
• How complicated is the set of stable models of a recursive logic program?
• Logic programming and nonmonotonic reasoning. Third international conference, LPNMR '95, Lexington, KY, USA, June 26--28, 1995. Proceedings
• Non-monotonic logic. I
• Nonmonotonic Logic II
• Probabilistic logic programming

Cited in

(7)

• Aggregated fuzzy answer set programming
• On the relationship between annotated logic programs and nonmonotonic formalisms
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• Possibilistic uncertainty handling for answer set programming
• Nonmonotonic rule systems with recursive sets of restraints
• A core language for fuzzy answer set programming
• A theory of nonmonotonic rule systems I

This page was built for publication: Annotated nonmonotonic rule systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673384)