An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future.

Jiefei Ma, Rob Miller, Leora Morgenstern, Theodore Patkos

Browse the full LPAR paper archive.