A Separation Logic with Histories of Epistemic Actions as Resources.
Hans van DitmarschDidier GalmicheMarta GawekPublished in: WoLLIC (2023)
Keyphrases
- epistemic logic
- modal operators
- reasoning about actions
- dynamic epistemic logic
- situation calculus
- modal logic
- limited resources
- logic programming
- propositional dynamic logic
- kripke models
- action theories
- resource allocation
- automated reasoning
- goal directed
- partially ordered
- belief change
- resource constraints
- plan recognition
- data sets