Redl, Christoph

8 publications

JAIR 2018 Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

IJCAI 2017 Conflict-Driven ASP Solving with External Sources and Program Splits Christoph Redl

AAAI 2017 Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining Christoph Redl

AAAI 2017 On Equivalence and Inconsistency of Answer Set Programs with External Sources Christoph Redl

IJCAI 2016 Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

JAIR 2014 Efficient HEX-Program Evaluation Based on Unfounded Sets Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

AAAI 2014 Exploiting Support Sets for Answer Set Programs with External Evaluations Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova

AAAI 2013 Liberal Safety for Answer Set Programs with External Sources Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl