A Methodology for Systematic Verification of OPS5-Based AI Applications.

G. Ravi Prakash Eswaran Subrahmanian Hosaker N. Mahabala

Published in: IJCAI (1991)

Keyphrases

expert systems
production system
model checking
multiagent systems
data mining
face verification
concurrent systems
real time
asynchronous circuits
formal verification
design methodology
probabilistic model
website
knowledge base
information systems
computer vision
artificial intelligence