| [1] | Christoph Redl. Inlining external sources in answer set programs. Theory and Practice of Logic Programming, 2018. To appear. [ bib ] |
| [2] | Christoph Redl. Inconsistency in answer set programs and extensions. Technical Report LOGCOMP RR-1923-18-04, Vienna University of Technology, Institute for Logic and Computation, June 2018. [ 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. Journal of Artificial Intelligence Research, 62:665--727, July 2018. [ bib ] |
| [4] |
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph
Redl, Peter Schüller, and Antonius Weinzierl.
The DLVHEX system.
KI - Künstliche Intelligenz, 32(2-3):187--189, August 2018.
[ bib |
DOI |
http ]
HEX programs extend ASP with external atoms implemented in C++ or Python. DLVHEX is a solver for HEX that permits cyclic reasoning over external atoms and external value invention.
|
| [5] | Thomas Eiter, Tobias Kaminski, Christoph Redl, and Antonius Weinzierl. Exploiting partial assignments for efficient evaluation of answer set programs with external source access. Technical Report LOGCOMP RR-1923-18-02, Vienna University of Technology, Institute of Logic and Computation, January 2018. [ bib ] |
| [6] | Christoph Redl. Inlining external sources in answer set programs. Technical Report LOGCOMP RR-1923-18-01, Vienna University of Technology, Institute of Logic and Computation, January 2018. [ bib ] |
| [7] | Christoph Redl. Conflict-driven ASP solving with external sources and program splits. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), August 19--25, 2017, Melbourne, Australia, pages 1239--1246. AAAI Press, August 2017. [ bib ] |
| [8] | Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, and Antonius Weinzierl. Answer set programming with external source access. In Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures, pages 204--275, 2017. [ bib ] |
| [9] | Christoph Redl. Explaining inconsistency in answer set programs and extensions. In Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning, pages 176--190. Springer, July 2017. [ bib ] |
| [10] | Christoph Redl. Answer set programs with queries over subprograms. In Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning, pages 160--175. Springer, July 2017. [ bib ] |
| [11] | Christoph Redl. On equivalence and inconsistency of answer set programs with external sources. In Proceedings of the Thirty-First AAAI Conference (AAAI 2017), February 4--9, 2017, San Francisco, California, USA, pages 1222--1228. AAAI Press, February 2017. [ bib ] |
| [12] | Christoph Redl. Efficient evaluation of answer set programs with external sources based on external source inlining. In Proceedings of the Thirty-First AAAI Conference (AAAI 2017), February 4--9, 2017, San Francisco, California, USA, pages 1229--1235. AAAI Press, February 2017. [ bib ] |
| [13] | Christoph Redl. Extending answer set programs with interpreted functions as first-class citizens. In Yuliya Lierler and Walid Taha, editors, Proceedings of the Nineteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2017), Paris, France, January 16-17, 2017, LNCS, pages 68--85. Springer, January 2017. [ bib ] |
| [14] | Jakob Rath and Christoph Redl. Integrating answer set programming with procedural languages. In Yuliya Lierler and Walid Taha, editors, Proceedings of the Nineteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2017), Paris, France, January 16-17, 2017, LNCS, pages 50--67. Springer, January 2017. [ bib ] |
This file was generated by bibtex2html 1.98.