Keyphrases
- computer assisted
- computer aided
- knowledge representation
- knowledge base
- qualitative reasoning
- foreign language
- reasoning process
- automated reasoning
- intraoperative
- reading comprehension
- project based learning
- first order logic
- reasoning tasks
- description logics
- case based reasoning
- reasoning systems
- surgical training