Proceedings

Syntactic Characterizations of Belief Change Operators

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 540-546.

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.

Alvaro del Val. 1993. Syntactic Characterizations of Belief Change Operators. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 540–546. https://ijcai.org/proceedings/1993/76
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards