Formal Verification of Some Potential Contradictions in Knowledge Base Using a High Level Net Approach.
Nga Kwok LiuPublished in: Appl. Intell. (1996)
Keyphrases
- formal verification
- knowledge base
- high level
- model checking
- low level
- model checker
- automated verification
- bounded model checking
- program slicing
- domain specific
- knowledge based systems
- expert systems
- symbolic model checking
- knowledge representation
- knowledge acquisition
- low level features
- dynamic programming
- description logics
- conceptual model
- rule base