Marc Fuchs

According to our database, Marc Fuchs authored at least 18 papers between 1997 and 2023.

Collaborative distances:

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

2023

List Defective Colorings: Distributed Algorithms and Applications.

Marc Fuchs, Fabian Kuhn

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Brief Announcement: List Defective Colorings: Distributed Algorithms and Applications.

Marc Fuchs, Fabian Kuhn

Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

Towards Modelling Elaborateness in Argumentative Dialogue Systems.

Annalena Aicher, Marc Fuchs, Wolfgang Minker, Stefan Ultes

Proceedings of the Artificial Intelligence in HCI, 2023

2021

Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings.

Salwa Faour, Marc Fuchs, Fabian Kuhn

Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021

2001

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

Ortrun Ibens, Marc Fuchs

Int. J. Artif. Intell. Tools, 2001

2000

Controlled Use of Clausal Lemmas in Connection Tableau Calculi.

Marc Fuchs

J. Symb. Comput., 2000

Relevancy-based use of lemmas in connection tableau calculi.

Marc Fuchs

PhD thesis, 2000

1999

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

Dirk Fuchs, Marc Fuchs

J. Artif. Intell. Res., 1999

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

Marc 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

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

Marc Fuchs, Matthias Fuchs

AI Commun., 1998

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

Marc Fuchs

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

System Description: Cooperation in Model Elimination: CPTHEO.

Marc Fuchs, Andreas Wolf

Proceedings of the Automated Deduction, 1998

System Description: Similarity-Based Lemma Generation for Model Elimination.

Marc Fuchs

Proceedings of the Automated Deduction, 1998

1997

High Performance ATP Systems by Combining Several AI Methods.

Jörg Denzinger, Marc Fuchs, Matthias Fuchs

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Applying Case-Based Reasoning to Automated Deduction.

Marc Fuchs, Matthias Fuchs

Proceedings of the Case-Based Reasoning Research and Development, 1997

Flexible Proof-Replay with Heuristics.

Marc Fuchs

Proceedings of the Progress in Artificial Intelligence, 1997