Analogical reasoning using elementary formal systems with mismatch.

Tetsuhiro Miyahara

Published in: ALT (1991)

Keyphrases

analogical reasoning
management system
formal methods
artificial intelligence
expert systems
case based reasoning
knowledge based systems
retrieval systems