Amir, E.
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.
- KSL-01-04
- McIlraith, S. A. & Amir, E. Theorem Proving with Structed Theories (Full Report). Knowledge Systems Laboratory, April 6, 2001.
- KSL-01-16
- Amir, E. & McIlraith, S. Solving Satisfiability using Decomposition and the Most Constrained Subproblem. Proceedings of SAT 2001: the Workshop on Theory and Applications of Satisfiability Testing. Electronic Notes in Discrete Mathematics, Volume 9, Henry Kautz and Bart Selman (Ed.), June, 2001, 2001.
- KSL-00-02
- Amir, E. & McIlraith, S. A. Partition-Based Logical Reasoning. Knowledge Systems Laboratory, February, 2000.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]