Ecsim: discrete Event Simulation using Event Calculus.
Lode MissiaenPublished in: Int. J. Artif. Intell. Tools (1995)
Keyphrases
- discrete event simulation
- event calculus
- semiconductor manufacturing
- discrete event
- temporal reasoning
- situation calculus
- reasoning about actions and change
- deductive databases
- partially ordered
- reasoning tasks
- domain specific knowledge
- supply chain
- transitive closure
- dynamic systems
- qualitative and quantitative
- temporal information
- partial order
- directed acyclic graph
- contextual information
- general theory
- knowledge representation
- relational databases
- artificial intelligence