| Publication | Date of Publication | Type |
|---|
The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
| 2022-05-25 | Paper |
From Schütte’s Formal Systems to Modern Automated Deduction
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Connection-based proof construction in linear logic
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
\(\mathsf{ileanTAP}\): an intuitionistic theorem prover
Lecture Notes in Computer Science | 2019-01-15 | Paper |
T-string unification: unifying prefixes in non-classical proof methods
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
RACCOON: A Connection Reasoner for the Description Logic ALC
EPiC Series in Computing | 2019-01-10 | Paper |
Non-clausal connection calculi for non-classical logics
| 2018-02-02 | Paper |
nanoCoP: a non-clausal connection prover
Automated Reasoning | 2016-09-05 | Paper |
A connection calculus for the description logic \( {\mathcal{ALC}} \)
Advances in Artificial Intelligence | 2016-06-22 | Paper |
Implementing and evaluating provers for first-order modal logics
| 2015-12-11 | Paper |
MleanCoP: a connection prover for first-order modal logic
Automated Reasoning | 2014-09-26 | Paper |
The QMLTP problem library for first-order modal logics
Automated Reasoning | 2012-09-05 | Paper |
A Non-clausal Connection Calculus
Lecture Notes in Computer Science | 2011-07-01 | Paper |
Specifying and verifying organizational security properties in first-order logic
Verification, Induction, Termination Analysis | 2010-11-22 | Paper |
Restricting backtracking in connection calculi
AI Communications | 2010-06-17 | Paper |
leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
Automated Reasoning | 2008-11-27 | Paper |
The ILTP problem library for intuitionistic logic
Journal of Automated Reasoning | 2007-05-04 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
IeanCOP: lean connection-based theorem proving
Journal of Symbolic Computation | 2003-08-25 | Paper |
scientific article; zbMATH DE number 1748580 (Why is no real title available?)
| 2002-06-03 | Paper |
scientific article; zbMATH DE number 1552526 (Why is no real title available?)
| 2001-07-29 | Paper |
scientific article; zbMATH DE number 1543301 (Why is no real title available?)
| 2001-02-27 | Paper |
scientific article; zbMATH DE number 1341478 (Why is no real title available?)
| 2000-03-13 | Paper |
