[Back]


Publications in Scientific Journals:

C. Redl:
"The DLVHEX System for Knowledge Representatin: Recent Advances (System Description)";
Theory and Practice of Logic Programming, 16 (2016), 5-6; 866 - 883.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/S1471068416000211



Related Projects:
Project Head Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions


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