Author:Jens Otten

Publications
ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics Christoph Benzmüller and Jens Otten (editors) EPiC Series in Computing, volume 33
RACCOON: A Connection Reasoner for the Description Logic ALC Dimas Melo Filho, Fred Freitas and Jens Otten In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Problem Libraries for Non-Classical Logics Jens Otten and Thomas Raths In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Implementing Connection Calculi for First-order Modal Logics Jens Otten In:IWIL 2012. The 9th International Workshop on the Implementation of Logics
Implementing Different Proof Calculi for First-order Modal Logics Christoph Benzmüller, Jens Otten and Thomas Raths In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi Jens Otten and Geoff Sutcliffe In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning

Keyphrases

ALC, automated reasoning, automated reasoning in non-classical logics, automated theorem proving², connection calculus², connection method, Description Logic, evaluation, first-order modal logic, implementation, implementation of provers, intuitionistic logic, modal logic², non-classical logics, problem libraries, Reasoner, tableau calculus, TPTP language.