Thomas Baar, Bernd Fischer, Dirk Fuchs, Abt Softwaretechnologie, Tu Braunschweig, ...
Abstract. We describe a combination of the NORA/HAMMR software component retrieval tool and the ILF system which provides the necessary infrastructure to apply different first-order theorem provers...
Strong suppression of the Curie temperature in the electron-doped system La1-xCexCoO3 (2005)
Fuchs, Dirk, Schweiss, Peter, Schwarz, Thorsten, Schneider, Rudolf
We show for the system La1-xCexCoO3 (0.1
Inference Rights for Controlling Search in Generating Theorem Provers (2000)
We investigate the usage of so-called inference rights. We point out the prob-lems arising from the inflexibility of existing approaches to heuristically controlthe search of automated deduction...
Cooperation in Theorem Proving by Loosely Coupled Heuristics (2000)
We present a cooperation concept for automated theorem provers that isbased on a periodical interchange of selected results between several incarnationsof a prover. These incarnations differ from...
Coupling Saturation-Based Provers by Exchanging Positive/Negative Information (2000)
We examine different possibilities of coupling saturation-based theorem pro-vers by exchanging positive/negative information. We discuss which positive ornegative information is well-suited for...
Knowledge-based Cooperation between Theorem Provers by Techs (2000)
We present a methodology for coupling several saturation-based theoremprovers (running on different computers). The methodology is well-suited for re-alizing cooperation between different...
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer (2000)
Top-down and bottom-up theorem proving approaches have each specific ad-vantages and disadvantages. Bottom-up provers profit from strong redundancycontrol and suffer from the lack of...
Requirement-based cooperative theorem proving (2000)
We examine an approach for demand-driven cooperative theorem proving.We briefly point out the problems arising from the use of common success-driven cooperation methods, and we propose the...
Cooperation in heterogeneous theorem prover networks /--Dirk Fuchs. (2000)
Thesis (doctoral) - Universität, Kaiserslautern, 2000.
Integrating deduction techniques in a software reuse application (1999)
Thomas Baar, Bernd Fischer, Dirk Fuchs
We investigate the application of automated deduction techniques to retrieve software components based on their formal specifications. The application profile has major impacts on the problem solving...
Requirement-Based Cooperative Theorem Proving (1998)
We examine an approach for demand-driven cooperative theorem proving. We briefly point out the problems arising from the use of common successdriven cooperation methods, and we propose the...
Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer (1998)
. Top-down and bottom-up theorem proving approaches have each specific advantages and disadvantages. Bottom-up provers profit from strong redundancy control and su#er from the lack of...
Coupling Saturation-Based Provers by Exchanging Positive/Negative Information (1998)
We examine different possibilities of coupling saturation-based theorem provers by exchanging positive/negative information. We discuss which positive or negative information is well-suited for...
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer (1998)
Top-down and bottom-up theorem proving approaches have each specific advantages and disadvantages. Bottom-up provers profit from strong redundancy control and suffer from the lack of...
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer (1998)
Top-down and bottom-up theorem proving approaches have each specific advantages and disadvantages. Bottom-up provers profit from strong redundancy control and suffer from the lack of...
Knowledge-based Cooperation between Theorem Provers by TECHS (1997)
We present a methodology for coupling several saturation-based theorem provers (running on different computers). The methodology is well-suited for realizing cooperation between different...
Cooperation in Theorem Proving by Loosely Coupled Heuristics (1997)
We present a cooperation concept for automated theorem provers that is based on a periodical interchange of selected results between several incarnations of a prover. These incarnations differ from...
Darstellung und Charakterisierung endohedraler Metallofullerene / (1996)
Fuchs, Dirk., Kernforschungszentrum Karlsruhe., Forschungszentrum Karlsruhe.
Thesis--Universitat Karlsruhe, 1996.
D.: Referees for Teamwork (1996)
Teamwork is a method to distribute automated theorem proving and is mainly based on the competition and cooperation of dierent search control heuristics. Together with the usual control heuristics...
Inference Rights for Controlling Search in Generating Theorem Provers (1996)
We investigate the usage of so-called inference rights. We point out the problems arising from the inflexibility of existing approaches to heuristically control the search of automated deduction...