Combining Situation Calculus and Event Calculus.
Kristof Van BelleghemMarc DeneckerDanny De SchreyePublished in: ICLP (1995)
Keyphrases
- event calculus
- situation calculus
- reasoning tasks
- action theories
- temporal reasoning
- initial state
- reasoning about actions
- concurrent actions
- modal logic
- sensing actions
- indirect effects
- deductive databases
- partially ordered
- domain specific knowledge
- bayesian networks
- transitive closure
- domain knowledge
- data model
- relational databases