Dennis de Champeaux

3 papers in the IJCAI proceedings

IJCAI 1981

Symbolic Evaluation of LISP Functions with Side Effects for Verification

with Jos de Bruin

Details PDF

IJCAI 1979

Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers

Details PDF

IJCAI 1975

An Improved Di-Directional Heuristic Search Algorithm

with Lenie Sint

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings