Login / Signup

Planning Using Dynamic Epistemic Logic: Correspondence and Complexity.

Martin Holm Jensen
Published in: LORI (2013)
Keyphrases
  • dynamic epistemic logic
  • computational complexity
  • planning problems
  • heuristic search
  • software engineering
  • decision problems
  • epistemic logic