Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy.
Christoph BenzmüllerSebastian ReichePublished in: CoRR (2021)
Keyphrases
- knowledge base
- prior knowledge
- knowledge management
- knowledge based systems
- higher level
- expert systems
- information technology
- knowledge acquisition
- neural network
- concept maps
- expert knowledge
- knowledge sources
- knowledge sharing
- data mining techniques
- knowledge discovery
- real world
- domain specific
- knowledge representation
- digital libraries
- e learning
- background knowledge
- information systems
- artificial intelligence
- real time
- knowledge transfer
- modeling framework