Uribe, Tomás E.

2 publications

AAAI 2006 Design and Implementation of the CALO Query Manager José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang

IJCAI 2003 Practical Partition-Based Theorem Proving for Large Knowledge Bases Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe