Thomas Ellman

Department of Computer Science Rutgers University New Brunswick , NJ 08903

2 papers in the IJCAI proceedings

IJCAI 1993

Abstraction via Approximate Symmetry

Details PDF

IJCAI 1985

Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings