Skeptical reason maintenance and belief revision

DOI10.1016/0004-3702(93)90090-XzbMath0779.68081OpenAlexW2057095065MaRDI QIDQ685347

Gerhard Brewka, Cees Witteveen

Publication date: 19 January 1994

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(93)90090-x

zbMATH Keywords

complexitythree-valued logictheory-revision

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

Revision by communication ⋮ Iterative belief revision in extended logic programming ⋮ A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence

Cites Work

• Semantical considerations on nonmonotonic logic
• On the logic of theory change: Partial meet contraction and revision functions
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• The well-founded semantics for general logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Skeptical reason maintenance and belief revision