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
592013
A model building framework for answer set programming with external computations
T Eiter, M Fink, G Ianni, T Krennwallner, C Redl, P Schüller
arXiv preprint arXiv:1507.01451, 2015
482015
Conflict-driven ASP solving with external sources
T Eiter, M Fink, T Krennwallner, C Redl
arXiv preprint arXiv:1210.1649, 2012
362012
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
322014
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
312015
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
292014
Domain expansion for ASP-programs with external sources
T Eiter, M Fink, T Krennwallner, C Redl
Artificial Intelligence 233, 84-121, 2016
232016
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
192012
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
162013
The dlvhex system for knowledge representation: recent advances (system description)
C Redl
arXiv preprint arXiv:1607.08864, 2016
132016
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
132013
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
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
102017
HEX-programs with nested program calls
T Eiter, T Krennwallner, C Redl
Applications of Declarative Programming and Knowledge Management, 269-278, 2011
102011
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
Problem Solving Using the HEX Family.
T Eiter, C Redl, P Schüller
Computational Models of Rationality, 150-174, 2016
92016
Exploiting Support Sets for Answer Set Programs with External Evaluations.
T Eiter, M Fink, C Redl, D Stepanova
AAAI, 1041-1048, 2014
92014
The DLVHEX system
T Eiter, S Germano, G Ianni, T Kaminski, C Redl, P Schüller, A Weinzierl
KI-Künstliche Intelligenz 32 (2-3), 187-189, 2018
82018
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