Verification of OPS5-Based AI Applications.
G. Ravi PrakashEswaran SubrahmanianHosaker N. MahabalaPublished in: SCAI (1991)
Keyphrases
- expert systems
- model checking
- production system
- concurrent systems
- face verification
- verification method
- multiagent systems
- formal methods
- machine learning
- website
- signature verification
- functional verification
- asynchronous circuits
- formal verification
- knowledge representation and reasoning
- control system
- relational databases
- multiscale
- decision trees
- artificial intelligence