2007 |
15 | EE | Reinhold Letz,
Gernot Stenz:
The Disconnection Tableau Calculus.
J. Autom. Reasoning 38(1-3): 79-126 (2007) |
2005 |
14 | EE | Philipp Correll,
Gernot Stenz:
Proof Output and Transformation for Disconnection Tableaux.
TABLEAUX 2005: 312-317 |
13 | EE | Gernot Stenz:
Unit Propagation in a Tableau Framework.
TABLEAUX 2005: 338-342 |
2004 |
12 | EE | Reinhold Letz,
Gernot Stenz:
Generalised Handling of Variables in Disconnection Tableaux.
IJCAR 2004: 289-306 |
2003 |
11 | EE | Reinhold Letz,
Gernot Stenz:
Universal Variables in Disconnection Tableaux.
TABLEAUX 2003: 117-133 |
2002 |
10 | EE | Reinhold Letz,
Gernot Stenz:
Integration of Equality Reasoning into the Disconnection Calculus.
TABLEAUX 2002: 176-190 |
9 | EE | Gernot Stenz:
DCTP 1.2 - System Abstract.
TABLEAUX 2002: 335-340 |
2001 |
8 | EE | Reinhold Letz,
Gernot Stenz:
DCTP - A Disconnection Calculus Theorem Prover - System Abstract.
IJCAR 2001: 381-385 |
7 | EE | Reinhold Letz,
Gernot Stenz:
Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux.
LPAR 2001: 142-156 |
6 | | Reinhold Letz,
Gernot Stenz:
Model Elimination and Connection Tableau Procedures.
Handbook of Automated Reasoning 2001: 2015-2114 |
2000 |
5 | EE | Gernot Stenz,
Andreas Wolf:
Scheduling Methods for Parallel Automated Theorem Proving.
Canadian Conference on AI 2000: 254-266 |
4 | | Gernot Stenz,
Andreas Wolf:
E-SETHEO: An Automated3 Theorem Prover.
TABLEAUX 2000: 436-440 |
1999 |
3 | | Gernot Stenz,
Andreas Wolf:
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.
Australian Joint Conference on Artificial Intelligence 1999: 231-243 |
2 | | Gernot Stenz,
Andreas Wolf:
Strategy Selection by Genetic Programming.
FLAIRS Conference 1999: 346-350 |
1 | EE | Gernot Stenz,
Wolfgang Ahrendt,
Bernhard Beckert:
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.
J. UCS 5(3): 113-134 (1999) |