Accurate Logic Simulation by Overcoming the Unknown Value Propagation Problem.
Sungho KangStephen A. SzygendaPublished in: Simul. (2003)
Keyphrases
- high fidelity
- high accuracy
- information retrieval
- simulation environment
- highly accurate
- simulation model
- simulation study
- logic programming
- knowledge representation
- mathematical model
- search algorithm
- numerical simulations
- modal logic
- high quality
- image sequences
- e learning
- real time
- simulation models
- classical logic
- predicate logic