A Verified AsmL Implementation of Belief Revision

DOI10.1007/978-3-540-87603-8_9MaRDI QIDQ3535368zbMATH OpenOpenAlexFDO

Authors C. 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

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

Recommendations

• Modelling conditional knowledge discovery and belief revision by abstract state machines
• scientific article; zbMATH DE number 140376
• A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
• An implementation of consistency-based multi-agent belief change using ASP
• Reinforcement Belief Revision

Cites work

• A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Abstract state machines. A method for high-level system design and analysis (with CD-ROM)
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 3514748 (Why is no real title available?)
• scientific article; zbMATH DE number 1285156 (Why is no real title available?)
• In defense of the maximum entropy inference process
• Modelling conditional knowledge discovery and belief revision by abstract state machines
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Semantic essence of AsmL

Cited in

(3)

• Semantic splitting of conditional belief bases
• Modelling conditional knowledge discovery and belief revision by abstract state machines
• Revision operators with compact representations

Describes a project that uses

Uses Software

• AsmL

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

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