Publications of Gernot Stenz

Refereed Publications

• p-SETHEO: Strategy Parallel Automated Theorem Proving.
  Gernot Stenz, Andreas Wolf.
  Conference on High Performance Computing on Hewlett-Packard Systems (HiPer-98), Zürich, Switzerland, 1998.
  BibTeX. Abstract. PostScript (compressed 85 kB).
• Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.
  Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert.
  Journal of Universal Computer Science, Volume 5, Issue 3, 1999.
  BibTeX. Abstract.
• Strategy Selection by Genetic Programming.
  Gernot Stenz, Andreas Wolf.
  12th International Florida Artificial Intelligence Research Society Conference (FLAIRS), Orlando, USA, 1999.
  BibTeX. Abstract.
• Genetic Strategy Selection for Parallel Theorem Proving.
  Gernot Stenz, Andreas Wolf.
  Conference on High Performance Computing on Hewlett-Packard Systems (HiPer-99), Tromsø, Norway, 1999.
  BibTeX. Abstract. PostScript (compressed 107 kB).
• E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.
  Gernot Stenz, Andreas Wolf.
  Proceedings, 12th Australian Joint Conference on Artificial Intelligence (ai'99), Sydney, Australia, 1999.
  BibTeX. Abstract.
• Scheduling Methods for Parallel Automated Theorem Proving.
  Gernot Stenz, Andreas Wolf.
  Proceedings, AI'2000: The Thirteenth Canadian Conference on Artificial Intelligence, Montreal, Canada.
  BibTeX. Abstract.
• E-SETHEO: An Automated³ Theorem Prover - System Abstract.
  Gernot Stenz, Andreas Wolf.
  Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-2000), St. Andrews, Scotland.
  BibTeX. Abstract.
• Strategy Scheduling for High Performance Theorem Proving.
  Gernot Stenz, Andreas Wolf.
  Conference on High Performance Computing on Hewlett-Packard Systems (HiPer-2000), Barcelona, Spain, 2000.
  BibTeX.
• DCTP: A Disconnection Calculus Theorem Prover.
  Reinhold Letz, Gernot Stenz
  Proceedings of the International Joint Conference on Automated Reasoning (IJCAR-2001), Siena, Italy.
  BibTeX.
• Model Elimination and Connection Tableau Procedures.
  Reinhold Letz, Gernot Stenz.
  In Andrei Voronkov, ed., Handbook of Automated Reasoning, Volume II, Elsevier Science Publishers.
  June 2001.
  BibTeX.
• Proof and Model Generation with Disconnection Tableaux.
  Reinhold Letz, Gernot Stenz
  Proceedings of the 8th International Conference on Logic Programming and Automated Reasoning (LPAR-2001), La Habana, Cuba
  BibTeX.
• Integration of Equality Reasoning into the Disconnection Calculus.
  Reinhold Letz, Gernot Stenz
  Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-2002), Copenhagen, Denmark.
  BibTeX.
• DCTP 1.2 - System Abstract.
  Gernot Stenz
  Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-2002), Copenhagen, Denmark.
  BibTeX.
• The Disconnection Calculus.
  Gernot Stenz
  PhD Thesis, Fakult�ät f�ür Informatik, Technische Universit�ät M�ünchen. ISBN 3-8325-0070-7, Logos Verlag, Berlin, 2002.
  BibTeX.
• Universal Variables in Disconnection Tableaux.
  Reinhold Letz and Gernot Stenz
  Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-2003), Rome, Italy.
  BibTeX.
• Generalised Handling of Variables in Disconnection Tableaux.
  Reinhold Letz and Gernot Stenz
  Proceedings of the International Joint Conference on Automated Reasoning (IJCAR-2004), Cork, Ireland.
  BibTeX.
• Proof Output and Transformation for Disconnection Tableaux.
  Philipp Correll and Gernot Stenz
  Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-2005), Koblenz, Germany.
  BibTeX.
• Unit Propagation in a Tableau Framework.
  Gernot Stenz
  Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-2005), Koblenz, Germany.
  BibTeX.

Workshop Publications

• Search-oriented vs. representation-oriented calculi.
  Wolfgang Ahrendt, Bernhard Beckert, Gernot Stenz.
  Proceedings, Workshop PTP '97, Dagstuhl, Germany, 1997.
  BibTeX. PostScript (compressed 16 kB).
• Proof Transformations for Integrating Automated and Interactive Theorem Provers.
  Gernot Stenz.
  Proceedings, Workshop on Integration of Deductive Systems at CADE-15, Lindau, Germany, 1998.
  BibTeX. PostScript (compressed 68 kB).
• Integration of Equality Reasoning into the Disconnection Calculus.
  Reinhold Letz, Gernot Stenz
  Proceedings of the 2nd International Workshop on the Implementation of Logics, La Habana, Cuba.
  BibTeX.

Technical Reports and Miscellaneous

• Daten im Mobile Computing.
  Gernot Stenz.
  In L. Keller, D. Kottmann, Daten in verteilten Systemen, Technical Report 30/95, University of Karlsruhe, 1995.
  BibTeX. PostScript (compressed 393 kB).
• Beweistransformation in Gentzenkalkülen.
  Gernot Stenz.
  Diploma thesis at the University of Karlsruhe, 1997.
  BibTeX. PostScript (compressed 324 kB).
• Übersetzung von -Beweisen in das ILF-Format.
  Gernot Stenz.
  Studienarbeit at the University of Karlsruhe, 1997.
  BibTeX. PostScript (compressed 148 kB).

Maintainer: stenzg@informatik.tu-muenchen.de, updated January 29, 2007