Reducing Validity in Epistemic ATL to Validity in Epistemic CTL

Dimitar P. Guelev

Published in: SR (2013)

Keyphrases

epistemic logic
computation tree logic
model checking
temporal logic
dynamic epistemic logic
multi agent systems
temporal epistemic
genetic algorithm
artificial intelligence
decision trees
temporal properties
information retrieval
inference rules