research
∙
11/23/2014
Logics of Temporal-Epistemic Actions
We present Dynamic Epistemic Temporal Logic, a framework for reasoning a...
research
∙
09/10/2012
Use your Google Account to sign in to DeepAI