Incremental Event Calculus for Run-Time Reasoning.
Efthimis TsilionisAlexander ArtikisGeorgios PaliourasPublished in: J. Artif. Intell. Res. (2022)
Keyphrases
- event calculus
- reasoning tasks
- commonsense reasoning
- temporal reasoning
- situation calculus
- reasoning about actions and change
- automated reasoning
- description logics
- partially ordered
- logic programming
- deductive databases
- answer set programming
- transitive closure
- domain specific knowledge
- reasoning about actions
- temporal information
- indirect effects
- knowledge base
- artificial intelligence
- post processing
- domain knowledge
- expert systems