The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Mark E. Stickel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mark E. Stickel
    Automated Deduction by Theory Resolution. [Citation Graph (4, 0)][DBLP]
    IJCAI, 1985, pp:1181-1186 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. Mark E. Stickel
    A Nonclausal Connection-Graph Resolution Theorem-Proving Program. [Citation Graph (1, 0)][DBLP]
    AAAI, 1982, pp:229-233 [Conf]
  6. 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]
  7. Mark E. Stickel
    Theory Resolution: Building in Nonequational Theories. [Citation Graph (0, 0)][DBLP]
    AAAI, 1983, pp:391-397 [Conf]
  8. Mark E. Stickel
    An Introduction to Automated Deduction. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Fundamentals of Artificial Intelligence, 1985, pp:75-132 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Mark E. Stickel
    The KLAUS Automated Deduction System. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:703-704 [Conf]
  16. Mark E. Stickel
    The KLAUS Automated Deduction System. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:750-751 [Conf]
  17. Mark E. Stickel
    A Prolog Technology Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:752-753 [Conf]
  18. Mark E. Stickel
    A Prolog Technology Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:673-674 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Mark E. Stickel
    More Advanced and Powerful Proof Tools. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:791-792 [Conf]
  25. 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]
  26. 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]
  27. Mark E. Stickel
    A Complete Unification Algorithm for Associative-Commutative Functions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:71-76 [Conf]
  28. 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]
  29. 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]
  30. Mark E. Stickel
    Term Rewriting in Contemporary Resolution Theorem Proving (Abstract). [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:101- [Conf]
  31. 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]
  32. Mark E. Stickel
    A Prolog Technology Theorem Prover. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:211-217 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]

  47. Building Theorem Provers. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.306secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002