EUODHILOS: A General Reasoning System for a Variety of Logics.

Hajime Sawamura Toshiro Minami Kyoko Ohashi

Published in: LPAR (1992)

Keyphrases

special case
knowledge base
wide variety
knowledge representation
database
artificial intelligence
machine learning
expert systems
closely related
expressive power
reasoning tasks
reasoning systems
knowledge representation formalisms