Coherent Composition of Distributed Knowledge-Bases Through Abduction.
Ofer ArieliBert Van NuffelenMarc DeneckerMaurice BruynooghePublished in: LPAR (2001)
Keyphrases
- knowledge base
- distributed systems
- propositional knowledge base
- logic programming
- databases
- knowledge sources
- description logics
- abductive logic programming
- knowledge acquisition
- multi agent
- mobile agents
- background knowledge
- data sets
- closed world reasoning
- distributed network
- abductive reasoning
- belief revision
- distributed environment
- cooperative
- natural language
- neural network
- domain knowledge
- logic programs
- knowledge representation