Combining Terminological and Rule-based Reasoning for Abstraction Processes.

Philipp Hanschke Knut Hinkelmann

Published in: GWAI (1992)

Keyphrases

rule based reasoning
case based reasoning
knowledge representation
inference mechanism
artificial intelligence
expert systems
knowledge base
decision support system
formal semantics
logic programming
high level
natural language
management system
machine learning
object oriented
description logics
reasoning tasks