W. Bibel. Automated Theorem Proving. Vieweg Verlag, Braunschweig, 2nd edition, 1987. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Skeptical Query-Answering in Constrained Default Logic - Schaub, Thielscher (1995) (Correct)
Unifying Cycles - Würtz (1992) (Correct)
Unit Preference for Ordered Resolution and for.. - Hähnle, Murray.. (2002) (Correct)
The Model Evolution Calculus - Baumgartner, Tinelli (2003) (1 citation) (Correct)
Designing a Theorem Prover - Lawrence Paulson Computer (1990) (9 citations) (Correct)
The Model Evolution Calculus - Baumgartner, Tinelli (2003) (1 citation) (Correct)
A Uniform Procedure for Converting Matrix Proofs into.. - Kreitz, Schmitt (2000) (2 citations) (Correct)
Matrix-based Inductive Theorem Proving - Kreitz, Pientka (2000) (1 citation) (Correct)
A Prolog-like Inference System for Computing Minimum-Cost.. - Stickel (1988) (28 citations) (Correct)
Controlled Integrations of the Cut - Rule Into Connection (Correct)
A Matrix Characterization for MELL - Mantel, Kreitz (1998) (1 citation) (Correct)
Cooperation of Background Reasoners in Theory Reasoning by.. - Tinelli (2002) (7 citations) (Correct)
Partial Order Plan Generation With The Linear Connection Method - Fronhofer (Correct)
Linear Deductive Planning - Große, Hölldobler, Schneeberger (1992) (3 citations) (Correct)
Connectionist Inference Systems - Güsgen, Hölldobler (1991) (3 citations) (Correct)
On Deductive Planning and the Frame Problem - Hölldobler (1992) (4 citations) (Correct)
A set of hierarchically structured decision procedures for some .. - Giunchiglia (1991) (Correct)
JProver: Integrating Connection-based Theorem Proving .. - Schmitt, Lorigo.. (2001) (3 citations) (Correct)
Some Applications Of Non Clausal Deduction - Ramesh (1995) (3 citations) (Correct)
Connection-Based Proof Construction in Linear Logic - Kreitz, Mantel, Otten, Schmitt (1997) (9 citations) (Correct)
System Description: TPS: A Theorem Proving System for Type.. - Andrews, Bishop, Brown (2000) (5 citations) (Correct)
Automated Deduction by Theory Resolution - Stickel (1985) (101 citations) (Correct)
Analyzing Rule Sets for the Calculation of Banking Fees by.. - Stolzenburg, Thomas (1998) (Correct)
TPS: A Theorem-Proving System for Classical Type Theory - Andrews, Bishop, Issar.. (1996) (43 citations) (Correct)
On Converting Non-classical Matrix Proofs into Sequent-Style.. - Kreitz, Schmitt (1996) (5 citations) (Correct)
A Uniform Proof Procedure for Classical and Non-Classical Logics - Otten, Kreitz (1996) (2 citations) (Correct)
On Matrix Characterizations for Propositional Substructural Logics - Sandner (1996) (Correct)
Connection-Based Proof Construction in Linear Logic - Kreitz, Mantel, Otten, Schmitt (1996) (9 citations) (Correct)
A Matrix Characterization for MELL - Mantel, Kreitz (1998) (1 citation) (Correct)
A Taxonomy of Parallel Strategies for Deduction - Bonacina (1999) (Correct)
A Framework for Connection Calculi - Mantel, Sandner (1997) (Correct)
General Connections via Equality Elimination - Degtyarev, Voronkov (1995) (Correct)
Structured Proof Procedures - Giunchiglia, Armando, Pecchiari (1993) (Correct)
Incremental Theory Reasoning Methods for Semantic Tableaux - Beckert, Pape (1996) (7 citations) (Correct)
Matrix-based Constructive Theorem Proving - Kreitz, Otten, Schmitt, Pientka (1999) (1 citation) (Correct)
A Matrix Proof Method for Underspecified Discourse Representation.. - König (Correct)
Connection-based Theorem Proving in Classical and.. - Kreitz, Otten (1999) (2 citations) (Correct)
T-String-Unification: Unifying Prefixes in Non-Classical Proof .. - Otten, Kreitz (1995) (Correct)
Ordered Semantic Hyper-Linking - Plaisted (1994) (12 citations) (Correct)
Theory and Implementation of an Efficient Tactic-Based Logical.. - Nogin (2002) (Correct)
Uniform Variable Splitting - Antonsen (Correct)
Paraconsistent Logics and Paraconsistency: Technical and.. - Costa, Krause, Bueno (2004) (Correct)
MetaPRL - A Modular Logical Environment - Hickey, Nogin, Constable.. (2003) (1 citation) (Correct)
Semantic Tableaux with Ordering Restrictions - Klingenbeck, Hähnle (1994) (6 citations) (Correct)
Full First-Order Sequent and Tableau Calculi With Preservation of.. - Wirth (1998) (Correct)
Cycle Unification - Bibel, Hölldobler, Würtz (1992) (7 citations) Self-citation (Bibel) (Correct)
leanCoP: Lean Connection-Based Theorem Proving - Otten, Bibel (2000) (2 citations) Self-citation (Bibel) (Correct)
A Multi-level Approach to Program Synthesis - Bibel, Korn, Kreitz, Kurucz.. (1997) (1 citation) Self-citation (Bibel) (Correct)
Top Down Deduction in Indefinite Deductive Databases - Johnson (1994) (2 citations) Self-citation (Bibel) (Correct)
Let's Plan It Deductively - Bibel (1997) (23 citations) Self-citation (Bibel) (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