Wissenschaftliche Berichte:
T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Conflict-driven ASP Solving with External Sources";
Bericht für CoRR - Computing Research Repository;
Berichts-Nr. arXiv:1210.1649v1,
2012;
19 S.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/S1471068412000233
Elektronische Version der Publikation:
http://arxiv.org/pdf/1210.1649v1.pdf
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Evaluierung von ASP Programming mit Externen Zugriffen
Projektleitung Thomas Eiter:
Modulare HEX-Programme
Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen
Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.