Justification logics, logics of knowledge, and conservativity.
Melvin FittingPublished in: Ann. Math. Artif. Intell. (2008)
Keyphrases
- expressive power
- domain knowledge
- knowledge base
- modal logic
- knowledge representation
- knowledge sharing
- classical logic
- prior knowledge
- expert systems
- knowledge discovery
- nonmonotonic logics
- knowledge acquisition
- inference rules
- artificial intelligence
- higher level
- knowledge transfer
- epistemic logic
- modal operators
- data mining
- knowledge management
- learning systems
- knowledge sources
- design process
- higher order
- multi agent
- website
- search engine
- propositional calculus