Thomas Raths

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Decision Procedures

Top Venues

Publications

Jens Otten, Thomas Raths
Problem Libraries for Non-Classical Logics. ARQNL@IJCAR (2014)
Christoph Benzmüller, Thomas Raths
HOL Based First-Order Modal Logic Provers. LPAR (2013)
Christoph Benzmueller, Thomas Raths
FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends CoRR (2012)
Christoph Benzmüller, Jens Otten, Thomas Raths
Implementing Different Proof Calculi for First-order Modal Logics. PAAR@IJCAR (2012)
Christoph Benzmüller, Jens Otten, Thomas Raths
Implementing and Evaluating Provers for First-order Modal Logics. ECAI (2012)
Thomas Raths, Jens Otten
The QMLTP Problem Library for First-Order Modal Logics. IJCAR (2012)
Thomas Raths, Jens Otten
Implementing and Evaluating Theorem Provers for First-Order Modal Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Thomas Raths, Jens Otten
randoCoP: Randomizing the Proof Search Order in the Connection Calculus. PAAR/ESHOL (2008)
Thomas Raths, Jens Otten, Christoph Kreitz
The ILTP Problem Library for Intuitionistic Logic. J. Autom. Reason. 38 (1-3) (2007)
Thomas Raths, Jens Otten, Christoph Kreitz
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. TABLEAUX (2005)