MKNF Knowledge Bases in Multi-Context Systems.
Martin HomolaMatthias KnorrJoão LeiteMartin SlotaPublished in: CLIMA (2012)
Keyphrases
- multi context systems
- knowledge sources
- knowledge base
- logic programming
- open world
- information flow
- description logics
- propositional logic
- bdi agents
- semantics for logic programs
- knowledge based systems
- knowledge acquisition
- ontology languages
- domain specific
- fixpoint
- closed world
- expert systems
- knowledge representation
- nonmonotonic logics
- domain knowledge
- artificial intelligence
- belief revision
- theory revision
- data mining