Event Calculus with Explicit Quantifiers.
Iliano CervesatoMassimo FranceschetAngelo MontanariPublished in: TIME (1998)
Keyphrases
- event calculus
- situation calculus
- reasoning about actions and change
- partially ordered
- temporal reasoning
- reasoning tasks
- deductive databases
- domain specific knowledge
- transitive closure
- commonsense reasoning
- partial order
- first order logic
- natural language
- expressive power
- indirect effects
- video sequences
- temporal information
- qualitative and quantitative
- general theory