Computer Assisted Reasoning with MIZAR.

Andrzej Trybulec Howard A. Blair

Published in: IJCAI (1985)

Keyphrases

computer assisted
computer aided
intraoperative
knowledge representation
foreign language
reasoning systems
model based reasoning
reasoning process
vocabulary learning
artificial intelligence
knowledge base
qualitative reasoning
reasoning tasks
legal reasoning
surgical training