Christoph Redl
Christoph Redl
University of Applied Sciences Technikum Wien (senior lecturer and researcher)
Verifierad e-postadress på technikum-wien.at
Titel
Citeras av
Citeras av
År
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
602013
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
502015
Conflict-driven ASP solving with external sources
T Eiter, M Fink, T Krennwallner, C Redl
arXiv preprint arXiv:1210.1649, 2012
372012
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
302014
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
The dlvhex system for knowledge representation: recent advances (system description)
C Redl
arXiv preprint arXiv:1607.08864, 2016
162016
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
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
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
122018
HEX-programs with nested program calls
T Eiter, T Krennwallner, C Redl
Applications of Declarative Programming and Knowledge Management, 269-278, 2011
122011
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
112017
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
102018
Problem Solving Using the HEX Family.
T Eiter, C Redl, P Schüller
Computational Models of Rationality, 150-174, 2016
102016
Exploiting Support Sets for Answer Set Programs with External Evaluations.
T Eiter, M Fink, C Redl, D Stepanova
AAAI, 1041-1048, 2014
92014
User guide: dlvhex 2
T Eiter, M Mehuljic, C Redl, P Schüller
Vienna University of Technology, Institute for Information Systems, Tech …, 2015
82015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20