Verification of Inconsistency-Aware Knowledge and Action Bases.
Diego CalvaneseEvgeny KharlamovMarco MontaliArio SantosoDmitriy ZheleznyakovPublished in: IJCAI (2013)
Keyphrases
- knowledge acquisition
- knowledge base
- knowledge representation
- knowledge extraction
- knowledge transfer
- domain knowledge
- knowledge based systems
- real time
- neural network
- machine learning
- information systems
- prior knowledge
- higher level
- background knowledge
- inconsistent information
- model checking
- spatio temporal
- metadata
- information retrieval
- databases