A Mechanism for Verification of Knowledge Base Scheme Specifications.
Juan Carlos CasamayorFrancisco MarquésHendrik DeckerPublished in: EUROVAV (1993)
Keyphrases
- knowledge base
- automated verification
- model checking
- formal verification
- concurrent systems
- knowledge acquisition
- detection mechanism
- model checker
- detection scheme
- knowledge based systems
- bounded model checking
- knowledge representation
- asynchronous circuits
- recognition scheme
- delay insensitive
- high security
- secret sharing scheme
- learning scheme
- standard model
- data sets
- knowledge structures
- semantic network
- domain experts
- domain knowledge
- high level
- web services
- artificial intelligence
- genetic algorithm