Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.
Diego CalvaneseMarco MontaliArio SantosoPublished in: IJCAI (2015)
Keyphrases
- domain knowledge
- inconsistent information
- knowledge acquisition
- knowledge base
- knowledge management
- knowledge transfer
- machine learning
- action selection
- image sequences
- prior knowledge
- decision making
- case based reasoning
- data sets
- data mining techniques
- computer vision
- domain experts
- model checking
- raw data
- genetic algorithm
- knowledge extraction