The logic of justified belief, explicit knowledge, and conclusive evidence.
Alexandru BaltagBryan RenneSonja SmetsPublished in: Ann. Pure Appl. Log. (2014)
Keyphrases
- explicit knowledge
- belief functions
- domain knowledge
- evidential reasoning
- tacit knowledge
- implicit knowledge
- probability theory
- knowledge management
- modal operators
- truth values
- belief revision
- modal logic
- spatial structure
- knowledge management systems
- design processes
- knowledge integration
- design process
- training data
- computer vision
- learning algorithm
- database