| |
| 2002 | ||
|---|---|---|
| 8 | Ortrun Ibens: Connection Tableau Calculi with Disjunctive Constraints. Studia Logica 70(2): 241-270 (2002) | |
| 2001 | ||
| 7 | Ortrun Ibens, Marc Fuchs: An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints. International Journal on Artificial Intelligence Tools 10(1-2): 181-198 (2001) | |
| 2000 | ||
| 6 | Ortrun Ibens: Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. FLAIRS Conference 2000: 13-17 | |
| 5 | Ortrun Ibens: Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints. TABLEAUX 2000: 279-293 | |
| 1997 | ||
| 4 | Ortrun Ibens, Reinhold Letz: Subgoal Alternation in Model Elimination. TABLEAUX 1997: 201-215 | |
| 3 | Ortrun Ibens: The SETHEO System (system description). WLP 1997: 0- | |
| 2 | Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr: SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reasoning 18(2): 237-246 (1997) | |
| 1994 | ||
| 1 | Reiner Hähnle, Ortrun Ibens: Improving Temporal Logic Tableaux Using Integer Constraints. ICTL 1994: 535-539 | |
| 1 | Marc Fuchs | [7] |
| 2 | Christoph Goller | [2] |
| 3 | Reiner Hähnle | [1] |
| 4 | Reinhold Letz | [2] [4] |
| 5 | Klaus Mayr | [2] |
| 6 | Max Moser | [2] |
| 7 | Johann Schumann | [2] |
| 8 | Joachim Steinbach | [2] |