Representing Continuous Change in the Abductive Event Calculus.
Kristof Van BelleghemMarc DeneckerDanny De SchreyePublished in: ICLP (1994)
Keyphrases
- event calculus
- deductive databases
- situation calculus
- reasoning about actions and change
- reasoning tasks
- temporal reasoning
- commonsense reasoning
- partially ordered
- logic programming
- domain specific knowledge
- directed acyclic graph
- integrity constraints
- domain independent
- knowledge representation
- temporal information
- background knowledge
- description logics