dblp.uni-trier.dewww.uni-trier.de

Volker Klotz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Uwe Egly [1] [2]
2Thomas Eiter [1] [2] [3]
3Mohammad GhasemZadeh [5]
4Christoph Meinel [4] [5] [6]
5Hans Tompits [1] [2] [3]
6Stefan Woltran [1] [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)