Knowledge Assessment: A Modal Logic Approach.
Vineet PadmanabhanGuido GovernatoriSubhasis ThakurPublished in: PRIMA (2008)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- domain knowledge
- knowledge representation
- classical logic
- modal operators
- knowledge base
- expert systems
- knowledge management
- prior knowledge
- default logic
- nonmonotonic logics
- epistemic logic
- dynamic logic
- prime implicates
- background knowledge
- higher order
- knowledge discovery
- uncertain information
- multi agent
- artificial intelligence
- explanation based generalization