[1] Giovambattista Ianni, Francesco Calimeri, Stefano Germano, Andreas Humenberger, Christoph Redl, Daria Stepanova, Andrea Tucci, and Anton Wimmer. Angry-HEX: an artificial player for angry birds based on declarative knowledge bases. IEEE Transactions on Computational Intelligence and AI in Games, 2016. Accepted for publication. [ bib ]
[2] 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. Theory and Practice of Logic Programming, 2016. Accepted for publication. [ bib ]
[3] Thomas Eiter, Tobias Kaminski, Christoph Redl, and Antonius Weinzierl. Exploiting partial assignments for efficient evaluation of answer set programs with external source access. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), July 9-15, 2016, New York, New York, USA. AAAI Press, July 2016. Accepted for publication. [ bib ]
[4] Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl. Domain expansion for ASP-programs with external sources. Artif. Intell., 233:84-121, 2016. [ bib | DOI | http ]
[5] Thomas Eiter, Christoph Redl, and Peter Schüller. Problem solving using the HEX family. In Christoph Beierle, Gerhard Brewka, and Matthias Thimm, editors, Computational Models of Rationality - Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday, Tributes, College Publications, pages 150-174. January 2016. [ bib ]
[6] Christoph Redl. The abc benchmarking system - user manual. Technical Report INFSYS RR-1843-16-01, Vienna University of Technology, Institute for Information Systems, January 2016. [ bib ]

This file was generated by bibtex2html 1.97.