Verification of non-monotonic knowledge bases.
Neli P. ZlatarevaPublished in: Decis. Support Syst. (1997)
Keyphrases
- knowledge base
- description logics
- expert systems
- model checking
- knowledge based systems
- knowledge acquisition
- formal verification
- knowledge sources
- logic programming
- knowledge representation
- high security
- concurrent systems
- information retrieval
- data sets
- possibilistic logic
- signature verification
- knowledge representation systems
- fingerprint verification
- person identification
- formal representation
- functional verification
- formal methods
- semantic network
- wordnet
- computational complexity
- web services
- information systems
- databases