On the Verification of Modular Logical Knowledge Bases.
Grigoris AntoniouVolker SperschneiderPublished in: EUROVAV (1993)
Keyphrases
- knowledge base
- model checking
- inconsistent knowledge
- description logics
- knowledge acquisition
- formal methods
- logical properties
- representing knowledge
- possibilistic logic
- belief revision
- knowledge based systems
- modular architecture
- logic programming
- logical representation
- knowledge representation systems
- case study
- false acceptance
- semantic network
- logical reasoning
- verification method
- asynchronous circuits
- person identification
- real time
- co occurrence
- expert systems
- database systems
- machine learning
- databases