Keyphrases
- knowledge base
- expert systems
- model checking
- knowledge representation
- description logics
- knowledge acquisition
- asynchronous circuits
- knowledge based systems
- formal analysis
- semantic network
- background knowledge
- functional verification
- concurrent systems
- signature verification
- rule base
- wordnet
- learning algorithm
- neural network
- conceptual model
- real time
- logic programming
- formal verification
- representing knowledge
- metadata
- false acceptance rate