From event calculus to the scheduling problem. Semantics of action and temporal reasoning in aircraft maintenance.
Denys BernardMario BorilloBruno GaumePublished in: Appl. Intell. (1991)
Keyphrases
- event calculus
- temporal reasoning
- scheduling problem
- reasoning tasks
- indirect effects
- temporal constraints
- temporal relations
- temporal information
- qualitative and quantitative
- action language
- action theories
- np hard
- situation calculus
- semantic information
- logic programming
- domain specific
- mobile devices
- reasoning about actions
- knowledge base