| [1] | Thomas Eiter, Christoph Redl, and Peter Schüller. Problem solving using the HEX family. Technical Report INFSYS RR-1843-15-07, Institut für Informationssysteme, Technische Universität Wien, A-1040 Vienna, Austria, December 2015. [ bib ] |
| [2] | Thomas Eiter, Mustafa Mehuljic, Christoph Redl, and Peter Schüller. User guide: dlvhex 2.x. Technical Report INFSYS RR-1843-15-05, Vienna University of Technology, Institute for Information Systems, September 2015. [ bib ] |
| [3] |
Alessandro De Rosis, Thomas Eiter, Christoph Redl, and Francesco Ricca.
Constraint answer set programming based on HEX-programs.
In Eighth Workshop on Answer Set Programming and Other Computing
Paradigms (ASPOCP 2015), August 31, 2015, Cork, Ireland, August 2015.
[ bib |
www: ]
Keywords: Answer Set Programming, Constraint Programming, External Sources |
| [4] | Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Schüller. A model building framework for answer set programming with external computations. Technical Report INFSYS RR-1843-15-01, Institut für Informationssysteme, Technische Universität Wien, A-1040 Vienna, Austria, January 2015. [ bib ] |
This file was generated by bibtex2html 1.98.