Keyphrases
- discrete event simulation
- event calculus
- discrete event
- reasoning about actions and change
- situation calculus
- supply chain
- temporal reasoning
- partially ordered
- semiconductor manufacturing
- deductive databases
- reasoning tasks
- domain specific knowledge
- transitive closure
- directed acyclic graph
- description logics
- domain knowledge
- temporal databases
- database
- dynamic systems
- qualitative and quantitative
- temporal information
- domain specific
- assembly line
- expert systems