On Temporal Properties of Knowledge Base Inconsistency.
Du ZhangPublished in: Trans. Comput. Sci. (2009)
Keyphrases
- temporal properties
- knowledge base
- model checking
- possibility theory
- formal methods
- knowledge based systems
- knowledge representation
- description logics
- inconsistent knowledge
- belief base
- expert systems
- knowledge acquisition
- wordnet
- logic programming
- artificial intelligence
- possibilistic logic
- pattern recognition
- rule base
- nonmonotonic reasoning
- neural network
- programming language
- temporal logic
- formal specification
- fuzzy logic
- relational databases
- decision making