Thomas Raths

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Problem Libraries for Non-Classical Logics.
Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

2013
HOL Based First-Order Modal Logic Provers.
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
CoRR, 2012

Implementing and Evaluating Provers for First-order Modal Logics.
Proceedings of the ECAI 2012, 2012

The QMLTP Problem Library for First-Order Modal Logics.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

Implementing Different Proof Calculi for First-order Modal Logics.
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011
Implementing and Evaluating Theorem Provers for First-Order Modal Logics.
Proceedings of the TABLEAUX 2011, 2011

2008
randoCoP: Randomizing the Proof Search Order in the Connection Calculus.
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2007
The ILTP Problem Library for Intuitionistic Logic.
J. Autom. Reason., 2007

2005
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005


  Loading...