Community employs formal models in the investigation of changes in belief states and databases
Logic of theory change was the starting-point of a large, rapidly growing literature
Valuable for researchers in logic, philosophy, and artificial intelligence
Eduardo Fermé
AGM Model Belief Bases Belief Change Belief Sets Multiagent Systems Databases
“The explanations are concise and clear; the organization is transparent, so that readers can dip in and out of topics that particularly interest them. … The volume thus serves as a road map or, one could say, a GPS, for those seeking a bird’s-eye view with opportunities to zoom into details of the terrain.” (David Makinson, zbMATH 1458.03001, 2021)
()