Jens Otten

Universidade de Pernambuco — Brazil

Computer Science · Physical Sciences

17h-index783citations52works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(39), Logic, Reasoning, and Knowledge(39), Formal Methods in Verification(38), Semantic Web and Ontologies(7), Advanced Database Systems and Queries(4)

Publications52 total

Implementing the First-Order Logic of Here and There
Electronic Proceedings in Theoretical Computer Science·2026Open Access
Implementing the First-Order Logic of Here and There
arXiv (Cornell University)·2026Open Access
OntoCommons D2.2 - TLOMLO Landscape Analysis Report
Zenodo (CERN European Organization for Nuclear Research)·2022Open Access
The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics
Lecture notes in computer science·2021· 3 cited
Connection-Based Theorem Proving in Classical and Non-Classical Logics
TUbilio (Technical University of Darmstadt)·2020· 45 citedOpen Access
Equality Preprocessing in Connection Calculi.
2020· 4 citedOpen Access
Supporter van Elkaar: supported by evaluation?
2020
From Schütte’s Formal Systems to Modern Automated Deduction
2020· 10 cited
Converting ALC Connection Proofs into ALC Sequents
Electronic Proceedings in Theoretical Computer Science·2019Open Access
Implementing Different Proof Calculi for First-order Modal Logics
EPiC series in computing·2018Open Access
RACCOON: A Connection Reasoner for the Description Logic ALC
EPiC series in computing·2018· 4 citedOpen Access
Problem Libraries for Non-Classical Logics
EPiC series in computing·2018Open Access
Implementing Connection Calculi for First-order Modal Logics
EPiC series in computing·2018· 14 citedOpen Access
Using the TPTP Language for Representing Derivations in Tableau andConnection Calculi
EPiC series in computing·2018· 3 citedOpen Access
Proof Search Optimizations for Non-Clausal Connection Calculi.
Duo Research Archive (University of Oslo)·2018· 2 citedOpen Access
The Pocket Reasoner -- Automatic Reasoning on Small Devices.
2018· 1 cited
ARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics
CEUR Workshop Proceedings·2018· 2 cited
nanoCoP: Natural Non-clausal Theorem Proving
2017· 6 citedOpen Access
Non-clausal Connection Calculi for Non-classical Logics
Lecture notes in computer science·2017· 9 cited
Advances in Connection-Based Automated Theorem Proving
NASA monographs in systems and software engineering·2017· 14 cited
page 1 of 3Next →

Frequent Co-authors

Christoph Kreitz(13), Thomas Raths(8), Wolfgang Bibel(6), Fred Freitas(4), Christoph Benzmüller(3), Heiko Mantel(3), Stephen M. Schmitt(2), Stephan Schmitt(2), Daniel S. Korn(2), F. Kurucz(2), G. Stolpmann(2), Brigitte Pientka(1), Ismet Aktaş(1), Florian Schmidt(1), Klaus Wehrle(1), Christoph Brandt(1), Dimas Melo Filho(1), Benjamin Edward Oliver(1), Geoff Sutcliffe(1), Eunice Palmeira(1)