Mark E. Stickel | Academic Influence

Mark E. Stickel's AcademicInfluence.com Rankings

Mark E. Stickel

Computer Science

#2997

World Rank

#3141

Historical Rank

#1213

USA Rank

Automated Reasoning

#9

World Rank

#9

Historical Rank

#5

USA Rank

Programming

#97

World Rank

#101

Historical Rank

#25

USA Rank

Artificial Intelligence

#3556

World Rank

#3606

Historical Rank

#256

USA Rank

computer-science Degrees

Download Badge

Computer Science

Mark E. Stickel's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Mark E. Stickel Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Mark E. Stickel was a computer scientist working in the fields of automated theorem proving and artificial intelligence. He worked at SRI International for over 30 years, and was Principal Scientist at the Artificial Intelligence Center.

(See a Problem?)

Mark E. Stickel's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Interpretation as Abduction (1993) (1077)
Complete Sets of Reductions for Some Equational Theories (1981) (456)
FASTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Language Text (1997) (375)
Interpretation as Abduction (1988) (370)
A Unification Algorithm for Associative-Commutative Functions (1981) (262)
Deductive Composition of Astronomical Software from Subroutine Libraries (1994) (200)
A prolog technology theorem prover: Implementation by an extended prolog compiler (1986) (143)
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog (1990) (121)
Automated deduction by theory resolution (1985) (109)
Implementing the Davis–Putnam Method (2000) (105)
Automated reasoning and exhaustive search: Quasigroup existence problems☆ (1995) (103)
Caching and Lemmaizing in Model Elimination Theorem Provers (1992) (100)
A Complete Unification Algorithm for Associative-Commutative Functions (1975) (93)
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure (1994) (91)
Balance and Filtering in Structured Satisfiable Problems (2001) (86)
Detection and elimination of inference channels in multilevel relational database systems (1993) (74)
An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction (1985) (72)
The Path-Indexing Method for Indexing Terms (1989) (69)
A Guide to Snark (2000) (67)
A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation (1991) (62)
Implementing the Davis-Putnam Algorithm by Tries (1994) (61)
Rationale and Methods for Abductice Reasoning in Natural-Language Interpretation (1989) (57)
A Nonclausal Connection-Graph Resolution Theorem-Proving Program (1982) (56)
A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity (1984) (54)
Set theory in first-order logic: Clauses for Gödel's axioms (1986) (53)
Schubert's Steamroller problem: Formulations and solutions (2004) (44)
Deductive Question Answering from Multiple Resources (2004) (44)
Research on Interactive Acquisition and Use of Knowledge. (1983) (37)
A Hole in Goal Trees: Some Guidance from Resolution Theory (1973) (35)
Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases (1993) (34)
An Introduction to Automated Deduction (1985) (34)
Theory Resolution: Building in Nonequational Theories (1983) (33)
A Practical Integration of First-Order Reasoning and Decision Procedures (1997) (32)
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (1994) (28)
Abductive and approximate reasoning models for characterizing inference channels (1991) (26)
Elimination of inference channels by optimal upgrading (1994) (26)
Proving properties of rule-based systems (1991) (24)
A Prolog technology theorem prover (1984) (21)
Using Prior Knowledge: Problems and Solutions (2000) (19)
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report) (2001) (18)
FASTUS : Extracting Information from Natural-Language Texts (1996) (16)
Opening the AC-unification race (1988) (16)
Deductive Biocomputing (2007) (15)
10th International Conference on Automated Deduction (1990) (13)
Automated Reasoning and Mathematics (2013) (10)
The Strategy Challenge in SMT Solving (2012) (10)
Qualitative Spatial Reasoning for Question-Answering: Axiom Reuse and Algebraic Methods (2002) (8)
The KLAUS Automated Deduction System (1986) (8)
Mechanical theorem proving and artificial intelligence languages. (1977) (7)
A note on leftmost innermost term reduction (1983) (6)
PTTP and Linked Inference (1991) (6)
ASTRE: a transformation system using completion (1991) (6)
SRI's Tipster II Project (1996) (5)
Proceedings of the tenth international conference on Automated deduction (1990) (5)
Monotonicity Properties in Automated Deduction (1991) (5)
Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results (1995) (5)
The Programmable Strategy Theorem Prover: An Implementation of the Linear MESON Procedure (1974) (4)
Resolution theorem proving (1988) (4)
Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers (1993) (4)
Fuzzy four-valued logic for inconsistency and uncertainty (1978) (3)
AMPHION: Specification-based programming for scientific subroutine libraries (1994) (2)
TACITUS: A Message Understanding System (1989) (1)
Ontology Construction Tool Kit (2000) (1)
Term Rewriting in Contemporary Resolution Theorem Proving (Abstract) (1995) (1)
A comparison of the variable-abstraction and constant-abstraction methods for associative-commutative unification (1987) (1)
Building Theorem Provers (2009) (1)
More Advanced and Powerful Proof Tools (1989) (0)
Theorem Prover : A New Exposition and Implementation in Prolog 1 (0)
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings (1990) (0)
Edinburgh Explorer The Strategy Challenge in SMT Solving (2012) (0)
Deduction (Dagstuhl Seminar 9310) (2021) (0)
Deduction (Dagstuhl Seminar 9512) (2021) (0)
AD-A 259 608 f Interpretation as Abduction (0)
Engineering for Artificial Intelligence Software (1990) (0)
The Path-indexing Method for Indexing Terms 1 (1989) (0)
Automated Theory Decision Making: A Case Of Evolution Vs. Creationism (1992) (0)
Dagstuhl Seminar on Deduction a Reduction Ordering for Higher-order Terms Combination of Constraint Solving Techniques: an Algebraic Point of View Integrating Automated Deduction and Symbolic Computation Techniques Type Inferencing for First Order Logic with Polymorphic Order-sorted Types Decomposit (1995) (0)
Dagstuhl Seminar on Deduction (2012) (0)
In reply to McDermott (1987) (0)
Recuperation d'informations au moyen d'interrogations formulees en langage naturel (2000) (0)

This paper list is powered by the following services:

Other Resources About Mark E. Stickel

en.wikipedia.org

What Schools Are Affiliated With Mark E. Stickel?

Mark E. Stickel is affiliated with the following schools:

Stanford University