An Event Calculus for Run-Time Reasoning (Extended Abstract).
Periklis MantenoglouPublished in: TIME (2023)
Keyphrases
- extended abstract
- event calculus
- reasoning tasks
- commonsense reasoning
- reasoning about actions and change
- situation calculus
- temporal reasoning
- description logics
- automated reasoning
- logic programming
- answer set programming
- deductive databases
- domain specific knowledge
- partially ordered
- transitive closure
- reasoning about actions
- knowledge representation
- knowledge base
- artificial intelligence
- temporal information
- general theory
- expert systems
- logic programs
- database systems
- indirect effects
- data management