An Epistemic Strategy Logic (Extended Abstract).

Xiaowei Huang Ron van der Meyden

Published in: SR (2014)

Keyphrases

extended abstract
epistemic logic
dynamic epistemic logic
logic programming
modal logic
neural network
classical logic
predicate logic
data mining
theoretical framework
search strategy
optimal strategy
automated reasoning
propositional dynamic logic