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
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
ACM Transactions on Computational Logic (TOCL)
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)
On two dually nondeterministic refinement algebras
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Enabledness and termination in refinement algebra
Science of Computer Programming
A sketch of a dynamic epistemic semiring
Information and Computation
| 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.