Gernot Stenz

17 papers A 2B 7Misc 2Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2009 — conf
Passive User Integration in Social Networking Services.
GI Jahrestagung
Stephan Leutenmayr, Gernot Stenz
2007 J jnl
The Disconnection Tableau Calculus.
J. Autom. Reason.
Reinhold Letz, Gernot Stenz
2005 B conf
Proof Output and Transformation for Disconnection Tableaux.
TABLEAUX
Philipp Correll, Gernot Stenz
2005 B conf
Unit Propagation in a Tableau Framework.
TABLEAUX
Gernot Stenz
2004 A conf
Generalised Handling of Variables in Disconnection Tableaux.
IJCAR
Reinhold Letz, Gernot Stenz
2003 B conf
Universal Variables in Disconnection Tableaux.
TABLEAUX
Reinhold Letz, Gernot Stenz
2002 B conf
DCTP 1.2 - System Abstract.
TABLEAUX
Gernot Stenz
2002 B conf
Integration of Equality Reasoning into the Disconnection Calculus.
TABLEAUX
Reinhold Letz, Gernot Stenz
2002 — —
The disconnection calculus.
Gernot Stenz
2001 B conf
Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux.
LPAR
Reinhold Letz, Gernot Stenz
2001 A conf
DCTP - A Disconnection Calculus Theorem Prover - System Abstract.
IJCAR
Reinhold Letz, Gernot Stenz
2001 — ch.
Model Elimination and Connection Tableau Procedures.
Handbook of Automated Reasoning
Reinhold Letz, Gernot Stenz
2000 B conf
E-SETHEO: An Automated
TABLEAUX
Gernot Stenz, Andreas Wolf
2000 Misc conf
Scheduling Methods for Parallel Automated Theorem Proving.
AI
Gernot Stenz, Andreas Wolf
1999 — conf
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.
Australian Joint Conference on Artificial Intelligence
Gernot Stenz, Andreas Wolf
1999 J jnl
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.
J. Univers. Comput. Sci.
Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert
1999 Misc conf
Strategy Selection by Genetic Programming.
FLAIRS
Gernot Stenz, Andreas Wolf