Volker Klotz

According to our database, Volker Klotz authored at least 6 papers between 2000 and 2006.

Collaborative distances:

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

2006

The first 10 years of the ECCC digital library.

Christoph Meinel, Volker Klotz

Commun. ACM, 2006

2004

10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung

Volker Klotz, Christoph Meinel

Universität Trier, Mathematik/Informatik, Forschungsbericht, 2004

Embedding Memoization to the Semantic Tree Search for Deciding QBFs.

Mohammad Ghasemzadeh, Volker Klotz, Christoph Meinel

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

2002

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

Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran

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

2001

Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.

Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran

Proceedings of the Answer Set Programming, 2001

2000

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

Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran

Proceedings of the WLP 2000, 2000