Keyphrases
- engineering design
- computer science and artificial intelligence
- artificial intelligence
- conceptual design
- design process
- engineering problems
- automated design
- logic programming
- engineering education
- multi valued
- classical logic
- design theory
- asynchronous circuits
- modal logic
- logical framework
- predicate logic
- theoretical framework
- description logics
- data mining