Mark E. Stickel
SRI International(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Natural Language Processing Techniques, Semantic Web and Ontologies, AI-based Problem Solving and Planning
Most-Cited Works
- → Complete Sets of Reductions for Some Equational Theories(1981)409 cited
- → FASTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Language Text(1997)255 cited
- → A prolog technology theorem prover: Implementation by an extended prolog compiler(1988)249 cited
- → A Unification Algorithm for Associative-Commutative Functions(1981)242 cited
- → Deductive composition of astronomical software from subroutine libraries(1994)154 cited
- → A Prolog technology theorem prover(1984)99 cited
- → Implementing the Davis–Putnam Method(2000)94 cited
- → A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation(1991)89 cited
- → A Complete Unification Algorithm for Associative-Commutative Functions(1975)87 cited