|
Search the dblp DataBase
Volker Klotz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. [Citation Graph (0, 0)][DBLP] Answer Set Programming, 2001, pp:- [Conf]
- Mohammad GhasemZadeh, Volker Klotz, Christoph Meinel
Embedding Memoization to the Semantic Tree Search for Deciding QBFs. [Citation Graph (0, 0)][DBLP] Australian Conference on Artificial Intelligence, 2004, pp:681-693 [Conf]
- Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2002, pp:100-114 [Conf]
- Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. [Citation Graph (0, 0)][DBLP] 15. WLP, 2000, pp:113-122 [Conf]
- Christoph Meinel, Volker Klotz
The first 10 years of the ECCC digital library. [Citation Graph (0, 0)][DBLP] Commun. ACM, 2006, v:49, n:1, pp:131-134 [Journal]
Search in 0.001secs, Finished in 0.001secs
|