Annotated nonmonotonic rule systems

DOI10.1016/S0304-3975(96)00127-2zbMath0874.68276OpenAlexW1996971120MaRDI QIDQ673384

V. S. Subrahmanian, Jeffery B. Remmel

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 logicannotated logicsnonmonotonic reasoningmultiple-valued logicsnonmonotonic rule systemsnormal default theories

Mathematics Subject Classification ID

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

Related Items (4)

Possibilistic uncertainty handling for answer set programming ⋮ A core language for fuzzy answer set programming ⋮ Reducing fuzzy answer set programming to model finding in fuzzy logics ⋮ Aggregated fuzzy answer set programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for default reasoning
• Non-monotonic logic. I
• How complicated is the set of stable models of a recursive logic program?
• Probabilistic logic programming
• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• A theory of nonmonotonic rule systems. II
• A theory of nonmonotonic rule systems I
• Logic programming and nonmonotonic reasoning. Third international conference, LPNMR '95, Lexington, KY, USA, June 26--28, 1995. Proceedings
• Nonmonotonic Logic II

This page was built for publication: Annotated nonmonotonic rule systems