[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

C. Antic, T. Eiter, M. Fink:
"HEX Semantics via Approximation Fixpoint Theory";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Corunna, Spanien; 15.09.2013 - 19.09.2013; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings", P. Cabalar, T. Son (Hrg.); (2013), ISBN: 978-3-642-40563-1; S. 102 - 115.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-40564-8_11



Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Evaluierung von ASP Programming mit Externen Zugriffen

Projektleitung Thomas Eiter:
Modulare HEX-Programme


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.