Mark E. Stickel

According to our database, Mark E. Stickel authored at least 49 papers between 1975 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2009

Building Theorem Provers.

Mark E. Stickel

Proceedings of the Automated Deduction, 2009

2004

Deductive Question Answering from Multiple Resources.

Richard J. Waldinger, Douglas E. Appelt, Jennifer L. Dungan, John Fry, Jerry R. Hobbs, David J. Israel, Peter Jarvis, David L. Martin, Susanne Z. Riehemann, Mark E. Stickel, Mabry Tyson

Proceedings of the New Directions in Question Answering, 2004

2001

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).

Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel

Electron. Notes Discret. Math., 2001

Balance and Filtering in Structured Satisfiable Problems.

Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Implementing the Davis-Putnam Method.

Hantao Zhang, Mark E. Stickel

J. Autom. Reason., 2000

Using Prior Knowledge: Problems and Solutions.

Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1997

FASTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Language Text

Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyama, Mark E. Stickel, Mabry Tyson

CoRR, 1997

A Practical Integration of First-Order Reasoning and Decision Procedures.

Nikolaj S. Bjørner, Mark E. Stickel, Tomás E. Uribe

Proceedings of the Automated Deduction, 1997

1996

SRI's Tipster II Project.

Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyama, Andrew Kehler, Mark E. Stickel, Mabry Tyson

Proceedings of the TIPSTER TEXT PROGRAM PHASE II: Proceedings of a Workshop held at Vienna, 1996

1995

Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results.

Mark E. Stickel, Hantao Zhang

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).

Mark E. Stickel

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1994

Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction.

Mark E. Stickel

J. Autom. Reason., 1994

Elimination of inference channels by optimal upgrading.

Mark E. Stickel

Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994

Ordered Binary Decision Diagrams and the Davis-Putnam Procedure.

Tomás E. Uribe, Mark E. Stickel

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

Deductive Composition of Astronomical Software from Subroutine Libraries.

Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers.

Mark E. Stickel

Future Gener. Comput. Syst., 1993

Interpretation as Abduction.

Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, Paul A. Martin

Artif. Intell., 1993

Detection and elimination of inference channels in multilevel relational database systems.

Xiaolei Qian, Mark E. Stickel, Peter D. Karp, Teresa F. Lunt, Thomas D. Garvey

Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, 1993

1992

A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.

Mark E. Stickel

Theor. Comput. Sci., 1992

Proving Properties of Rule-Based Systems.

Richard J. Waldinger, Mark E. Stickel

Int. J. Softw. Eng. Knowl. Eng., 1992

Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases.

Thomas D. Garvey, Teresa F. Lunt, Xiaolei Qian, Mark E. Stickel

Proceedings of the Database Security, 1992

Caching and Lemmaizing in Model Elimination Theorem Provers.

Owen L. Astrachan, Mark E. Stickel

Proceedings of the Automated Deduction, 1992

1991

A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation.

Mark E. Stickel

Ann. Math. Artif. Intell., 1991

Abductive and Approximate Reasoning Models for Characterizing Inference Channels.

Thomas D. Garvey, Teresa F. Lunt, Mark E. Stickel

Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

PTTP and Linked Inference.

Mark E. Stickel

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

Monotonicity Properties in Automated Deduction.

Zohar Manna, Mark E. Stickel, Richard Waldinger

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1989

TACITUS: A Message Understanding System.

Jerry R. Hobbs, Douglas E. Appelt, John Bear, Mark E. Stickel, Mabry Tyson

Proceedings of the Speech and Natural Language: Proceedings of a Workshop Held at Cape Cod, 1989

More Advanced and Powerful Proof Tools.

Mark E. Stickel

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Rationale and Methods for Abductice Reasoning in Natural-Language Interpretation.

Mark E. Stickel

Proceedings of the Natural Language and Logic, 1989

1988

A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.

Mark E. Stickel

J. Autom. Reason., 1988

Opening the AC-Unification Race.

Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang

J. Autom. Reason., 1988

The KLAUS Automated Deduction System.

Mark E. Stickel

Proceedings of the 9th International Conference on Automated Deduction, 1988

Interpretation as Abduction.

Jerry R. Hobbs, Mark E. Stickel, Paul A. Martin, Douglas Edwards

Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics, 1988

1987

A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification.

Mark E. Stickel

J. Autom. Reason., 1987

1986

Schubert's Steamroller Problem: Formulation and Solutions.

Mark E. Stickel

J. Autom. Reason., 1986

Set Theory in First-Order Logic: Clauses for Gödel's Axioms.

Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos

J. Autom. Reason., 1986

1985

Automated Deduction by Theory Resolution.

Mark E. Stickel

J. Autom. Reason., 1985

An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction.

Mark E. Stickel, Mabry Tyson

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

An Introduction to Automated Deduction.

Mark E. Stickel

Proceedings of the Fundamentals of Artificial Intelligence: An Advanced Course, 1985

1984

A Prolog Technology Theorem Prover.

Mark E. Stickel

New Gener. Comput., 1984

A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity.

Mark E. Stickel

Proceedings of the 7th International Conference on Automated Deduction, 1984

1983

A note on leftmost innermost term reduction.

Mark E. Stickel

SIGSAM Bull., 1983

Theory Resolution: Building in Nonequational Theories.

Mark E. Stickel

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

A Nonclausal Connection-Graph Resolution Theorem-Proving Program.

Mark E. Stickel

Proceedings of the National Conference on Artificial Intelligence, 1982

1981

A Unification Algorithm for Associative-Commutative Functions.

Mark E. Stickel

J. ACM, 1981

Complete Sets of Reductions for Some Equational Theories.

Gerald E. Peterson, Mark E. Stickel

J. ACM, 1981

1978

Fuzzy four-valued logic for inconsistency and uncertainty.

Mark E. Stickel

Proceedings of the eighth international symposium on Multiple-valued logic, 1978

1976

A Hole in Goal Trees: Some Guidance from Resolution Theory.

Donald W. Loveland, Mark E. Stickel

IEEE Trans. Computers, 1976

1975

A Complete Unification Algorithm for Associative-Commutative Functions.

Mark E. Stickel

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975