Concepedia

Jens Otten

JO

6

Publications

269

Citations

6

H-Index

2003

Active since

Affiliations

University of Potsdam(Current)

Technical University of Darmstadt

Jens Otten is an author at University of Potsdam specializing in formal methods, automated reasoning, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningVerificationFormal VerificationProof ComplexityLogic ProgrammingSystems EngineeringComputational Complexity

Publications per year

2003–2020

6

Publications

6

leanCoP: lean connection-based theorem proving

Jens Otten, Wolfgang Bibel · Journal of Symbolic Computation · 2003 · 86 citations

Engineering, Automated Reasoning, Proof Complexity +7

The ILTP Problem Library for Intuitionistic Logic

Thomas Raths, Jens Otten, Christoph Kreitz · Journal of Automated Reasoning · 2007 · 61 citations

Engineering, Automated Reasoning, Iltp Problem Library +5

Restricting backtracking in connection calculi

Jens Otten · AI Communications · 2010 · 53 citations

Goal-oriented Proof Search, Engineering, Automated Reasoning +12

Connection-Based Theorem Proving in Classical and Non-Classical Logics

Christoph Kreitz, Jens Otten · TUbilio (Technical University of Darmstadt) · 2020 · 45 citations · Full text

Implementing Connection Calculi for First-order Modal Logics

Jens Otten · EPiC series in computing · 2018 · 14 citations · Full text

Engineering, Automated Reasoning, Propositional Logic +13

Rows per page

1–5 of 6