Follow
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, ...
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
692013
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
602016
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
452015
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
422012
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
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
The DLVHEX system
T Eiter, S Germano, G Ianni, T Kaminski, C Redl, P Schüller, A Weinzierl
KI-Künstliche Intelligenz 32, 187-189, 2018
292018
Domain expansion for ASP-programs with external sources
T Eiter, M Fink, T Krennwallner, C Redl
Artificial Intelligence 233, 84-121, 2016
272016
The dlvhex system for knowledge representation: recent advances (system description)
C Redl
Theory and Practice of Logic Programming 16 (5-6), 866-883, 2016
262016
Answer set programming with external source access
T Eiter, T Kaminski, C Redl, P Schüller, A Weinzierl
Reasoning Web. Semantic Interoperability on the Web: 13th International …, 2017
212017
ActHEX: implementing HEX programs with action atoms
M Fink, S Germano, G Ianni, C Redl, P Schüller
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
202013
Problem Solving Using the HEX Family.
T Eiter, C Redl, P Schüller
Computational Models of Rationality, 150-174, 2016
192016
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
172018
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), 267-275, 2013
142013
HEX-programs with nested program calls
T Eiter, T Krennwallner, C Redl
International Conference on Applications of Declarative Programming and …, 2011
142011
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
hex-Programs with Existential Quantification
T Eiter, M Fink, T Krennwallner, C Redl
Declarative Programming and Knowledge Management: Declarative Programming …, 2014
112014
Automated Benchmarking of KR-systems.
C Redl
RCRA@ AI* IA 1745, 45-56, 2016
102016
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
102015
Exploiting support sets for answer set programs with external evaluations
T Eiter, M Fink, C Redl, D Stepanova
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
102014
The system can't perform the operation now. Try again later.
Articles 1–20