A Verified AsmL Implementation of Belief Revision

DOI10.1007/978-3-540-87603-8_9zbMath1156.68468OpenAlexW1560488444MaRDI QIDQ3535368

Christoph Beierle, Gabriele Kern-Isberner

Publication date: 11 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87603-8_9

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Semantic splitting of conditional belief bases

Uses Software

• AsmL

Cites Work

• On the logic of iterated belief revision
• A thorough axiomatization of a principle of conditional preservation in belief revision
• In defense of the maximum entropy inference process
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Semantic essence of AsmL
• A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
• On the logic of theory change: Partial meet contraction and revision functions
• Abstract State Machines
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Verified AsmL Implementation of Belief Revision