Deepak Kapur (kapur-d)

Contributions to Philosophie.ch

Bibliography

Barry, Michele, Cyrluk, David, Kapur, Deepak, Mundy, Joseph and Nguyen, Van-Duc. 1988. “A Multi-Level Geometric Reasoning System for Vision.” Artificial Intelligence 37(1–3): 291–332.
Kapur, Deepak. 1988. “A Refutational Approach to Geometry Theorem Proving.” Artificial Intelligence 37(1–3): 61–93.
Kapur, Deepak. 1992. Eleventh International Conference on Automated Deduction CADE92, Sarasota Springs, New York, June 1992. Lecture Notes in Computer Science. Berlin: Springer.
Kapur, Deepak and Mundy, Joseph. 1988a. “Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume.” Artificial Intelligence 37(1–3): 1–11.
Kapur, Deepak and Mundy, Joseph. 1988b. “Wu’s Method and Its Application to Perspective Viewing.” Artificial Intelligence 37(1–3): 15–36.
Kapur, Deepak and Musser, David R. 1987. “Proof by Consistency.” Artificial Intelligence 31(2): 125–157.