Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic.
Regimantas PliuskeviciusAida PliuskevicienePublished in: Informatica (2008)
Keyphrases
- knowledge acquisition
- domain knowledge
- distributed systems
- knowledge base
- knowledge based systems
- learning systems
- global knowledge
- knowledge sharing
- cooperative
- prior knowledge
- expert systems
- background knowledge
- epistemic logic
- knowledge extraction
- modal logic
- dynamic epistemic logic
- rewrite systems
- logical rules
- multi agent
- active rules
- inference rules
- knowledge management
- knowledge sources
- neural network
- lightweight
- knowledge representation