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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jens Otten, Wolfgang Bibel, editors, 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. Volume 3613 of CEUR Workshop Proceedings, CEUR-WS.org, 2024. [doi]

Conference: arecca2024

Abstract is missing.

Preface1-3 [doi]

20 Years of leanCoP - An Overview of the ProversJens Otten. 4-22 [doi]

A Curiously Effective Backtracking Strategy for Connection TableauxMichael Färber 0002. 23-40 [doi]

nanoCoP-Omega: A Non-Clausal Connection Prover with ArithmeticLeo Repp, Mario Frank 0002. 41-53 [doi]

Embedding the Connection Calculus in Satisfiability Modulo TheoriesClemens Eisenhofer, Laura Kovács, Michael Rawson 0001. 54-63 [doi]

Structure-Generating First-Order Theorem ProvingChristoph Wernhard. 64-83 [doi]

A Syntax for Connection ProofsJens Otten, Sean B. Holden. 84-94 [doi]

Connect++: A New Automated Theorem Prover Based on the Connection CalculusSean B. Holden. 95-106 [doi]

Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection CalculiFredrik Rømming, Jens Otten, Sean B. Holden. 107-118 [doi]

Comparison of Proof MethodsWolfgang Bibel. 119-132 [doi]

runs on WebDSL