Keyphrases
- logic programming
- engineering design
- artificial intelligence
- classical logic
- mechanical engineering
- systems engineering
- software engineering
- genetic algorithm
- computational properties
- computer science
- machine learning
- computational intelligence
- belief revision
- object oriented
- logical framework
- database systems
- knowledge base
- defeasible logic
- engineering problems
- engineering students
- asynchronous circuits