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

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. [doi]

Authors

Jiefei Ma

This author has not been identified. Look up 'Jiefei Ma' in Google

Rob Miller

This author has not been identified. Look up 'Rob Miller' in Google

Leora Morgenstern

This author has not been identified. Look up 'Leora Morgenstern' in Google

Theodore Patkos

This author has not been identified. Look up 'Theodore Patkos' in Google