Towards A Simple Event Calculus for Run-Time Reasoning.
Christos VlassopoulosAlexander ArtikisPublished in: COMMONSENSE (2017)
Keyphrases
- event calculus
- reasoning tasks
- commonsense reasoning
- situation calculus
- temporal reasoning
- domain specific knowledge
- reasoning about actions and change
- deductive databases
- transitive closure
- partially ordered
- knowledge representation
- temporal information
- knowledge base
- machine learning
- answer set programming
- integrity constraints
- description logics