Vaughan R. Pratt

Massachusetts Institute of Technology Cambrid11e , MA 02.139

2 papers in the IJCAI proceedings

IJCAI 1977

A Proof-Checker for Dynamic Logic

with Steven D. Litvintchouk

Details PDF

IJCAI 1973

A Linguistics Oriented Programming Language

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings