Study on Knowledge Reasoning Based on Extended Formulas.

Chunyan Yang Guanghua Wang Yang Li Wen Cai

Published in: AIAI (2005)

Keyphrases

knowledge base
knowledge based systems
knowledge representation
knowledge acquisition
empirical studies
subject matter
machine learning
prior knowledge
data mining techniques
automated reasoning
model based reasoning
human reasoning
logical formulas
logical rules