Christoph Redl
Christoph Redl
University of Applied Sciences Technikum Wien (senior lecturer and researcher)
Verified email at technikum-wien.at
Title
Cited by
Cited by
Year
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
632013
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
532016
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
402012
FLP answer set semantics without circular justifications for general logic programs
YD Shen, K Wang, T Eiter, M Fink, C Redl, T Krennwallner, J Deng
Artificial Intelligence 213, 1-41, 2014
362014
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
352015
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
342014
Domain expansion for ASP-programs with external sources
T Eiter, M Fink, T Krennwallner, C Redl
Artificial Intelligence 233, 84-121, 2016
252016
The dlvhex system for knowledge representation: recent advances (system description)
C Redl
Theory and Practice of Logic Programming 16 (5-6), 866-883, 2016
212016
The DLVHEX system
T Eiter, S Germano, G Ianni, T Kaminski, C Redl, P Schüller, A Weinzierl
KI-Künstliche Intelligenz 32 (2), 187-189, 2018
182018
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
172013
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
162017
Problem Solving Using the HEX Family.
T Eiter, C Redl, P Schüller
Computational Models of Rationality, 150-174, 2016
142016
Declarative belief set merging using merging plans
C Redl, T Eiter, T Krennwallner
International Symposium on Practical Aspects of Declarative Languages, 99-114, 2011
142011
Liberal safety for answer set programs with external sources
T Eiter, M Fink, T Krennwallner, C Redl
Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 2013
132013
Hex-programs with nested program calls
T Eiter, T Krennwallner, C Redl
Applications of Declarative Programming and Knowledge Management, 269-278, 2011
132011
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
122018
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
102014
Efficient evaluation of answer set programs with external sources based on external source inlining
C Redl
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
82017
User guide: dlvhex 2
T Eiter, M Mehuljic, C Redl, P Schüller
Vienna University of Technology, Institute for Information Systems, Tech …, 2015
82015
Constraint answer set programming based on HEX-programs
A De Rosis, T Eiter, C Redl, F Ricca
Eighth Workshop on Answer Set Programming and Other Computing Paradigms …, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20