Christoph Redl

40 papers A* 6B 6C 3Journal 17Unranked 8
YearRankTypeTitle / Venue / Authors
2019 J jnl
Inlining External Sources in Answer Set Programs.
Theory Pract. Log. Program.
Christoph Redl
2018 J jnl
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
J. Artif. Intell. Res.
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
2018 J jnl
Inlining External Sources in Answer Set Programs.
CoRR
Christoph Redl
2018 J jnl
Technical Report: Inconsistency in Answer Set Programs and Extensions.
CoRR
Christoph Redl
2018 J jnl
The DLVHEX System.
Künstliche Intell.
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2017 — conf
Answer Set Programming with External Source Access.
RW
Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2017 B conf
Answer Set Programs with Queries over Subprograms.
LPNMR
Christoph Redl
2017 A* conf
Conflict-driven ASP Solving with External Sources and Program Splits.
IJCAI
Christoph Redl
2017 A* conf
Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining.
AAAI
Christoph Redl
2017 B conf
Explaining Inconsistency in Answer Set Programs and Extensions.
LPNMR
Christoph Redl
2017 C conf
Extending Answer Set Programs with Interpreted Functions as First-Class Citizens.
PADL
Christoph Redl
2017 C conf
Integrating Answer Set Programming with Object-Oriented Languages.
PADL
Jakob Rath, Christoph Redl
2017 A* conf
On Equivalence and Inconsistency of Answer Set Programs with External Sources.
AAAI
Christoph Redl
2016 J jnl
A model building framework for answer set programming with external computations.
Theory Pract. Log. Program.
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
2016 J jnl
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
IEEE Trans. Comput. Intell. AI Games
Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer
2016 — conf
Automated Benchmarking of KR-systems.
RCRA@AI*IA
Christoph Redl
2016 J jnl
Domain expansion for ASP-programs with external sources.
Artif. Intell.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2016 A* conf
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
IJCAI
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
2016 — conf
Problem Solving Using the HEX Family.
Computational Models of Rationality
Thomas Eiter, Christoph Redl, Peter Schüller
2016 J jnl
The DLVHEX System for Knowledge Representation: Recent Advances (System Description).
CoRR
Christoph Redl
2016 J jnl
The dlvhex system for knowledge representation: recent advances (system description).
Theory Pract. Log. Program.
Christoph Redl
2015 J jnl
A model building framework for Answer Set Programming with external computations.
CoRR
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
2014 J jnl
Efficient HEX-Program Evaluation Based on Unfounded Sets.
J. Artif. Intell. Res.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2014 A* conf
Exploiting Support Sets for Answer Set Programs with External Evaluations.
AAAI
Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova
2014 J jnl
FLP answer set semantics without circular justifications for general logic programs.
Artif. Intell.
Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng
2013 B conf
ActHEX: Implementing HEX Programs with Action Atoms.
LPNMR
Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller
2013 — conf
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
PAI@AI*IA
Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer
2013 J jnl
Eliminating Unfounded Set Checking for HEX-Programs
CoRR
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2013 A* conf
Liberal Safety for Answer Set Programs with External Sources.
AAAI
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2013 B conf
The Fourth Answer Set Programming Competition: Preliminary Report.
LPNMR
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
2013 B conf
VCWC: A Versioning Competition Workflow Compiler.
LPNMR
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2013 — conf
hex-Programs with Existential Quantification.
KDPD
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2012 — conf
Answer Set Programming with External Sources.
ICLP (Technical Communications)
Christoph Redl
2012 — conf
Automatic SLA Matching and Provider Selection in Grid and Cloud Computing Markets.
GRID
Christoph Redl, Ivan Breskovic, Ivona Brandic, Schahram Dustdar
2012 J jnl
Conflict-driven ASP Solving with External Sources
CoRR
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2012 J jnl
Conflict-driven ASP solving with external sources.
Theory Pract. Log. Program.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2012 B conf
Exploiting Unfounded Sets for HEX-Program Evaluation.
JELIA
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2011 C conf
Declarative Belief Set Merging Using Merging Plans.
PADL
Christoph Redl, Thomas Eiter, Thomas Krennwallner
2011 — conf
HEX-Programs with Nested Program Calls.
INAP/WLP
Thomas Eiter, Thomas Krennwallner, Christoph Redl
2011 J jnl
Nested HEX-Programs
CoRR
Thomas Eiter, Thomas Krennwallner, Christoph Redl