PREPARE: A Toll for Knowledge Base Verification.
Du ZhangDoan NguyenPublished in: IEEE Trans. Knowl. Data Eng. (1994)
Keyphrases
- knowledge base
- expert systems
- model checking
- knowledge representation
- knowledge acquisition
- knowledge based systems
- description logics
- face verification
- rule base
- reasoning process
- concurrent systems
- knowledge sources
- functional verification
- semantic network
- formal analysis
- formal methods
- conceptual model
- inference engine
- belief revision
- real time
- logic programming
- information systems
- data sets