A Theory of Action, Knowledge and Time in the Event Calculus.
Theodore PatkosDimitris PlexousakisPublished in: SETN (2008)
Keyphrases
- event calculus
- commonsense reasoning
- sensing actions
- domain specific knowledge
- situation calculus
- domain knowledge
- action theories
- general theory
- reasoning about actions and change
- partially ordered
- initial state
- reasoning tasks
- domain theory
- temporal reasoning
- knowledge acquisition
- knowledge base
- deductive databases
- planning problems
- background knowledge
- indirect effects
- prior knowledge