Richard C. T. Lee

3 papers in the IJCAI proceedings

IJCAI 1971

Fuzzy Logic and the Resolution Principle

Details PDF

IJCAI 1969

Completeness Theorems for Semantic Resolution in Consequence-Finding

with James R. Slagle, Chin-Liang Chang

Details PDF

PROW: A Step Toward Automatic Program Writing

with Richard J. Waldinger

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings