MacCartney, B.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]
- KSL-03-12
- MacCartney, B.; McIlraith, S.; Amir, E.; & Uribe, T. Practical Partition-Based Theorem Proving for Large Knowledge Bases. Proceedings of the Nineteenth International Conference on Artificial Intelligence (IJCAI-03), August 2003., 2003.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]