GenB: A General Solver for AGM Revision

DOI10.1007/978-3-319-48758-8_40zbMath1483.68380OpenAlexW2540738838MaRDI QIDQ2835903

No author found.

Publication date: 30 November 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-48758-8_40

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Uses Software

• GenB

Cites Work

• Propositional knowledge base revision and minimal change
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Selective revision
• COBA 2.0: A Consistency-Based Belief Change System
• On the logic of theory change: Partial meet contraction and revision functions
• Revision by History

This page was built for publication: GenB: A General Solver for AGM Revision