Mark E. Stickel

Publication Activity (10 Years)

Years Active: 1973-2009
Publications (10 Years): 0

Publications

Mark E. Stickel
Building Theorem Provers. CADE (2009)
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
Deductive Question Answering from Multiple Resources. New Directions in Question Answering (2004)
Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
Balance and Filtering in Structured Satisfiable Problems. IJCAI (2001)
Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). Electron. Notes Discret. Math. 9 (2001)
Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger
Using Prior Knowledge: Problems and Solutions. AAAI/IAAI (2000)
Hantao Zhang, Mark E. Stickel
Implementing the Davis-Putnam Method. J. Autom. Reason. 24 (1/2) (2000)
Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe
A Practical Integration of First-Order Reasoning and Decision Procedures. CADE (1997)
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 (1997)
Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyama, Andrew Kehler, Mark E. Stickel, Mabry Tyson
SRI's Tipster II Project. TIPSTER (1996)
Mark E. Stickel, Hantao Zhang
Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results. RTA (1995)
Mark E. Stickel
Term Rewriting in Contemporary Resolution Theorem Proving (Abstract). RTA (1995)
Mark E. Stickel
Elimination of inference channels by optimal upgrading. IEEE Symposium on Security and Privacy (1994)
Tomás E. Uribe, Mark E. Stickel
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. CCL (1994)
Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood
Deductive Composition of Astronomical Software from Subroutine Libraries. CADE (1994)
Mark E. Stickel
Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction. J. Autom. Reason. 13 (2) (1994)
Mark E. Stickel
Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers. Future Gener. Comput. Syst. 9 (2) (1993)
Xiaolei Qian, Mark E. Stickel, Peter D. Karp, Teresa F. Lunt, Thomas D. Garvey
Detection and elimination of inference channels in multilevel relational database systems. IEEE Symposium on Security and Privacy (1993)
Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, Paul A. Martin
Interpretation as Abduction. Artif. Intell. 63 (1-2) (1993)
Mark E. Stickel
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. Theor. Comput. Sci. 104 (1) (1992)
Owen L. Astrachan, Mark E. Stickel
Caching and Lemmaizing in Model Elimination Theorem Provers. CADE (1992)
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)
Richard J. Waldinger, Mark E. Stickel
Proving Properties of Rule-Based Systems. Int. J. Softw. Eng. Knowl. Eng. 2 (1) (1992)
Thomas D. Garvey, Teresa F. Lunt, Mark E. Stickel
Abductive and Approximate Reasoning Models for Characterizing Inference Channels. CSFW (1991)
Zohar Manna, Mark E. Stickel, Richard Waldinger
Monotonicity Properties in Automated Deduction. Artificial and Mathematical Theory of Computation (1991)
Mark E. Stickel
A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. Ann. Math. Artif. Intell. 4 (1991)
Mark E. Stickel
PTTP and Linked Inference. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Mark E. Stickel
A Prolog Technology Theorem Prover. CADE (1990)
Mark E. Stickel
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. DISCO (1990)
Jerry R. Hobbs, Douglas E. Appelt, John Bear, Mark E. Stickel, Mabry Tyson
TACITUS: A Message Understanding System. HLT (2) (1989)
Mark E. Stickel
Rationale and Methods for Abductice Reasoning in Natural-Language Interpretation. Natural Language and Logic (1989)
Mark E. Stickel
More Advanced and Powerful Proof Tools. IFIP Congress (1989)
Mark E. Stickel
The KLAUS Automated Deduction System. CADE (1988)
Mark E. Stickel
A Prolog Technology Theorem Prover. CADE (1988)
Mark E. Stickel
A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. J. Autom. Reason. 4 (4) (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. Reason. 4 (4) (1988)
Jerry R. Hobbs, Mark E. Stickel, Paul A. Martin, Douglas Edwards
Interpretation as Abduction. ACL (1988)
Mark E. Stickel
A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification. J. Autom. Reason. 3 (3) (1987)
Mark E. Stickel
The KLAUS Automated Deduction System. CADE (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. Reason. 2 (3) (1986)
Mark E. Stickel
A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. CADE (1986)
Mark E. Stickel
Schubert's Steamroller Problem: Formulation and Solutions. J. Autom. Reason. 2 (1) (1986)
Mark E. Stickel, Mabry Tyson
An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. IJCAI (1985)
Mark E. Stickel
Automated Deduction by Theory Resolution. J. Autom. Reason. 1 (4) (1985)
Mark E. Stickel
Automated Deduction by Theory Resolution. IJCAI (1985)
Mark E. Stickel
An Introduction to Automated Deduction. Advanced Course: Fundamentals of Artificial Intelligence (1985)
Mark E. Stickel
A Prolog Technology Theorem Prover. SLP (1984)
Mark E. Stickel
A Prolog Technology Theorem Prover. New Gener. Comput. 2 (4) (1984)
Mark E. Stickel
A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity. CADE (1984)
Mark E. Stickel
Theory Resolution: Building in Nonequational Theories. AAAI (1983)
Mark E. Stickel
A note on leftmost innermost term reduction. SIGSAM Bull. 17 (3-4) (1983)
Mark E. Stickel
A Nonclausal Connection-Graph Resolution Theorem-Proving Program. AAAI (1982)
Gerald E. Peterson, Mark E. Stickel
Complete Sets of Reductions for Some Equational Theories. J. ACM 28 (2) (1981)
Mark E. Stickel
A Unification Algorithm for Associative-Commutative Functions. J. ACM 28 (3) (1981)
Mark E. Stickel
Fuzzy four-valued logic for inconsistency and uncertainty. MVL (1978)
Donald W. Loveland, Mark E. Stickel
A Hole in Goal Trees: Some Guidance from Resolution Theory. IEEE Trans. Computers 25 (4) (1976)
Mark E. Stickel
A Complete Unification Algorithm for Associative-Commutative Functions. IJCAI (1975)
Donald W. Loveland, Mark E. Stickel
A Hole in Goal Trees: Some Guidance from Resolution Theory. IJCAI (1973)