Marc Fuchs - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2024

Brief Announcement: Simpler and More General Distributed Coloring Based on Simple List Defective Coloring AlgorithmsMarc Fuchs, Fabian Kuhn. podc 2024: 425-428 [doi]

2023

Towards Modelling Elaborateness in Argumentative Dialogue SystemsAnnalena Aicher, Marc Fuchs, Wolfgang Minker, Stefan Ultes. hci 2023: 3-22 [doi]

List Defective Colorings: Distributed Algorithms and ApplicationsMarc Fuchs, Fabian Kuhn. wdag 2023: [doi]

Brief Announcement: List Defective Colorings: Distributed Algorithms and ApplicationsMarc Fuchs, Fabian Kuhn. spaa 2023: 489-492 [doi]

2021

Distributed CONGEST Approximation of Weighted Vertex Covers and MatchingsSalwa Faour, Marc Fuchs, Fabian Kuhn. opodis 2022: [doi]

2001

An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive ConstraintsOrtrun Ibens, Marc Fuchs. ijait, 10(1-2):181-198, 2001.

2000

Relevancy-based use of lemmas in connection tableau calculiMarc Fuchs. Volume 227 of DISKI, Infix, 2000.

Controlled Use of Clausal Lemmas in Connection Tableau CalculiMarc Fuchs. JSC, 29(2):299-341, 2000.

1999

Generating Lemmas for Tableau-based Proof Search Using Genetic ProgrammingMarc Fuchs, Dirk Fuchs, Matthias Fuchs. gecco 1999: 1027-1032

Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up InferenceMarc Fuchs. IJCAI 1999: 4-9

Abstraction-Based Relevancy Testing for Model EliminationMarc Fuchs, Dirk Fuchs. cade 1999: 344-358 [doi]

Cooperation between Top-Down and Bottom-Up Theorem ProversDirk Fuchs, Marc Fuchs. jair, 10:169-198, 1999. [doi]

1998

System Description: Cooperation in Model Elimination: CPTHEOMarc Fuchs, Andreas Wolf. cade 1998: 42-46 [doi]

Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux EnumerationMarc Fuchs. ecai 1998: 346-350

System Description: Similarity-Based Lemma Generation for Model EliminationMarc Fuchs. cade 1998: 33-37 [doi]

Feature-Based Learning of Search-Guiding Heuristics for Theorem ProvingMarc Fuchs, Matthias Fuchs. aicom, 11(3-4):175-189, 1998.

1997

High Performance ATP Systems by Combining Several AI MethodsJörg Denzinger, Marc Fuchs, Matthias Fuchs. IJCAI 1997: 102-107

Applying Case-Based Reasoning to Automated DeductionMarc Fuchs, Matthias Fuchs. iccbr 1997: 23-32

Flexible Proof-Replay with HeuristicsMarc Fuchs. epia 1997: 1-12

Sign in or sign up to see more results.

runs on WebDSL