A Modal Logic Formalism for Distributed and Parallel Knowledge Bases.
Mark LeveneGeorge LoizouPublished in: Parallel Algorithms Appl. (1993)
Keyphrases
- modal logic
- knowledge base
- temporal logic
- situation calculus
- modal operators
- distributed processing
- knowledge representation
- inference rules
- classical logic
- distributed systems
- nonmonotonic logics
- description logic alc
- conditional logic
- epistemic logic
- parallel execution
- description logics
- autoepistemic logic
- logic programming
- dynamic logic
- knowledge based systems
- knowledge acquisition
- cooperative
- possibilistic logic
- model checking
- default logic
- logical framework
- parallel computing
- shared memory
- artificial intelligence
- parallel processing
- multi agent
- knowledge sources
- incomplete information