Dealing with Time Granularity in the Event Calculus.
Angelo MontanariEnrico MaimEmanuele CiapessoniElena RattoPublished in: FGCS (1992)
Keyphrases
- event calculus
- situation calculus
- reasoning about actions and change
- deductive databases
- temporal reasoning
- partially ordered
- reasoning tasks
- commonsense reasoning
- domain specific knowledge
- transitive closure
- directed acyclic graph
- integrity constraints
- general theory
- machine learning
- initial state
- domain knowledge
- image sequences
- indirect effects
- artificial intelligence