Jiefei Ma, Rob Miller, Leora Morgenstern, Theodore Patkos. An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future. In Kenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe, Andrei Voronkov, editors, LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings. Volume 26 of EPiC Series, pages 75-87, EasyChair, 2013.
Abstract is missing.