An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future.
Jiefei MaRob MillerLeora MorgensternTheodore PatkosPublished in: LPAR (short papers) (2013)
Keyphrases
- event calculus
- reasoning tasks
- answer set programming
- situation calculus
- reasoning about actions and change
- partially ordered
- temporal reasoning
- commonsense reasoning
- answer set programs
- deductive databases
- domain specific knowledge
- transitive closure
- logic programs
- directed acyclic graph
- description logics
- indirect effects
- logic programming