Thomas Raths

According to our database, Thomas Raths authored at least 10 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Problem Libraries for Non-Classical Logics.

Jens Otten, Thomas Raths

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

2013

HOL Based First-Order Modal Logic Provers.

Christoph Benzmüller, Thomas Raths

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends

Christoph Benzmueller, Thomas Raths

CoRR, 2012

Implementing and Evaluating Provers for First-order Modal Logics.

Christoph Benzmüller, Jens Otten, Thomas Raths

Proceedings of the ECAI 2012, 2012

The QMLTP Problem Library for First-Order Modal Logics.

Thomas Raths, Jens Otten

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

Implementing Different Proof Calculi for First-order Modal Logics.

Christoph Benzmüller, Jens Otten, Thomas Raths

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011

Implementing and Evaluating Theorem Provers for First-Order Modal Logics.

Thomas Raths, Jens Otten

Proceedings of the TABLEAUX 2011, 2011

2008

randoCoP: Randomizing the Proof Search Order in the Connection Calculus.

Thomas Raths, Jens Otten

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2007

The ILTP Problem Library for Intuitionistic Logic.

Thomas Raths, Jens Otten, Christoph Kreitz

J. Autom. Reason., 2007

2005

The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic.

Thomas Raths, Jens Otten, Christoph Kreitz

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005