A sketch of a dynamic epistemic semiring

DOI10.1016/j.ic.2009.03.011zbMath1200.68234OpenAlexW2105446997MaRDI QIDQ964506

Kim Solin

Publication date: 22 April 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2009.03.011

zbMATH Keywords

reasoning about an agent's changing beliefs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in computer science (03B70) Agent technology and artificial intelligence (68T42)

Related Items

Dual choice and iteration in an abstract algebra of action

Uses Software

• KAT-ML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kleene getting lazy
• Enabledness and termination in refinement algebra
• A completeness theorem for Kleene algebras and the algebra of regular events
• On the logic of iterated belief revision
• Towards a refinement algebra
• Logics for epistemic programs
• An essay in modal logic
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Knowledge and Games in Modal Semirings
• Dynamic Epistemic Logic and Knowledge Puzzles
• Automated Reasoning in Kleene Algebra
• A Sketch of a Dynamic Epistemic Semiring
• KAT-ML: an interactive theorem prover for Kleene algebra with tests
• Dynamic logic for belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Programming as a Discipline of Mathematical Nature
• Kleene algebra with domain
• Epistemic Actions as Resources

This page was built for publication: A sketch of a dynamic epistemic semiring