Ortrun Ibens

Publication Activity (10 Years)

Years Active: 1994-2002
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Ortrun Ibens
Connection Tableau Calculi with Disjunctive Constraints. Stud Logica 70 (2) (2002)
Ortrun Ibens, Marc Fuchs
An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints. Int. J. Artif. Intell. Tools 10 (1-2) (2001)
Ortrun Ibens
Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints. TABLEAUX (2000)
Ortrun Ibens
Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. FLAIRS Conference (2000)
Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr
SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reason. 18 (2) (1997)
Ortrun Ibens
The SETHEO System (system description). WLP (1997)
Ortrun Ibens, Reinhold Letz
Subgoal Alternation in Model Elimination. TABLEAUX (1997)
Reiner Hähnle, Ortrun Ibens
Improving Temporal Logic Tableaux Using Integer Constraints. ICTL (1994)