Stickel, M. E. (1985). Automated deduction by theory resolution. Journal of Automated Reasoning, 1:333-355. 40 Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Question Answering Interpretation of Resolution Refutation - Burhans (2002) (Correct)
Superposition modulo a Shostak Theory - Ganzinger, Hillenbrand, Waldmann (2003) (2 citations) (Correct)
Cycle Unification - Bibel, Hölldobler, Würtz (1992) (7 citations) (Correct)
Unifying Cycles - Würtz (1992) (Correct)
Extensions of Constraint Solving for Proof Planning - Melis, Zimmer, Müller (1999) (Correct)
Cooperation of Background Reasoners in Theory Reasoning by.. - Tinelli (2000) (7 citations) (Correct)
Cooperation of Background Reasoners in Theory Reasoning by.. - Tinelli (2002) (7 citations) (Correct)
Cooperation of Background Reasoners in Theory Reasoning by.. - Tinelli (2000) (7 citations) (Correct)
Integrating Constraint Solving into Proof Planning - Melis, Zimmer, Müller (Correct)
Extensions of Constraint Solving for Proof Planning - Melis, Müller, Zimmer (1999) (Correct)
Cooperation of Background Reasoners in Theory Reasoning by.. - Tinelli (2001) (7 citations) (Correct)
Combining Constraint Solving - Baader, Schulz (2001) (7 citations) (Correct)
Anti-Unification Based Learning of T-Wrappers for Information.. - Thomas (1999) (4 citations) (Correct)
Logic Programs for Intelligent Web Search - Thomas (1999) (2 citations) (Correct)
Analyzing Rule Sets for the Calculation of Banking Fees by.. - Stolzenburg, Thomas (1998) (Correct)
SIMBA: Belief Ascription by Way of Simulative Reasoning - Chalupsky (1996) (1 citation) (Correct)
Adding Constraints to Logic-based Formalisms - Maher (1999) (Correct)
Resolution Theorem Proving - Bachmair, Ganzinger (2001) (36 citations) (Correct)
Token-Templates and Logic Programs for Intelligent Web Search - Thomas (2000) (2 citations) (Correct)
Logic-Based Subsumption Architecture: Empirical Evaluation - Amir, II (2000) (Correct)
A Simple Deduction System for First-Order Logic with.. - Goubault-Larrecq (1999) (Correct)
Structured Proof Procedures - Giunchiglia, Armando, Pecchiari (1993) (Correct)
Incremental Theory Reasoning Methods for Semantic Tableaux - Beckert, Pape (1996) (7 citations) (Correct)
Specialized External Reasoners in Proof Planning - Melis, Sorge (2000) (Correct)
Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (359 citations) (Correct)
Analogical Representations - Selman (Correct)
Category-based Constraint Logic - Diaconescu (1999) (Correct)
Building-In Hybrid Theories - Uwe Petermann Fb (Correct)
HOL-λσ: an intentional first-order.. - Dowek, Hardin, Kirchner (1999) (1 citation) (Correct)
Deriving Focused Calculi For Transitive Relations - Struth (2001) (Correct)
A Tableau Calculus for Integrating First-Order and Elementary .. - Cantone, Zarba (2000) (1 citation) (Correct)
Incremental Knowledge Acquisition for Non-Monotonic.. - Sebastiani, Straccia (Correct)
Unified View of Completeness and Compactness for Theory-Based.. - Formisano (Correct)
Logic Programs for Intelligent Web Search - Thomas (2 citations) (Correct)
Cooperation of Background Reasoners in Theory Reasoning.. - Cesare Tinelli.. (2000) (7 citations) (Correct)
T-resolution: Refinements and Model Elimination II - Formisano (Correct)
Incremental Knowledge Acquisition for Non-Monotonic Reasoning - Sebastiani, Straccia (Correct)
Proof in Flat Specifications - Padawitz (Correct)
Inductive Theorem Proving for Design Specifications - Padawitz (1997) (3 citations) (Correct)
Prefixed Tableaux Systems for Modal Logics with Enriched.. - Balbiani, Demri (1997) (Correct)
Strategies for Focusing Structure-Based Theorem Proving - Amir, McIlraith (2001) (Correct)
Linear and Unit-Resulting Refutations for Horn Theories - Baumgartner (1995) (5 citations) (Correct)
A Tableau Calculus for Integrating First-Order Reasoning with .. - Cantone, Zarba (2000) (Correct)
Inductive Theorem Proving for Design Specifications - Padawitz (1997) (3 citations) (Correct)
Swinging Data Types - The dielectic between actions and.. - Padawitz (1998) (Correct)
Qualitative and Topological Relationships - Cui, Cohn, Randell (1993) (Correct)
AL-log: Integrating Datalog and Description Logics - Donini, Lenzerini, al. (1998) (22 citations) (Correct)
A Category-based Equational Logic Semantics to.. - Razvan Diaconescu.. (1996) (8 citations) (Correct)
A Prolog Technology Theorem Prover: A New Exposition and.. - Stickel (1989) (36 citations) Self-citation (Stickel) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC