G. Ravi Prakash

Dept. of Computer Science and Engineering Indian Institute of Technology , Madras - 600036 , India

1 paper in the IJCAI proceedings

IJCAI 1991

A Methodology for Systematic Verification of OPS5-Based AI Applications

with Eswaran Subrahmanian, Hosaker N. Mahabala

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings