E-RES: Reasoning about Actions, Events and Observations.
Antonis C. KakasRob MillerFrancesca ToniPublished in: LPNMR (2001)
Keyphrases
- reasoning about actions
- action sequences
- logic programming
- situation calculus
- action language
- dynamic logic
- fluent calculus
- event detection
- propositional dynamic logic
- indirect effects
- action theories
- databases
- temporal patterns
- logic programs
- state transitions
- temporal relations
- deductive databases
- temporal information
- temporal events
- probability distribution
- data model
- high level
- data mining