Dirk Fuchs

According to our database, Dirk Fuchs authored at least 14 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

UV-Light-Tunable p-/n-Type Chemiresistive Gas Sensors Based on Quasi-1D TiS3 Nanoribbons: Detection of Isopropanol at ppm Concentrations.

Victor V. Sysoev, Andrey Lashkov, Alexey Lipatov, Ilya A. Plugin, Michael Bruns, Dirk Fuchs, Alexey S. Varezhnikov, Mustahsin Adib, Martin Sommer, Alexander Sinitskii

Sensors, 2022

2000

Cooperation in heterogeneous theorem prover networks.

Dirk Fuchs

PhD thesis, 2000

1999

Integrating Deduction Techniques in a Software Reuse Application.

Thomas Baar, Bernd Fischer, Dirk Fuchs

J. Univers. Comput. Sci., 1999

Cooperation between Top-Down and Bottom-Up Theorem Provers.

Dirk Fuchs, Marc Fuchs

J. Artif. Intell. Res., 1999

On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi.

Dirk Fuchs

Fundam. Informaticae, 1999

Cooperation of Heterogeneous Provers .

Jörg Denzinger, Dirk Fuchs

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Generating Lemmas for Tableau-based Proof Search Using Genetic Programming.

Marc Fuchs, Dirk Fuchs, Matthias Fuchs

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999

Abstraction-Based Relevancy Testing for Model Elimination.

Marc Fuchs, Dirk Fuchs

Proceedings of the Automated Deduction, 1999

1998

Coupling Saturation-Based Provers by Exchanging Positive/Negative Information.

Dirk Fuchs

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

Requirement-Based Cooperative Theorem Proving.

Dirk Fuchs

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Enhancing Conventional Search Systems with Multi-Agent Techniques: A Case Study.

Jörg Denzinger, Dirk Fuchs

Proceedings of the Third International Conference on Multiagent Systems, 1998

Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer.

Dirk Fuchs

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1997

Inference Rights for Controlling Search in Generating Theorem Provers.

Dirk Fuchs

Proceedings of the Progress in Artificial Intelligence, 1997

CODE: A Powerful Prover for Problems of Condensed Detachment.

Dirk Fuchs, Matthias Fuchs

Proceedings of the Automated Deduction, 1997