An Application of Logic Engineering.
Sheila R. M. VelosoPaulo A. S. VelosoRenata P. de FreitasPublished in: Log. J. IGPL (2005)
Keyphrases
- modal logic
- engineering design
- computer science
- software engineering
- logic programming
- artificial intelligence
- engineering problems
- deontic logic
- predicate logic
- multi valued
- classical logic
- computational properties
- systems engineering
- materials science
- database
- asynchronous circuits
- design process
- object oriented
- machine learning
- data sets