Constraint Logic Programming for Reasoning About Discrete Event Processes.
Jonathan S. OstroffPublished in: J. Log. Program. (1991)
Keyphrases
- discrete event
- constraint logic programming
- dynamic systems
- hybrid systems
- simulation model
- constraint solving
- logic programming language
- answer set programming
- discrete event simulation
- dynamical systems
- multiple faults
- discrete event systems
- logic programming
- crisis response
- constraint programming
- constraint propagation
- global constraints
- supervisory control
- temporal reasoning
- complex systems
- proof theoretic
- constraint satisfaction