Practical Partition-Based Theorem Proving for Large Knowledge Bases - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe. Practical Partition-Based Theorem Proving for Large Knowledge Bases. In Georg Gottlob, Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pages 89-98, Morgan Kaufmann, 2003.

This author has not been identified. Look up 'Bill MacCartney' in GoogleThis author has not been identified. Look up 'Sheila A. McIlraith' in GoogleThis author has not been identified. Look up 'Eyal Amir' in GoogleThis author has not been identified. Look up 'Tomás E. Uribe' in Google

runs on WebDSL