A Guided Tour through Some Extensions of the Event Calculus.
Iliano CervesatoMassimo FranceschetAngelo MontanariPublished in: Comput. Intell. (2000)
Keyphrases
- event calculus
- situation calculus
- reasoning about actions and change
- temporal reasoning
- reasoning tasks
- commonsense reasoning
- deductive databases
- partially ordered
- domain specific knowledge
- transitive closure
- description logics
- random walk
- logic programming
- indirect effects
- domain knowledge
- general theory
- expert systems
- default logic
- directed acyclic graph
- inductive learning
- temporal information
- domain independent
- contextual information