HEX-Programs with Nested Program Calls. - Thomas Eiter; Thomas Krennwallner; Christoph Redl (INAP/WLP, 2011)

Declarative Belief Set Merging Using Merging Plans. - Christoph Redl; Thomas Eiter; Thomas Krennwallner (PADL, 2011)

Nested HEX-Programs - Thomas Eiter; Thomas Krennwallner; Christoph Redl (CoRR, 2011)

Automatic SLA Matching and Provider Selection in Grid and Cloud Computing Markets. - Christoph Redl; Ivan Breskovic; Ivona Brandic; Schahram Dustdar (GRID, 2012)

Answer Set Programming with External Sources. - Christoph Redl (ICLP (Technical Communications), 2012)

Exploiting Unfounded Sets for HEX-Program Evaluation. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl; Peter Schüller (JELIA, 2012)

Conflict-driven ASP solving with external sources. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (Theory Pract. Log. Program., 2012)

Liberal Safety for Answer Set Programs with External Sources. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (AAAI, 2013)

AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. - Francesco Calimeri; Michael Fink 001; Stefano Germano; Giovambattista Ianni; Christoph Redl; Anton Wimmer (PAI@AI*IA, 2013)

hex-Programs with Existential Quantification. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (KDPD, 2013)

The Fourth Answer Set Programming Competition: Preliminary Report. - Mario Alviano; Francesco Calimeri; Günther Charwat; Minh Dao-Tran; Carmine Dodaro; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Johannes Oetsch; Andreas Pfandler; Jörg Pührer; Christoph Redl; et al. (LPNMR, 2013)

VCWC: A Versioning Competition Workflow Compiler. - Günther Charwat; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Andreas Pfandler; Christoph Redl; Martin Schwengerer; Lara Katharina Spendier; Johannes Peter Wallner; Guohui Xiao 001 (LPNMR, 2013)

ActHEX: Implementing HEX Programs with Action Atoms. - Michael Fink 001; Stefano Germano; Giovambattista Ianni; Christoph Redl; Peter Schüller (LPNMR, 2013)

Eliminating Unfounded Set Checking for HEX-Programs - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl; Peter Schüller (CoRR, 2013)

Exploiting Support Sets for Answer Set Programs with External Evaluations. - Thomas Eiter; Michael Fink 001; Christoph Redl; Daria Stepanova 001 (AAAI, 2014)

FLP answer set semantics without circular justifications for general logic programs. - Yi-Dong Shen; Kewen Wang 001; Thomas Eiter; Michael Fink 001; Christoph Redl; Thomas Krennwallner; Jun Deng (Artif. Intell., 2014)

Efficient HEX-Program Evaluation Based on Unfounded Sets. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl; Peter Schüller (J. Artif. Intell. Res., 2014)

Automated Benchmarking of KR-systems. - Christoph Redl (RCRA@AI*IA, 2016)

Problem Solving Using the HEX Family. - Thomas Eiter; Christoph Redl; Peter Schüller (Computational Models of Rationality, 2016)

Domain expansion for ASP-programs with external sources. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (Artif. Intell., 2016)

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. - Francesco Calimeri; Michael Fink 001; Stefano Germano; Andreas Humenberger; Giovambattista Ianni; Christoph Redl; Daria Stepanova 001; Andrea Tucci; Anton Wimmer (IEEE Trans. Comput. Intell. AI Games, 2016)

A model building framework for answer set programming with external computations. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Thomas Krennwallner; Christoph Redl; Peter Schüller (Theory Pract. Log. Program., 2016)

The dlvhex system for knowledge representation: recent advances (system description). - Christoph Redl (Theory Pract. Log. Program., 2016)

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 (AAAI, 2017)

Conflict-driven ASP Solving with External Sources and Program Splits. - Christoph Redl (IJCAI, 2017)

Answer Set Programs with Queries over Subprograms. - Christoph Redl (LPNMR, 2017)

Explaining Inconsistency in Answer Set Programs and Extensions. - Christoph Redl (LPNMR, 2017)

Integrating Answer Set Programming with Object-Oriented Languages. - Jakob Rath; Christoph Redl (PADL, 2017)

Extending Answer Set Programs with Interpreted Functions as First-Class Citizens. - Christoph Redl (PADL, 2017)

Answer Set Programming with External Source Access. - Thomas Eiter; Tobias Kaminski; Christoph Redl; Peter Schüller; Antonius Weinzierl (RW, 2017)

Technical Report: Inconsistency in Answer Set Programs and Extensions. - Christoph Redl (CoRR, 2018)

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. - Thomas Eiter; Tobias Kaminski; Christoph Redl; Antonius Weinzierl (J. Artif. Intell. Res., 2018)

The DLVHEX System. - Thomas Eiter; Stefano Germano; Giovambattista Ianni; Tobias Kaminski; Christoph Redl; Peter Schüller; Antonius Weinzierl (Künstliche Intell., 2018)

Inlining External Sources in Answer Set Programs. - Christoph Redl (Theory Pract. Log. Program., 2019)