Decidability of Logic of Correlated Knowledge.
Haroldas GiedraJurate SakalauskaiteRomas AlonderisPublished in: Informatica (2014)
Keyphrases
- domain knowledge
- prior knowledge
- dynamic epistemic logic
- computational properties
- knowledge management
- knowledge based systems
- data sets
- modal logic
- higher level
- deductive reasoning
- asynchronous circuits
- probabilistic knowledge
- nonmonotonic logics
- decision procedures
- incomplete information
- semantic information
- learning systems
- data mining techniques
- description logics
- association rules
- expert systems
- knowledge base
- e learning
- artificial intelligence