Combining Knowledge Bases Consisting of First Order Theories.
Chitta BaralSarit KrausJack MinkerV. S. SubrahmanianPublished in: ISMIS (1991)
Keyphrases
- theory revision
- knowledge base
- concept learning
- background knowledge
- description logics
- logic programming
- natural language
- domain theory
- higher order
- knowledge based systems
- classical first order logic
- combining multiple
- knowledge acquisition
- expert systems
- expressive power
- domain knowledge
- relational learning
- artificial intelligence
- learning algorithm