Incremental Event Calculus for Run-Time Reasoning (Extended Abstract).
Efthimis TsilionisAlexander ArtikisGeorgios PaliourasPublished in: IJCAI (2023)
Keyphrases
- extended abstract
- event calculus
- reasoning tasks
- commonsense reasoning
- situation calculus
- reasoning about actions and change
- description logics
- temporal reasoning
- partially ordered
- logic programming
- automated reasoning
- deductive databases
- domain specific knowledge
- answer set programming
- transitive closure
- probabilistic reasoning
- general theory
- domain independent
- knowledge base
- database
- answer sets
- domain knowledge