Talks and Poster Presentations (with Proceedings-Entry):

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

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Related Projects:
Project Head Thomas Eiter:
Evaluierung von ASP Programming mit Externen Zugriffen

Project Head Thomas Eiter:
Modulare HEX-Programme

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