Mark E. Stickel (stickel)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Astrachan, Owen L. and Stickel, Mark E. 1991. “Caching and Lemmaizing in Model Elimination Theorem Provers.” 513. Menlo Park, California: AI Center, SRI Center International.
Hobbs, Jerry R., Stickel, Mark E., Appelt, Douglas E. and Martin, Paul A. 1990. “Interpretation as Abduction.” sri technical note 499. Menlo Park, California: AI Center, SRI Center International.
Hobbs, Jerry R., Stickel, Mark E., Appelt, Douglas E. and Martin, Paul A. 1993. “Interpretation as Abduction.” Artificial Intelligence 63(1–2): 69–142.
Manna, Zohar, Stickel, Mark E. and Waldinger, Richard J. 1991. “Monotonicity Properties in Automated Deduction.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 247–280. New York: Academic Press.
Stickel, Mark E. 1982. “A Nonclausal Connection-Graph Resolution Theorem-Proving Program.” in AAAI-82. Proceedings of the Second National Conference on Artificial Intelligence, edited by David E. Waltz, pp. 229–233. Menlo Park, California: The AAAI Press.
Stickel, Mark E. 1985. “Automated Deduction by Theory Resolution.” in IJCAI-85. Proceedings of the 9th International Joint Conference on Artificial Intelligence, edited by Arivind K. Joshi, pp. 455–458. San Francisco, California: Morgan Kaufmann Publishers.
Stickel, Mark E. 1986. “Schubert’s Steamroller Problem: Formulations and Solutions.” Journal of Automated Reasoning 2: 89–101.
Stickel, Mark E. 1987. “A Prolog Technology Theorem Prover: Implementation by an Extended, Prolog Compiler.” 382. Menlo Park, California: AI Center, SRI Center International.
Stickel, Mark E. 1988. “A Prolog-Like Inference System for Computing Minimum-Cost Abductive Explanations in Natural-Language Interpretation.” 451. Menlo Park, California: AI Center, SRI Center International.
Stickel, Mark E. 1989a. “A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.” 464. Menlo Park, California: AI Center, SRI Center International.
Stickel, Mark E. 1989b. “The Path-Indexing Method for Indexing Terms.” 473. Technical Note. Menlo Park, California: AI Center, SRI Center International.
Stickel, Mark E. 1990. “Rationale and Methods for Abductive Reasoning in Natural-Language Interpretation.” in Natural Language and Logic, edited by Rudi Studer, pp. 233–252. New York: Springer.
Stickel, Mark E. 1992. “A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.” Theoretical Computer Science 104: 109–128.
Stickel, Mark E. 1993a. “Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction.” 525. Menlo Park, California: AI Center, SRI Center International.
Stickel, Mark E. 1993b. “Automated Theorem-Proving Research in the Fifth Generation Computer Systems Project: Model Generation Theorem Provers.” 523. Menlo Park, California: AI Center, SRI Center International.