Contributions to Proceedings:

T. Eiter, C. Redl, P. Schüller:
"Problem Solving Using the HEX Family";
in: "60 Birthday: Gabriele Kern-Isberner, 2016", issued by: Christoph Beierle, Gerhard Brewka, Matthias Thimm; College Publications, 2016, ISBN: 978-1-84890-198-8, 150 - 174.

Related Projects:
Project Head Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions

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