Hypothetical Reasoning from Situation Calculus to Event Calculus.
Alessandro ProvettiPublished in: TIME (1994)
Keyphrases
- hypothetical reasoning
- event calculus
- situation calculus
- deductive databases
- action theories
- logic programs
- initial state
- reasoning tasks
- sensing actions
- reasoning about actions
- cognitive science
- concurrent actions
- modal logic
- indirect effects
- domain specific
- action language
- state space
- computer science
- knowledge base