Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics.
Stefan MinicaMohammad KhodadadiRenate A. SchmidtDmitry TishkovskyPublished in: PAAR@IJCAR (2012)
Keyphrases
- epistemic logic
- sequent calculi
- modal logic
- description logics
- modal operators
- propositional dynamic logic
- expressive power
- inference rules
- conditional logic
- reasoning problems
- belief change
- model checking
- computational properties
- proof theory
- database
- decision procedures
- theorem proving
- multi agent systems
- knowledge base
- tableau calculus
- artificial intelligence
- dynamic epistemic logic
- genetic algorithm