Using Resolution for Extending KL-ONE-type Languages.

Published in: CIKM (1995)

Keyphrases

high resolution
type checking
real time
neural network
genetic algorithm
case study
language independent
statistical machine translation
decision trees
semantic network
image resolution