Epistemic ATL with Perfect Recall, Past and Strategy Contexts.

Dimitar P. Guelev Catalin Dima

Published in: CLIMA (2012)

Keyphrases

model checking
epistemic logic
multi agent systems
precision and recall
high precision
case study
belief change
dynamic epistemic logic
real time
database systems
similarity measure
multi agent
selection strategy
optimal strategy