Login / Signup

Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge.

Mai AjspurValentin Goranko
Published in: ICLA (2013)
Keyphrases
  • dynamic programming
  • multi agent
  • decision rules
  • epistemic logic
  • machine learning
  • learning algorithm
  • computational complexity
  • np hard
  • orders of magnitude
  • model checking
  • decision problems
  • modal logic