EasyChair Publications
Search
Author Information
Author:Jens Otten

Publications

AuthorsTitleVolumePDF
Jens Otten and Geoff SutcliffeUsing the TPTP Language for Representing Derivations in Tableau and Connection CalculiRenate A. Schmidt, Stephan Schulz and Boris Konev (editors). PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 9)
Christoph Benzmüller, Jens Otten and Thomas RathsImplementing Different Proof Calculi for First-order Modal LogicsPascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors). PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 21)
Jens OttenImplementing Connection Calculi for First-order Modal LogicsKonstantin Korovin, Stephan Schulz and Eugenia Ternovska (editors). IWIL 2012. The 9th International Workshop on the Implementation of Logics (EPiC Series in Computing, Volume 22)
Jens Otten and Thomas RathsProblem Libraries for Non-Classical LogicsChristoph Benzmüller and Jens Otten (editors). ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics (EPiC Series in Computing, Volume 33)
Christoph Benzmüller and Jens Otten (editors)ARQNL 2014. Automated Reasoning in Quantified Non-Classical LogicsEPiC Series, Volume 33

Keyphrases

CountKeyphrase
2automated theorem proving, connection calculus, modal logic
1automated reasoning in non classical logics, evaluation, first order modal logic, implementation, implementation of provers, intuitionistic logic, non classical logics, problem libraries, tableau calculus, tptp language