Volker Klotz

Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks

Stefan Woltran, Hans Tompits, Thomas Eiter, 2002, TABLEAUX.

The first 10 years of the ECCC digital library

Christoph Meinel, Volker Klotz, 2006, CACM.

Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP

Stefan Woltran, Hans Tompits, Thomas Eiter, 2000, WLP.

10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung

Christoph Meinel, Volker Klotz, C. Meinel, 2004, Universität Trier, Mathematik/Informatik, Forschungsbericht.

Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results

Stefan Woltran, Hans Tompits, Thomas Eiter, 2001, Answer Set Programming.

Embedding Memoization to the Semantic Tree Search for Deciding QBFs

Christoph Meinel, Volker Klotz, Mohammad Ghasemzadeh, 2004, Australian Conference on Artificial Intelligence.

Strengthening Semantic-tree Method in evaluating QBFs

Christoph Meinel, Mohammad Ghasemzadeh, Volker Klotz, 2004 .

Gewisse rationale tschebyscheff-approximationen in der komplexen ebene

Volker Klotz, V. Klotz, 1977 .