Ortrun Ibens

According to our database, Ortrun Ibens authored at least 9 papers between 1994 and 2002.

Collaborative distances:

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

2002

Connection Tableau Calculi with Disjunctive Constraints.

Ortrun Ibens

Stud Logica, 2002

2001

An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints.

Ortrun Ibens, Marc Fuchs

Int. J. Artif. Intell. Tools, 2001

2000

Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints.

Ortrun Ibens

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

Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints.

Ortrun Ibens

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1999

Connection tableau calculi with disjunctive constraints.

Ortrun Ibens

PhD thesis, 1999

1997

SETHEO and E-SETHEO - The CADE-13 Systems.

Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr

J. Autom. Reason., 1997

The SETHEO System (system description).

Ortrun Ibens

Proceedings of the Twelfth Workshop Logic Programming, 1997

Subgoal Alternation in Model Elimination.

Ortrun Ibens, Reinhold Letz

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

1994

Improving Temporal Logic Tableaux Using Integer Constraints.

Reiner Hähnle, Ortrun Ibens

Proceedings of the Temporal Logic, First International Conference, 1994