ML Anthology

MacCartney, Bill

1 publications

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