Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
James HalesTim FrenchRowan DaviesPublished in: Advances in Modal Logic (2012)
Keyphrases
- domain knowledge
- modal operators
- knowledge management
- knowledge base
- data sets
- modal logic
- prior knowledge
- expert systems
- knowledge representation
- knowledge acquisition
- information systems
- knowledge discovery
- social networks
- description logics
- data mining techniques
- expressive power
- belief revision
- temporal logic
- machine learning
- database