Christoph Redl
Christoph Redl
University of Applied Sciences Technikum Wien (senior lecturer and researcher)
Verified email at technikum-wien.at
TitleCited byYear
The fourth answer set programming competition: Preliminary report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
International Conference on Logic Programming and Nonmonotonic Reasoning, 42-53, 2013
532013
Automatic SLA matching and provider selection in grid and cloud computing markets
C Redl, I Breskovic, I Brandic, S Dustdar
Proceedings of the 2012 ACM/IEEE 13th International Conference on Grid …, 2012
482012
A model building framework for answer set programming with external computations
T Eiter, M Fink, G Ianni, T Krennwallner, C Redl, P Schüller
Theory and Practice of Logic Programming 16 (4), 418-464, 2016
392016
Conflict-driven ASP solving with external sources
T Eiter, M Fink, T Krennwallner, C Redl
Theory and Practice of Logic Programming 12 (4-5), 659-679, 2012
352012
Efficient HEX-program evaluation based on unfounded sets
T Eiter, M Fink, T Krennwallner, C Redl, P Schüller
Journal of Artificial Intelligence Research 49, 269-321, 2014
312014
Angry-HEX: an artificial player for angry birds based on declarative knowledge bases
F Calimeri, M Fink, S Germano, A Humenberger, G Ianni, C Redl, ...
IEEE Transactions on Computational Intelligence and AI in Games 8 (2), 128-139, 2015
272015
FLP answer set semantics without circular justifications for general logic programs
YD Shen, K Wang, T Eiter, M Fink, T Krennwallner, J Deng
Artificial Intelligence 213 (1), 1-41, 2014
242014
Domain expansion for ASP-programs with external sources
T Eiter, M Fink, T Krennwallner, C Redl
Artificial Intelligence 233, 84-121, 2016
222016
Pushing efficient evaluation of HEX programs by modular decomposition
T Eiter, M Fink, G Ianni, T Krennwallner, P Schüller
International Conference on Logic Programming and Nonmonotonic Reasoning, 93-106, 2011
222011
The answer set programming competition
F Calimeri, G Ianni, T Krennwallner, F Ricca
AI Magazine 33 (4), 114-114, 2012
162012
Acthex: Implementing HEX programs with action atoms
M Fink, S Germano, G Ianni, C Redl, P Schüller
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
152013
Declarative belief set merging using merging plans
C Redl, T Eiter, T Krennwallner
International Symposium on Practical Aspects of Declarative Languages, 99-114, 2011
132011
The dlvhex system for knowledge representation: recent advances (system description)*
C Redl
Theory and Practice of Logic Programming 16 (5-6), 866-883, 2016
102016
Liberal safety for answer set programs with external sources
T Eiter, M Fink, T Krennwallner, C Redl
Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
102013
Exploiting partial assignments for efficient evaluation of answer set programs with external source access
T Eiter, T Kaminski, C Redl, A Weinzierl
Journal of Artificial Intelligence Research 62, 665-727, 2018
92018
Answer set programming with external source access
T Eiter, T Kaminski, C Redl, P Schüller, A Weinzierl
Reasoning Web International Summer School, 204-275, 2017
92017
Exploiting support sets for answer set programs with external evaluations
T Eiter, M Fink, C Redl, D Stepanova
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
92014
Hex-programs with nested program calls
T Eiter, T Krennwallner, C Redl
Applications of Declarative Programming and Knowledge Management, 269-278, 2011
92011
Problem Solving Using the HEX Family.
T Eiter, C Redl, P Schüller
Computational Models of Rationality, 150-174, 2016
82016
User guide: dlvhex 2
T Eiter, M Mehuljic, C Redl, P Schüller
Vienna University of Technology, Institute for Information Systems, Tech …, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20