Logic Engineering and Clinical Dilemmas.
John FoxPublished in: Logic Programming Summer School (1992)
Keyphrases
- proof theory
- artificial intelligence
- modal logic
- engineering design
- clinical setting
- clinical practice
- patient data
- computer aided design
- computer science
- software engineering
- neural network
- automated reasoning
- multi valued
- logic programming
- epistemic logic
- engineering students
- predicate logic
- defeasible logic
- medical experts
- classical logic
- clinical applications
- clinical trials
- computational properties
- engineering education
- product design
- medical diagnostic
- design process