Keyword:Epistemic Reasoning

Papers
An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future Jiefei Ma, Rob Miller, Leora Morgenstern and Theodore Patkos In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning