Mark E. Stickel

59 papers A* 8A 11B 1Journal 20Unranked 18

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