Marc Fuchs

27 papers A* 3A 6B 3C 1Misc 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Brief Announcement: Towards Round-Optimal Approximate Agreement on Trees.
PODC
Marc Fuchs, Diana Ghinea, Zahra Parsaeian
2025 B conf
Distributed (Δ+1)-Coloring in Graphs of Bounded Neighborhood Independence.
OPODIS
Marc Fuchs, Fabian Kuhn
2025 J jnl
Distributed (Δ+1)-Coloring in Graphs of Bounded Neighborhood Independence.
CoRR
Marc Fuchs, Fabian Kuhn
2025 J jnl
Towards Round-Optimal Approximate Agreement on Trees.
CoRR
Marc Fuchs, Diana Ghinea, Zahra Parsaeian
2024 A* conf
Brief Announcement: Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms.
PODC
Marc Fuchs, Fabian Kuhn
2024 J jnl
Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms.
CoRR
Marc Fuchs, Fabian Kuhn
2023 B conf
Brief Announcement: List Defective Colorings: Distributed Algorithms and Applications.
SPAA
Marc Fuchs, Fabian Kuhn
2023 A conf
List Defective Colorings: Distributed Algorithms and Applications.
DISC
Marc Fuchs, Fabian Kuhn
2023 J jnl
List Defective Colorings: Distributed Algorithms and Applications.
CoRR
Marc Fuchs, Fabian Kuhn
2023 — conf
Towards Modelling Elaborateness in Argumentative Dialogue Systems.
HCI (41)
Annalena Aicher, Marc Fuchs, Wolfgang Minker, Stefan Ultes
2021 B conf
Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings.
OPODIS
Salwa Faour, Marc Fuchs, Fabian Kuhn
2021 J jnl
Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings.
CoRR
Salwa Faour, Marc Fuchs, Fabian Kuhn
2011 J jnl
Cooperation between Top-Down and Bottom-Up Theorem Provers
CoRR
Marc Fuchs, Dirk Fuchs
2001 J jnl
An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints.
Int. J. Artif. Intell. Tools
Ortrun Ibens, Marc Fuchs
2000 J jnl
Controlled Use of Clausal Lemmas in Connection Tableau Calculi.
J. Symb. Comput.
Marc Fuchs
2000 — —
Relevancy-based use of lemmas in connection tableau calculi.
Marc Fuchs
1999 A conf
Abstraction-Based Relevancy Testing for Model Elimination.
CADE
Marc Fuchs, Dirk Fuchs
1999 J jnl
Cooperation between Top-Down and Bottom-Up Theorem Provers.
J. Artif. Intell. Res.
Dirk Fuchs, Marc Fuchs
1999 A conf
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming.
GECCO
Marc Fuchs, Dirk Fuchs, Matthias Fuchs
1999 A* conf
Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference.
IJCAI
Marc Fuchs
1998 J jnl
Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving.
AI Commun.
Marc Fuchs, Matthias Fuchs
1998 A conf
Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration.
ECAI
Marc Fuchs
1998 A conf
System Description: Cooperation in Model Elimination: CPTHEO.
CADE
Marc Fuchs, Andreas Wolf
1998 A conf
System Description: Similarity-Based Lemma Generation for Model Elimination.
CADE
Marc Fuchs
1997 C conf
Applying Case-Based Reasoning to Automated Deduction.
ICCBR
Marc Fuchs, Matthias Fuchs
1997 Misc conf
Flexible Proof-Replay with Heuristics.
EPIA
Marc Fuchs
1997 — conf
High Performance ATP Systems by Combining Several AI Methods.
IJCAI (1)
Jörg Denzinger, Marc Fuchs, Matthias Fuchs