Tomás E. Uribe

1 paper in the IJCAI proceedings

IJCAI 2003

Practical Partition-Based Theorem Proving for Large Knowledge Bases

with Bill MacCartney, Sheila A. McIlraith, Eyal Amir

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings