Logic and information flow
A completeness theorem for Kleene algebras and the algebra of regular events
Papers presented at the IEEE symposium on Logic in computer science
Reasoning about knowledge
On the logic of iterated belief revision
Artificial Intelligence
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proposal for a theory of belief revision along the lines of Lindström and Rabinowicz
Fundamenta Informaticae - Special issue: to the memory of Prof. Cecylia Rauszer
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
A Discipline of Programming
Introduction to Multiagent Systems
Introduction to Multiagent Systems
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
From Kleene Algebra to Refinement Algebra
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
ACM Transactions on Computational Logic (TOCL)
Science of Computer Programming
Enabledness and termination in refinement algebra
Science of Computer Programming
Algebra and Sequent Calculus for Epistemic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
The Algebra of Multi-Agent Dynamic Belief Revision
Electronic Notes in Theoretical Computer Science (ENTCS)
A sketch of a dynamic epistemic semiring
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Knowledge and games in modal semirings
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Hi-index | 0.00 |
This paper proposes a semiring formulation for reasoning about an agent's changing beliefs: a dynamic epistemic semiring (DES). A DES is a modal semiring extended with epistemic-action operators. The paper concentrates on the revision operator by proposing an axiomatisation, developing a basic calculus and deriving the classical AGM revision axioms in the algebra. Iterated action is also considered.