Volker Klotz

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Christoph Meinel, Volker Klotz
The first 10 years of the ECCC digital library. Commun. ACM 49 (1) (2006)
Mohammad Ghasemzadeh, Volker Klotz, Christoph Meinel
Embedding Memoization to the Semantic Tree Search for Deciding QBFs. Australian Conference on Artificial Intelligence (2004)
Volker Klotz, Christoph Meinel
10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung Universität Trier, Mathematik/Informatik, Forschungsbericht (2004)
Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. TABLEAUX (2002)
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. Answer Set Programming (2001)
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. WLP (2000)