Author: T. Uribe [RDF, Bibtex, BibBase, BibGraph] has 1 publication
report error (So far 0 user(s) reported errors on this item)
Practical Partition-Based Theorem Proving for Large Knowledge Bases
B. MacCartney, Sheila A. McIlraith, E. Amir, T. Uribe.
Proceedings of the Nineteenth International Conference on Artificial Intelligence (IJCAI-03)
89-98
2003
