Controlled Revision - An Algorithmic Approach for Belief Revision

DOI10.1093/LOGCOM/13.1.15MaRDI QIDQ4405676zbMATH OpenOpenAlexFDO

Authors Gabriella Pigozzi, John Woods, Dov Gabbay

Publication date 23 June 2003

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/13.1.15

zbMATH Keywords

belief revisiondatabaselabelled deductive systemsrevision algorithms

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 108002
• scientific article; zbMATH DE number 4094868
• Truth-tracking by belief revision
• A Rational and Efficient Algorithm for View Revision in Databases
• Infinitary belief revision

Cited in

(6)

• Consistency-based revision of structured belief bases
• Principles of Talmudic logic
• Handling revision inconsistencies: towards better explanations
• scientific article; zbMATH DE number 4094868 (Why is no real title available?)
• Contraction, Revision, Expansion: Representing Belief Change Operations
• Normative reasoning and consequence

This page was built for publication: Controlled Revision - An Algorithmic Approach for Belief Revision

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