We stand with Ukraine  

Marc Fuchs

Affiliations:
  • Technical University of Munich, Department of Computer Science, Munich, Germany (PhD 2000)


According to our database1, Marc Fuchs authored at least 13 papers between 1997 and 2000.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2000
Controlled Use of Clausal Lemmas in Connection Tableau Calculi.
[BibTeX]
[DOI]
Marc Fuchs
J. Symb. Comput., 2000

Relevancy-based use of lemmas in connection tableau calculi.
[BibTeX]
[DOI]
Marc Fuchs
PhD thesis, 2000

1999
Cooperation between Top-Down and Bottom-Up Theorem Provers.
[BibTeX]
[DOI]
Dirk Fuchs
,
Marc Fuchs
J. Artif. Intell. Res., 1999

Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference.
[BibTeX]
[DOI]
Marc Fuchs
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Generating Lemmas for Tableau-based Proof Search Using Genetic Programming.
[BibTeX]
Marc Fuchs
,
Dirk Fuchs
,
Matthias Fuchs
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999

Abstraction-Based Relevancy Testing for Model Elimination.
[BibTeX]
[DOI]
Marc Fuchs
,
Dirk Fuchs
Proceedings of the Automated Deduction, 1999

1998
Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving.
[BibTeX]
[DOI]
Marc Fuchs
,
Matthias Fuchs
AI Commun., 1998

Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration.
[BibTeX]
Marc Fuchs
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

System Description: Cooperation in Model Elimination: CPTHEO.
[BibTeX]
[DOI]
Marc Fuchs
,
Andreas Wolf
Proceedings of the Automated Deduction, 1998

System Description: Similarity-Based Lemma Generation for Model Elimination.
[BibTeX]
[DOI]
Marc Fuchs
Proceedings of the Automated Deduction, 1998

1997
High Performance ATP Systems by Combining Several AI Methods.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Marc Fuchs
,
Matthias Fuchs
Proceedings of the Case-Based Reasoning Research and Development, 1997

Flexible Proof-Replay with Heuristics.
[BibTeX]
[DOI]
Marc Fuchs
Proceedings of the Progress in Artificial Intelligence, 1997


  Loading...