Andrew B. Baker

2 papers in the IJCAI proceedings

IJCAI 1989

A Theorem Prover for Prioritized Circumscription

with Matthew L. Ginsberg

Details PDF

Temporal Projection and Explanation

with Matthew L. Ginsberg

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings