#### Filter Results:

- Full text PDF available (12)

#### Publication Year

2005

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (9)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Thomas Raths, Jens Otten, Christoph Kreitz
- Journal of Automated Reasoning
- 2006

The Intuitionistic Logic Theorem Proving (ILTP) library provides a platform for testing and benchmarking automated theorem proving (ATP) systems for intuitionistic propositional and first-order… (More)

- Thomas Raths, Jens Otten, Christoph Kreitz
- TABLEAUX
- 2005

The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collection of benchmark… (More)

- Thomas Raths, Jens Otten
- IJCAR
- 2012

The Quantified Modal Logic Theorem Proving (QMLTP) library provides a platform for testing and evaluating automated theorem proving (ATP) systems for first-order modal logics. The main purpose of the… (More)

- Christoph Benzmüller, Jens Otten, Thomas Raths
- ECAI
- 2012

While there is a broad literature on the theory of firstorder modal logics, little is known about practical reasoning systems for them. This paper presents several implementations of fully automated… (More)

- Christoph Benzmüller, Thomas Raths
- LPAR
- 2013

First-order modal logics (FMLs) can be modeled as natural fragments of classical higher-order logic (HOL). The FMLtoHOL tool exploits this fact and it enables the application of off-the-shelf HOL… (More)

- Thomas Raths, Jens Otten
- 2011

The Quantified Modal Logic Theorem Proving (QMLTP) library provides a platform for testing and evaluating automated theorem proving (ATP) systems for first-order modal logics. The main purpose of the… (More)

- Thomas Raths, Jens Otten
- 2011

First-order modal logics have many applications, e.g., in planning, natural language processing, program verification, querying knowledge bases, and modeling communication. This paper gives an… (More)

- Thomas Raths, Jens Otten
- 2009

First-order modal logics have many applications, e.g. in planning and program verification. Whereas comprehensive and standardized problem libraries exist for, e.g., classical (TPTP library) and… (More)

- Thomas Raths, Jens Otten
- PAAR/ESHOL
- 2008

We present randoCoP, a theorem prover for classical firstorder logic, which integrates randomized search techniques into the connection prover leanCoP 2.0. By randomly reordering the axioms of the… (More)

- Christoph Benzmüller, Jens Otten, Thomas Raths
- PAAR@IJCAR
- 2012

Modal logics extend classical logic with the modalities ”it is necessarily true that” and ”it is possibly true that” represented by the unary operators 2 and 3, respectively. First-order modal logics… (More)