Incremental Event Calculus for Run-Time Reasoning.
Efthimis TsilionisAlexander ArtikisGeorgios PaliourasPublished in: DEBS (2019)
Keyphrases
- event calculus
- reasoning tasks
- commonsense reasoning
- situation calculus
- reasoning about actions and change
- description logics
- temporal reasoning
- automated reasoning
- logic programming
- deductive databases
- partially ordered
- domain specific knowledge
- knowledge representation
- answer set programming
- transitive closure
- knowledge base
- probabilistic reasoning
- mathematical morphology
- domain knowledge
- indirect effects
- image sequences