Vaughan R. Pratt

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