| [1] | Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl. Domain expansion for ASP-programs with external sources. Technical Report INFSYS RR-1843-14-02, Institut für Informationssysteme, Technische Universität Wien, A-1040 Vienna, Austria, September 2014. [ bib ] |
| [2] | Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, and Andrea Tucci. AngryHEX: an angry birds-playing agent based on HEX-programs. Angry-Birds Competition 2014, August 20-22, 2014, Prague, Czech Replublic, August 2014. [ bib ] |
| [3] | Christoph Redl. Answer Set Programming with External Sources: Algorithms and Efficient Evaluation. PhD thesis, Vienna University of Technology, Knowledge-Based Systems Group, A-1040 Vienna, Karlsplatz 13, April 2014. [ bib ] |
| [4] |
Thomas Eiter, Michael Fink, Christoph Redl, and Daria Stepanova.
Exploiting support sets for answer set programs with external
evaluations.
In Proceedings of the Twenty-Eighth AAAI Conference (AAAI 2014),
July 27--31, 2014, Québec City, Québec, Canada. AAAI Press, July
2014.
[ bib ]
Keywords: Answer Set Programming, External Sources, Description Logic Programs |
| [5] | Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl. HEX-programs with existential quantification. In Ricardo Rocha, editor, Proceedings of the Twentieth International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, Germany, September 11-13, 2013, September 2014. Post proceedings. [ bib ] |
| [6] | Yi-Dong Shen, Kewen Wang, Jun Deng, Christoph Redl, Thomas Krennwallner, Thomas Eiter, and Michael Fink. FLP answer set semantics without circular justifications for general logic programs. Artificial Intelligence, 213:1--41, May 2014. [ bib ] |
| [7] | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller. Efficient HEX-program evaluation based on unfounded sets. Journal of Artificial Intelligence Research, 49:269--321, February 2014. [ bib ] |
This file was generated by bibtex2html 1.98.