Marc Fuchs

发表

An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints

Ortrun Ibens, Marc Fuchs, Marc Fuchs, 2001, Int. J. Artif. Intell. Tools.

Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference

Marc Fuchs, Marc Fuchs, 1999, IJCAI.

Cooperation between Top-Down and Bottom-Up Theorem Provers

Marc Fuchs, Dirk Fuchs, Marc Fuchs, 2011, J. Artif. Intell. Res..

Flexible Proof-Replay with Heuristics

Marc Fuchs, Marc Fuchs, 1997, EPIA.

Abstraction-Based Relevancy Testing for Model Elimination

Marc Fuchs, Dirk Fuchs, 1999, CADE.

Relevancy-based use of lemmas in connection tableau calculi

Marc Fuchs, 2000, DISKI.

System Description: Similarity-Based Lemma Generation for Model Elimination

Marc Fuchs, Marc Fuchs, 1998, CADE.

Generating Lemmas for Tableau-based Proof Search Using Genetic Programming

Matthias Fuchs, Marc Fuchs, Dirk Fuchs, 1999, GECCO.

System Description: Cooperation in Model Elimination: CPTHEO

Andreas Wolf, Marc Fuchs, 1998, CADE.

High Performance ATP Systems by Combining Several AI Methods

Matthias Fuchs, Jörg Denzinger, Marc Fuchs, 1997, IJCAI.

Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration

Marc Fuchs, 1998, ECAI.

Practical guide for the comparison of two next-generation sequencing systems for solid tumour analysis in a universal healthcare system

Marc Fuchs, Fiona McLean, Manuel Salto-Tellez, 2018, Journal of Clinical Pathology.

Applying Case-Based Reasoning to Automated Deduction

Matthias Fuchs, Marc Fuchs, 1997, ICCBR.

Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving

Matthias Fuchs, Marc Fuchs, 1998, AI Commun..