Marc Fuchs

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 8

Top Venues

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Marc Fuchs, Fabian Kuhn
Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms. CoRR (2024)
Marc Fuchs, Fabian Kuhn
Brief Announcement: Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms. PODC (2024)
Marc Fuchs, Fabian Kuhn
List Defective Colorings: Distributed Algorithms and Applications. DISC (2023)
Marc Fuchs, Fabian Kuhn
List Defective Colorings: Distributed Algorithms and Applications. CoRR (2023)
Annalena Aicher, Marc Fuchs, Wolfgang Minker, Stefan Ultes
Towards Modelling Elaborateness in Argumentative Dialogue Systems. HCI (41) (2023)
Marc Fuchs, Fabian Kuhn
Brief Announcement: List Defective Colorings: Distributed Algorithms and Applications. SPAA (2023)
Salwa Faour, Marc Fuchs, Fabian Kuhn
Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings. OPODIS (2021)
Salwa Faour, Marc Fuchs, Fabian Kuhn
Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings. CoRR (2021)
Marc Fuchs, Dirk Fuchs
Cooperation between Top-Down and Bottom-Up Theorem Provers CoRR (2011)
Ortrun Ibens, Marc Fuchs
An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints. Int. J. Artif. Intell. Tools 10 (1-2) (2001)
Marc Fuchs
Controlled Use of Clausal Lemmas in Connection Tableau Calculi. J. Symb. Comput. 29 (2) (2000)
Marc Fuchs, Dirk Fuchs
Abstraction-Based Relevancy Testing for Model Elimination. CADE (1999)
Marc Fuchs
Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference. IJCAI (1999)
Dirk Fuchs, Marc Fuchs
Cooperation between Top-Down and Bottom-Up Theorem Provers. J. Artif. Intell. Res. 10 (1999)
Marc Fuchs, Dirk Fuchs, Matthias Fuchs
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. GECCO (1999)
Marc Fuchs, Matthias Fuchs
Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving. AI Commun. 11 (3-4) (1998)
Marc Fuchs
System Description: Similarity-Based Lemma Generation for Model Elimination. CADE (1998)
Marc Fuchs
Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration. ECAI (1998)
Marc Fuchs, Andreas Wolf
System Description: Cooperation in Model Elimination: CPTHEO. CADE (1998)
Jörg Denzinger, Marc Fuchs, Matthias Fuchs
High Performance ATP Systems by Combining Several AI Methods. IJCAI (1) (1997)
Marc Fuchs
Flexible Proof-Replay with Heuristics. EPIA (1997)
Marc Fuchs, Matthias Fuchs
Applying Case-Based Reasoning to Automated Deduction. ICCBR (1997)

Marc Fuchs.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Fuchs