The SCEAS System
| |||||||

## Search the dblp DataBase
Mark E. Stickel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Mark E. Stickel
**Automated Deduction by Theory Resolution.**[Citation Graph (4, 0)][DBLP] IJCAI, 1985, pp:1181-1186 [Conf] - Mark E. Stickel
**A Unification Algorithm for Associative-Commutative Functions.**[Citation Graph (4, 0)][DBLP] J. ACM, 1981, v:28, n:3, pp:423-434 [Journal] - Mark E. Stickel
**Automated Deduction by Theory Resolution.**[Citation Graph (4, 0)][DBLP] J. Autom. Reasoning, 1985, v:1, n:4, pp:333-355 [Journal] - 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.**[Citation Graph (2, 0)][DBLP] DBSec, 1992, pp:149-168 [Conf] - Mark E. Stickel
**A Nonclausal Connection-Graph Resolution Theorem-Proving Program.**[Citation Graph (1, 0)][DBLP] AAAI, 1982, pp:229-233 [Conf] - Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger
**Using Prior Knowledge: Problems and Solutions.**[Citation Graph (0, 0)][DBLP] AAAI/IAAI, 2000, pp:436-442 [Conf] - Mark E. Stickel
**Theory Resolution: Building in Nonequational Theories.**[Citation Graph (0, 0)][DBLP] AAAI, 1983, pp:391-397 [Conf] - Mark E. Stickel
**An Introduction to Automated Deduction.**[Citation Graph (0, 0)][DBLP] Advanced Course: Fundamentals of Artificial Intelligence, 1985, pp:75-132 [Conf] - Jerry R. Hobbs, Mark E. Stickel, Paul A. Martin, Douglas Edwards
**Interpretation as Abduction.**[Citation Graph (0, 0)][DBLP] ACL, 1988, pp:95-103 [Conf] - Mark E. Stickel
**PTTP and Linked Inference.**[Citation Graph (0, 0)][DBLP] Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:283-296 [Conf] - Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe
**A Practical Integration of First-Order Reasoning and Decision Procedures.**[Citation Graph (0, 0)][DBLP] CADE, 1997, pp:101-115 [Conf] - Owen L. Astrachan, Mark E. Stickel
**Caching and Lemmaizing in Model Elimination Theorem Provers.**[Citation Graph (0, 0)][DBLP] CADE, 1992, pp:224-238 [Conf] - Mark E. Stickel
**A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity.**[Citation Graph (0, 0)][DBLP] CADE, 1984, pp:248-258 [Conf] - Mark E. Stickel
**A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.**[Citation Graph (0, 0)][DBLP] CADE, 1986, pp:573-587 [Conf] - Mark E. Stickel
**The KLAUS Automated Deduction System.**[Citation Graph (0, 0)][DBLP] CADE, 1986, pp:703-704 [Conf] - Mark E. Stickel
**The KLAUS Automated Deduction System.**[Citation Graph (0, 0)][DBLP] CADE, 1988, pp:750-751 [Conf] - Mark E. Stickel
**A Prolog Technology Theorem Prover.**[Citation Graph (0, 0)][DBLP] CADE, 1988, pp:752-753 [Conf] - Mark E. Stickel
**A Prolog Technology Theorem Prover.**[Citation Graph (0, 0)][DBLP] CADE, 1990, pp:673-674 [Conf] - Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood
**Deductive Composition of Astronomical Software from Subroutine Libraries.**[Citation Graph (0, 0)][DBLP] CADE, 1994, pp:341-355 [Conf] - Tomás E. Uribe, Mark E. Stickel
**Ordered Binary Decision Diagrams and the Davis-Putnam Procedure.**[Citation Graph (0, 0)][DBLP] CCL, 1994, pp:34-49 [Conf] - Thomas D. Garvey, Teresa F. Lunt, Mark E. Stickel
**Abductive and Approximate Reasoning Models for Characterizing Inference Channels.**[Citation Graph (0, 0)][DBLP] CSFW, 1991, pp:118-126 [Conf] - Mark E. Stickel
**A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.**[Citation Graph (0, 0)][DBLP] DISCO, 1990, pp:154-163 [Conf] - Mark E. Stickel
**Rationale and Methods for Abductice Reasoning in Natural-Language Interpretation.**[Citation Graph (0, 0)][DBLP] Natural Language and Logic, 1989, pp:233-252 [Conf] - Mark E. Stickel
**More Advanced and Powerful Proof Tools.**[Citation Graph (0, 0)][DBLP] IFIP Congress, 1989, pp:791-792 [Conf] - Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
**Balance and Filtering in Structured Satisfiable Problems.**[Citation Graph (0, 0)][DBLP] IJCAI, 2001, pp:351-358 [Conf] - Donald W. Loveland, Mark E. Stickel
**A Hole in Goal Trees: Some Guidance from Resolution Theory.**[Citation Graph (0, 0)][DBLP] IJCAI, 1973, pp:153-161 [Conf] - Mark E. Stickel
**A Complete Unification Algorithm for Associative-Commutative Functions.**[Citation Graph (0, 0)][DBLP] IJCAI, 1975, pp:71-76 [Conf] - Mark E. Stickel, Mabry Tyson
**An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction.**[Citation Graph (0, 0)][DBLP] IJCAI, 1985, pp:1073-1075 [Conf] - Richard J. Waldinger, Douglas E. Appelt, Jennifer L. Dungan, John Fry, Jerry R. Hobbs, David J. Israel, Peter Jarvis, David Martin, Susanne Riehemann, Mark E. Stickel, Mabry Tyson
**Deductive Question Answering from Multiple Resources.**[Citation Graph (0, 0)][DBLP] New Directions in Question Answering, 2004, pp:253-262 [Conf] - Mark E. Stickel
**Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).**[Citation Graph (0, 0)][DBLP] RTA, 1995, pp:101- [Conf] - Mark E. Stickel, Hantao Zhang
**Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results.**[Citation Graph (0, 0)][DBLP] RTA, 1995, pp:450-456 [Conf] - Mark E. Stickel
**A Prolog Technology Theorem Prover.**[Citation Graph (0, 0)][DBLP] SLP, 1984, pp:211-217 [Conf] - Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, Paul A. Martin
**Interpretation as Abduction.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 1993, v:63, n:1-2, pp:69-142 [Journal] - Mark E. Stickel
**A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation.**[Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1991, v:4, n:, pp:89-105 [Journal] - 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**[Citation Graph (0, 0)][DBLP] CoRR, 1997, v:0, n:, pp:- [Journal] - Gerald E. Peterson, Mark E. Stickel
**Complete Sets of Reductions for Some Equational Theories.**[Citation Graph (0, 0)][DBLP] J. ACM, 1981, v:28, n:2, pp:233-264 [Journal] - 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.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1988, v:4, n:4, pp:465-474 [Journal] - 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.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1986, v:2, n:3, pp:287-327 [Journal] - Mark E. Stickel
**Schubert's Steamroller Problem: Formulation and Solutions.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1986, v:2, n:1, pp:89-101 [Journal] - Mark E. Stickel
**A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1987, v:3, n:3, pp:285-289 [Journal] - Mark E. Stickel
**A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1988, v:4, n:4, pp:353-380 [Journal] - Mark E. Stickel
**Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1994, v:13, n:2, pp:189-210 [Journal] - Hantao Zhang, Mark E. Stickel
**Implementing the Davis-Putnam Method.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2000, v:24, n:1/2, pp:277-296 [Journal] - Mark E. Stickel
**A Prolog Technology Theorem Prover.**[Citation Graph (0, 0)][DBLP] New Generation Comput., 1984, v:2, n:4, pp:371-383 [Journal] - Donald W. Loveland, Mark E. Stickel
**A Hole in Goal Trees: Some Guidance from Resolution Theory.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 1976, v:25, n:4, pp:335-341 [Journal] - Mark E. Stickel
**A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:104, n:1, pp:109-128 [Journal] **Building Theorem Provers.**[Citation Graph (, )][DBLP]
Search in 0.027secs, Finished in 0.029secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |