[1] 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 ]
[2] 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 ]
[3] 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 ]
[4] 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 ]
[5] 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 ]
[6] 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 ]
[7] 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 ]
[8] 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.