A modal logic of knowledge, belief and estimation.
Costas D. KoutrasChristos MoyzesYorgos ZikosPublished in: J. Log. Comput. (2017)
Keyphrases
- modal logic
- modal operators
- temporal logic
- inference rules
- decision procedures
- dynamic logic
- domain knowledge
- nonmonotonic logics
- classical logic
- explanation based generalization
- background knowledge
- knowledge representation
- knowledge sharing
- knowledge acquisition
- situation calculus
- knowledge base
- artificial intelligence
- partially ordered
- knowledge management
- knowledge discovery
- epistemic logic
- prior knowledge
- prime implicates