Gernot Stenz

Publication Activity (10 Years)

Years Active: 1999-2009
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Stephan Leutenmayr, Gernot Stenz
Passive User Integration in Social Networking Services. GI Jahrestagung (2009)
Reinhold Letz, Gernot Stenz
The Disconnection Tableau Calculus. J. Autom. Reason. 38 (1-3) (2007)
Philipp Correll, Gernot Stenz
Proof Output and Transformation for Disconnection Tableaux. TABLEAUX (2005)
Gernot Stenz
Unit Propagation in a Tableau Framework. TABLEAUX (2005)
Reinhold Letz, Gernot Stenz
Generalised Handling of Variables in Disconnection Tableaux. IJCAR (2004)
Reinhold Letz, Gernot Stenz
Universal Variables in Disconnection Tableaux. TABLEAUX (2003)
Gernot Stenz
DCTP 1.2 - System Abstract. TABLEAUX (2002)
Reinhold Letz, Gernot Stenz
Integration of Equality Reasoning into the Disconnection Calculus. TABLEAUX (2002)
Reinhold Letz, Gernot Stenz
DCTP - A Disconnection Calculus Theorem Prover - System Abstract. IJCAR (2001)
Reinhold Letz, Gernot Stenz
Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux. LPAR (2001)
Gernot Stenz, Andreas Wolf
Scheduling Methods for Parallel Automated Theorem Proving. Canadian Conference on AI (2000)
Gernot Stenz, Andreas Wolf
Theorem Prover. TABLEAUX (2000)
Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. J. Univers. Comput. Sci. 5 (3) (1999)
Gernot Stenz, Andreas Wolf
Strategy Selection by Genetic Programming. FLAIRS Conference (1999)
Gernot Stenz, Andreas Wolf
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover. Australian Joint Conference on Artificial Intelligence (1999)

Gernot Stenz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Gernot Stenz