Jens Otten

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 16

Top Venues

University of Potsdam (PHD)

Education History

University of Potsdam

PHD

Publications

Fredrik Rømming, Jens Otten, Sean B. Holden
Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi. AReCCa@TABLEAUX (2023)
Jens Otten, Sean B. Holden
A Syntax for Connection Proofs. AReCCa@TABLEAUX (2023)
Jens Otten
20 Years of leanCoP - An Overview of the Provers. AReCCa@TABLEAUX (2023)
Christoph Rindfleisch, Jens Otten, Bernhard Wicht
A Highly-Integrated 20-300V 0.5W Active-Clamp Flyback DCDC Converter with 76.7% Peak Efficiency. CICC (2022)
Jens Otten
Advancing Automated Theorem Proving for the Modal Logics D and S5. ARQNL@IJCAR (2022)
Jens Otten
The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. TABLEAUX (2021)
Benjamin E. Oliver, Jens Otten
Equality Preprocessing in Connection Calculi. PAAR+SC²@IJCAR (2020)
Eunice Palmeira da Silva, Fred Freitas, Jens Otten
Converting ALC Connection Proofs into ALC Sequents. PxTP (2019)
Jens Otten
Proof Search Optimizations for Non-Clausal Connection Calculi. PAAR@FLoC (2018)
Jens Otten
The Pocket Reasoner -- Automatic Reasoning on Small Devices. NIK (2018)
Dimas Melo Filho, Fred Freitas, Jens Otten
RACCOON: A Connection Reasoner for the Description Logic ALC. LPAR (2017)
Jens Otten
Non-clausal Connection Calculi for Non-classical Logics. TABLEAUX (2017)
Jens Otten
nanoCoP: Natural Non-clausal Theorem Proving. IJCAI (2017)
Fred Freitas, Jens Otten
. Canadian Conference on AI (2016)
Jens Otten
nanoCoP: A Non-clausal Connection Prover. IJCAR (2016)
Jens Otten
Non-clausal Connection-based Theorem Proving in Intuitionistic First-Order Logic. ARQNL@IJCAR (2016)
Jens Otten
MleanCoP: A Connection Prover for First-Order Modal Logic. IJCAR (2014)
Jens Otten, Thomas Raths
Problem Libraries for Non-Classical Logics. ARQNL@IJCAR (2014)
Jens Otten
Konnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen Logiken. Ausgezeichnete Informatikdissertationen (2013)
Christoph Benzmüller, Jens Otten, Thomas Raths
Implementing Different Proof Calculi for First-order Modal Logics. PAAR@IJCAR (2012)
Christoph Benzmüller, Jens Otten, Thomas Raths
Implementing and Evaluating Provers for First-order Modal Logics. ECAI (2012)
Jens Otten
Implementing Connection Calculi for First-order Modal Logics. IWIL@LPAR (2012)
Thomas Raths, Jens Otten
The QMLTP Problem Library for First-Order Modal Logics. IJCAR (2012)
Thomas Raths, Jens Otten
Implementing and Evaluating Theorem Provers for First-Order Modal Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Jens Otten
A Non-clausal Connection Calculus. TABLEAUX (2011)
Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel
Specifying and Verifying Organizational Security Properties in First-Order Logic. Verification, Induction, Termination Analysis (2010)
Jens Otten
Restricting backtracking in connection calculi. AI Commun. 23 (2-3) (2010)
Thomas Raths, Jens Otten
randoCoP: Randomizing the Proof Search Order in the Connection Calculus. PAAR/ESHOL (2008)
Jens Otten
leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions). IJCAR (2008)
Thomas Raths, Jens Otten, Christoph Kreitz
The ILTP Problem Library for Intuitionistic Logic. J. Autom. Reason. 38 (1-3) (2007)
Thomas Raths, Jens Otten, Christoph Kreitz
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. TABLEAUX (2005)
Jens Otten
Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic. TABLEAUX (2005)
Jens Otten, Wolfgang Bibel
leanCoP: lean connection-based theorem proving. J. Symb. Comput. 36 (1-2) (2003)
Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
Matrix-based Constructive Theorem Proving. Intellectics and Computational Logic (2000)
Heiko Mantel, Jens Otten
linTAP: A Tableau Prover for Linear Logic. TABLEAUX (1999)
Christoph Kreitz, Jens Otten
Connection-based Theorem Proving in Classical and Non-classical Logics. J. Univers. Comput. Sci. 5 (3) (1999)
Jens Otten
ileanTAP: An Intuitionistic Theorem Prover. TABLEAUX (1997)
Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt
Connection-Based Proof Construction in Linear Logic. CADE (1997)
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
A Multi-level Approach to Program Synthesis. LOPSTR (1997)
Jens Otten, Christoph Kreitz
T-String Unification: Unifying Prefixes in Non-classical Proof Methods. TABLEAUX (1996)
Jens Otten, Christoph Kreitz
A Uniform Proof Procedure for Classical and Non-Classical Logics. KI (1996)
Christoph Kreitz, Jens Otten, Stephan Schmitt
Guiding Program Development Systems by a Connection Based Proof Strategy. LOPSTR (1995)
Jens Otten
A Connection Based Proof Method for Intuitionistic Logic. TABLEAUX (1995)

Jens Otten.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jens Otten