Christoph Redl

According to our database, Christoph Redl authored at least 35 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Inlining External Sources in Answer Set Programs.

Christoph Redl

Theory Pract. Log. Program., 2019

2018

The DLVHEX System.

Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl

Künstliche Intell., 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

Technical Report: Inconsistency in Answer Set Programs and Extensions.

Christoph Redl

CoRR, 2018

2017

Answer Set Programming with External Source Access.

Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl

Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Extending Answer Set Programs with Interpreted Functions as First-Class Citizens.

Christoph Redl

Proceedings of the Practical Aspects of Declarative Languages, 2017

Integrating Answer Set Programming with Object-Oriented Languages.

Jakob Rath, Christoph Redl

Proceedings of the Practical Aspects of Declarative Languages, 2017

Explaining Inconsistency in Answer Set Programs and Extensions.

Christoph Redl

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Answer Set Programs with Queries over Subprograms.

Christoph Redl

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Conflict-driven ASP Solving with External Sources and Program Splits.

Christoph Redl

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On Equivalence and Inconsistency of Answer Set Programs with External Sources.

Christoph Redl

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining.

Christoph Redl

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

The dlvhex system for knowledge representation: recent advances (system description).

Christoph Redl

Theory Pract. Log. Program., 2016

A model building framework for answer set programming with external computations.

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller

Theory Pract. Log. Program., 2016

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.

Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer

IEEE Trans. Comput. Intell. AI Games, 2016

Domain expansion for ASP-programs with external sources.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Artif. Intell., 2016

Problem Solving Using the HEX Family.

Thomas Eiter, Christoph Redl, Peter Schüller

Proceedings of the Computational Models of Rationality, 2016

Automated Benchmarking of KR-systems.

Christoph Redl

Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2016

2014

Efficient HEX-Program Evaluation Based on Unfounded Sets.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

J. Artif. Intell. Res., 2014

FLP answer set semantics without circular justifications for general logic programs.

Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng

Artif. Intell., 2014

Exploiting Support Sets for Answer Set Programs with External Evaluations.

Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Eliminating Unfounded Set Checking for HEX-Programs

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

CoRR, 2013

ActHEX: Implementing HEX Programs with Action Atoms.

Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

hex-Programs with Existential Quantification.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Proceedings of the Declarative Programming and Knowledge Management, 2013

AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.

Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer

Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

Liberal Safety for Answer Set Programs with External Sources.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Conflict-driven ASP solving with external sources.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Theory Pract. Log. Program., 2012

Exploiting Unfounded Sets for HEX-Program Evaluation.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Answer Set Programming with External Sources.

Christoph Redl

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Automatic SLA Matching and Provider Selection in Grid and Cloud Computing Markets.

Christoph Redl, Ivan Breskovic, Ivona Brandic, Schahram Dustdar

Proceedings of the 13th ACM/IEEE International Conference on Grid Computing, 2012

2011

Nested HEX-Programs

Thomas Eiter, Thomas Krennwallner, Christoph Redl

CoRR, 2011

Declarative Belief Set Merging Using Merging Plans.

Christoph Redl, Thomas Eiter, Thomas Krennwallner

Proceedings of the Practical Aspects of Declarative Languages, 2011

HEX-Programs with Nested Program Calls.

Thomas Eiter, Thomas Krennwallner, Christoph Redl

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011