HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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 proving2, connection calculus2, connection method, Description Logic, evaluation, first-order modal logic, implementation, implementation of provers, intuitionistic logic, modal logic2, non-classical logics, problem libraries, Reasoner, tableau calculus, TPTP language.

Copyright © 2012-2025 easychair.org. All rights reserved.