Gernot Stenz

According to our database, Gernot Stenz authored at least 17 papers between 1999 and 2009.

Collaborative distances:

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

2009

Passive User Integration in Social Networking Services.

Stephan Leutenmayr, Gernot Stenz

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2007

The Disconnection Tableau Calculus.

Reinhold Letz, Gernot Stenz

J. Autom. Reason., 2007

2005

Unit Propagation in a Tableau Framework.

Gernot Stenz

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

Proof Output and Transformation for Disconnection Tableaux.

Philipp Correll, Gernot Stenz

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

2004

Generalised Handling of Variables in Disconnection Tableaux.

Reinhold Letz, Gernot Stenz

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Universal Variables in Disconnection Tableaux.

Reinhold Letz, Gernot Stenz

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

2002

The disconnection calculus.

Gernot Stenz

PhD thesis, 2002

DCTP 1.2 - System Abstract.

Gernot Stenz

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

Integration of Equality Reasoning into the Disconnection Calculus.

Reinhold Letz, Gernot Stenz

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

2001

Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux.

Reinhold Letz, Gernot Stenz

Proceedings of the Logic for Programming, 2001

DCTP - A Disconnection Calculus Theorem Prover - System Abstract.

Reinhold Letz, Gernot Stenz

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Model Elimination and Connection Tableau Procedures.

Reinhold Letz, Gernot Stenz

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

E-SETHEO: An Automated³ Theorem Prover.

Gernot Stenz, Andreas Wolf

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

Scheduling Methods for Parallel Automated Theorem Proving.

Gernot Stenz, Andreas Wolf

Proceedings of the Advances in Artificial Intelligence, 2000

1999

Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.

Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert

J. Univers. Comput. Sci., 1999

Strategy Selection by Genetic Programming.

Gernot Stenz, Andreas Wolf

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.

Gernot Stenz, Andreas Wolf

Proceedings of the Advanced Topics in Artificial Intelligence, 1999