Mark E. Stickel (stickel)
Contributions à 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.