Publications in Scientific Journals:

N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello:
"The DLV System for knowledge representation and reasoning";
ACM Transactions on Computational Logic, Vol. 7 (2006), 3; 499 - 562.

Online library catalogue of the TU Vienna:

Related Projects:
Project Head Thomas Eiter:

Created from the Publication Database of the Vienna University of Technology.