Craig Interpolation of Epistemic Logics with Distributed Knowledge.
Ryo MuraiKatsuhiko SanoPublished in: FoIKS (2020)
Keyphrases
- epistemic logic
- dynamic epistemic logic
- domain knowledge
- cooperative
- distributed systems
- knowledge management
- knowledge representation
- peer to peer
- fault tolerant
- data mining
- expert systems
- knowledge discovery
- database
- databases
- higher level
- expressive power
- neural network
- data sets
- prior knowledge
- interpolation methods
- image interpolation
- distributed data
- modal logic
- knowledge sources
- background knowledge
- knowledge acquisition
- data mining techniques
- multi agent