AReCCa@TABLEAUX

Keyphrases

Publications

volume 3613, 2024

Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), Prague, Czech Republic, September 18, 2023. AReCCa@TABLEAUX 3613 (2024)

2023

Preface. AReCCa@TABLEAUX (2023)
Leo Repp, Mario Frank
nanoCoP-Omega: A Non-Clausal Connection Prover with Arithmetic. AReCCa@TABLEAUX (2023)
Sean B. Holden
Connect++: A New Automated Theorem Prover Based on the Connection Calculus. AReCCa@TABLEAUX (2023)
Jens Otten, Sean B. Holden
A Syntax for Connection Proofs. AReCCa@TABLEAUX (2023)
Wolfgang Bibel
Comparison of Proof Methods. AReCCa@TABLEAUX (2023)
Clemens Eisenhofer, Laura Kovács, Michael Rawson
Embedding the Connection Calculus in Satisfiability Modulo Theories. AReCCa@TABLEAUX (2023)
Christoph Wernhard
Structure-Generating First-Order Theorem Proving. AReCCa@TABLEAUX (2023)
Jens Otten
20 Years of leanCoP - An Overview of the Provers. AReCCa@TABLEAUX (2023)
Fredrik Rømming, Jens Otten, Sean B. Holden
Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi. AReCCa@TABLEAUX (2023)
Michael Färber
A Curiously Effective Backtracking Strategy for Connection Tableaux. AReCCa@TABLEAUX (2023)