Scientific Reports:
T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Conflict-driven ASP Solving with External Sources";
Report for CoRR - Computing Research Repository;
Report No. arXiv:1210.1649v1,
2012;
19 pages.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/S1471068412000233
Electronic version of the publication:
http://arxiv.org/pdf/1210.1649v1.pdf
Related Projects:
Project Head Thomas Eiter:
Evaluierung von ASP Programming mit Externen Zugriffen
Project Head Thomas Eiter:
Modulare HEX-Programme
Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen
Project Head Michael Fink:
Inconsistency Management for Knowledge-Integration Systems
Created from the Publication Database of the Vienna University of Technology.