'Knowing Whether' in Proper Epistemic Knowledge Bases.
Tim MillerPaolo FelliChristian J. MuiseAdrian R. PearceLiz SonenbergPublished in: AAAI (2016)
Keyphrases
- knowledge base
- description logics
- belief change
- epistemic logic
- knowledge acquisition
- knowledge based systems
- possibilistic logic
- knowledge sources
- expert systems
- knowledge representation
- knowledge representation systems
- database
- dl lite
- formal representation
- domain experts
- wordnet
- natural language processing
- multi agent
- databases