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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jens Otten