A Modal Logic of Knowledge, Belief, and Estimation.
Costas D. KoutrasChristos MoyzesYorgos ZikosPublished in: JELIA (2014)
Keyphrases
- modal logic
- modal operators
- temporal logic
- inference rules
- knowledge base
- decision procedures
- situation calculus
- knowledge representation
- classical logic
- epistemic logic
- domain knowledge
- background knowledge
- model checking
- artificial intelligence
- prior knowledge
- belief functions
- partially ordered
- knowledge discovery
- belief revision
- design process
- knowledge acquisition
- default logic
- data mining techniques
- conditional logic