Mark E. Stickel

Mark E. Stickel: Building Theorem Provers. CADE 2009: 306-321

Richard J. Waldinger, Douglas E. Appelt, Jennifer L. Dungan, John Fry, Jerry R. Hobbs, David J. Israel, Peter Jarvis, David L. Martin, Susanne Riehemann, Mark E. Stickel, Mabry Tyson: Deductive Question Answering from Multiple Resources. New Directions in Question Answering 2004: 253-262

Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel: Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 2-18 (2001)

Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel: Balance and Filtering in Structured Satisfiable Problems. IJCAI 2001: 351-358

Hantao Zhang, Mark E. Stickel: Implementing the Davis-Putnam Method. J. Autom. Reasoning 24(1/2): 277-296 (2000)

Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger: Using Prior Knowledge: Problems and Solutions. AAAI/IAAI 2000: 436-442

Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe: A Practical Integration of First-Order Reasoning and Decision Procedures. CADE 1997: 101-115

Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyama, Mark E. Stickel, Mabry Tyson: FASTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Language Text. CoRR cmp-lg/9705013 (1997)

Mark E. Stickel: Term Rewriting in Contemporary Resolution Theorem Proving (Abstract). RTA 1995: 101

Mark E. Stickel, Hantao Zhang: Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results. RTA 1995: 450-456

Mark E. Stickel: Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction. J. Autom. Reasoning 13(2): 189-210 (1994)

Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood: Deductive Composition of Astronomical Software from Subroutine Libraries. CADE 1994: 341-355

Tomás E. Uribe, Mark E. Stickel: Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. CCL 1994: 34-49

Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, Paul A. Martin: Interpretation as Abduction. Artif. Intell. 63(1-2): 69-142 (1993)

Richard J. Waldinger, Mark E. Stickel: Proving Properties of Rule-Based Systems. International Journal of Software Engineering and Knowledge Engineering 2(1): 121-144 (1992)

Mark E. Stickel: A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. Theor. Comput. Sci. 104(1): 109-128 (1992)

Owen L. Astrachan, Mark E. Stickel: Caching and Lemmaizing in Model Elimination Theorem Provers. CADE 1992: 224-238

Thomas D. Garvey, Teresa F. Lunt, Xiaolei Qian, Mark E. Stickel: Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases. DBSec 1992: 149-168

Mark E. Stickel: A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. Ann. Math. Artif. Intell. 4: 89-105 (1991)

Mark E. Stickel: PTTP and Linked Inference. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 283-296

Thomas D. Garvey, Teresa F. Lunt, Mark E. Stickel: Abductive and Approximate Reasoning Models for Characterizing Inference Channels. CSFW 1991: 118-126

Mark E. Stickel: A Prolog Technology Theorem Prover. CADE 1990: 673-674

Mark E. Stickel: A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. DISCO 1990: 154-163

Mark E. Stickel (Ed.): 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings. Lecture Notes in Computer Science 449, Springer 1990, isbn 3-540-52885-7

Mark E. Stickel: Rationale and Methods for Abductice Reasoning in Natural-Language Interpretation. Natural Language and Logic 1989: 233-252

Mark E. Stickel: More Advanced and Powerful Proof Tools. IFIP Congress 1989: 791-792

Mark E. Stickel: A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. J. Autom. Reasoning 4(4): 353-380 (1988)

Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang: Opening the AC-Unification Race. J. Autom. Reasoning 4(4): 465-474 (1988)

Jerry R. Hobbs, Mark E. Stickel, Paul A. Martin, Douglas Edwards: Interpretation as Abduction. ACL 1988: 95-103

Mark E. Stickel: The KLAUS Automated Deduction System. CADE 1988: 750-751

Mark E. Stickel: A Prolog Technology Theorem Prover. CADE 1988: 752-753

Mark E. Stickel: A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification. J. Autom. Reasoning 3(3): 285-289 (1987)

Mark E. Stickel: Schubert's Steamroller Problem: Formulation and Solutions. J. Autom. Reasoning 2(1): 89-101 (1986)

Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos: Set Theory in First-Order Logic: Clauses for Gödel's Axioms. J. Autom. Reasoning 2(3): 287-327 (1986)

Mark E. Stickel: A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. CADE 1986: 573-587

Mark E. Stickel: The KLAUS Automated Deduction System. CADE 1986: 703-704

Mark E. Stickel: Automated Deduction by Theory Resolution. J. Autom. Reasoning 1(4): 333-355 (1985)

Mark E. Stickel: An Introduction to Automated Deduction. Advanced Course: Fundamentals of Artificial Intelligence 1985: 75-132

Mark E. Stickel, Mabry Tyson: An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. IJCAI 1985: 1073-1075

Mark E. Stickel: Automated Deduction by Theory Resolution. IJCAI 1985: 1181-1186

Mark E. Stickel: A Prolog Technology Theorem Prover. New Generation Comput. 2(4): 371-383 (1984)

Mark E. Stickel: A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity. CADE 1984: 248-258

Mark E. Stickel: A Prolog Technology Theorem Prover. SLP 1984: 211-217

Mark E. Stickel: Theory Resolution: Building in Nonequational Theories. AAAI 1983: 391-397

Mark E. Stickel: A Nonclausal Connection-Graph Resolution Theorem-Proving Program. AAAI 1982: 229-233

Gerald E. Peterson, Mark E. Stickel: Complete Sets of Reductions for Some Equational Theories. J. ACM 28(2): 233-264 (1981)

Mark E. Stickel: A Unification Algorithm for Associative-Commutative Functions. J. ACM 28(3): 423-434 (1981)

Donald W. Loveland, Mark E. Stickel: A Hole in Goal Trees: Some Guidance from Resolution Theory. IEEE Trans. Computers 25(4): 335-341 (1976)

Mark E. Stickel: A Complete Unification Algorithm for Associative-Commutative Functions. IJCAI 1975: 71-76

Donald W. Loveland, Mark E. Stickel: A Hole in Goal Trees: Some Guidance from Resolution Theory. IJCAI 1973: 153-161