Jens Otten

Available identifiers

List of research outcomes

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	2021-12-03	Paper
Connection-based proof construction in linear logic	2019-10-01	Paper
ileanTAP: An intuitionistic theorem prover	2019-01-15	Paper
T-string unification: Unifying prefixes in non-classical proof methods	2019-01-10	Paper
RACCOON: A Connection Reasoner for the Description Logic ALC	2019-01-10	Paper
Non-clausal connection calculi for non-classical logics	2018-02-02	Paper
nanoCoP: A Non-clausal Connection Prover	2016-09-05	Paper
A Connection Calculus for the Description Logic $$ {\mathcal{ALC}} $$	2016-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q3457212	2015-12-11	Paper
MleanCoP: A Connection Prover for First-Order Modal Logic	2014-09-26	Paper
The QMLTP Problem Library for First-Order Modal Logics	2012-09-05	Paper
A Non-clausal Connection Calculus	2011-07-01	Paper
Specifying and Verifying Organizational Security Properties in First-Order Logic	2010-11-22	Paper
Restricting backtracking in connection calculi	2010-06-17	Paper
leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)	2008-11-27	Paper
The ILTP problem library for intuitionistic logic	2007-05-04	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
IeanCOP: lean connection-based theorem proving	2003-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4530465	2002-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4524786	2001-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4520768	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4263017	2000-03-13	Paper

Research outcomes over time

This page was built for person: Jens Otten