Syntactic characterizations of belief change operators

Authors:
Alvaro Del Val
Affiliations:
Robotics Lab, Computer Science Department, Stanford University, Stanford, CA
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Year:
1993

Citing 4
Cited 2

Language features for flexible handling of exceptions in information systems

ACM Transactions on Database Systems (TODS)
Algorithms for testing the satisfiability of propositional formulae

Journal of Logic Programming
Propositional knowledge base revision and minimal change

Artificial Intelligence
Belief revision and update

Belief revision and update

Prime forms and minimal change in propositional belief bases

Annals of Mathematics and Artificial Intelligence
Forgetting and knowledge update

AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We provide syntactic characterizations for a number of propositional model-based belief revision and update operators proposed in the literature, as well as algorithms based on these characterizations.