Controlled Revision - An Algorithmic Approach for Belief Revision

DOI10.1093/logcom/13.1.15zbMath1028.03015OpenAlexW2016959508MaRDI QIDQ4405676

John Woods, Gabriella Pigozzi, Dov M. 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

databasebelief revisionlabelled deductive systemsrevision algorithms

Mathematics Subject Classification ID

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

Related Items (3)

Handling Revision Inconsistencies: Towards Better Explanations ⋮ Unnamed Item ⋮ Principles Of Talmudic Logic

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