Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Rob Miller
Publications
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
Keyphrases
Answer Set Programming
,
Epistemic Reasoning
,
Event Calculus
,
reasoning about action
.
Copyright © 2012-2024 easychair.org. All rights reserved.