Logic rectification and synthesis for engineering change.
Chih-Chang LinDavid Ihsin ChengMalgorzata Marek-SadowskaKuang-Chien ChenPublished in: ASP-DAC (1995)
Keyphrases
- logic synthesis
- logic programming
- modal logic
- engineering design
- classical logic
- engineering problems
- computer science
- software engineering
- multi valued
- artificial intelligence
- design space exploration
- mechanical engineering
- database
- proof theory
- automated reasoning
- materials science
- functional programs
- program synthesis
- engineering students
- texture synthesis
- changing environment
- stereo images
- multi agent systems
- neural network