[Back]


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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586882



Related Projects:
Project Head Thomas Eiter:
Infomix


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