[Back]


Scientific Reports:
N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, C. Koch, C. Mateis, S. Perri, F. Scarcello:
"The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14)";
Report for Institut f. Informationssysteme, TU Wien; 2002.

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