Marc Fuchs

Diana Ghinea

Zahra Parsaeian

CoRR, February, 2025

Brief Announcement: Towards Round-Optimal Approximate Agreement on Trees.

[BibT_eX]

[DOI]

Diana Ghinea

Zahra Parsaeian

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2025

2024

Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms.

[BibT_eX]

[DOI]

CoRR, 2024

Brief Announcement: Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024

2023

List Defective Colorings: Distributed Algorithms and Applications.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Towards Modelling Elaborateness in Argumentative Dialogue Systems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in HCI, 2023

2021

Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings.

[BibT_eX]

[DOI]

Salwa Faour

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.

[BibT_eX]

[DOI]

Ortrun Ibens

Int. J. Artif. Intell. Tools, 2001

2000

Controlled Use of Clausal Lemmas in Connection Tableau Calculi.

[BibT_eX]

[DOI]

J. Symb. Comput., 2000

Relevancy-based use of lemmas in connection tableau calculi.

[BibT_eX]

[DOI]

PhD thesis, 2000

1999

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

[BibT_eX]

[DOI]

Dirk Fuchs

J. Artif. Intell. Res., 1999

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

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Generating Lemmas for Tableau-based Proof Search Using Genetic Programming.

[BibT_eX]

Dirk Fuchs

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999

Abstraction-Based Relevancy Testing for Model Elimination.

[BibT_eX]

[DOI]

Dirk Fuchs

Proceedings of the Automated Deduction, 1999

1998

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

[BibT_eX]

[DOI]

AI Commun., 1998

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

[BibT_eX]

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

System Description: Cooperation in Model Elimination: CPTHEO.

[BibT_eX]

[DOI]

Andreas Wolf

Proceedings of the Automated Deduction, 1998

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

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1998

1997

High Performance ATP Systems by Combining Several AI Methods.

[BibT_eX]

[DOI]

Jörg Denzinger

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

Applying Case-Based Reasoning to Automated Deduction.

[BibT_eX]

[DOI]

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

Flexible Proof-Replay with Heuristics.

[BibT_eX]

[DOI]