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 | 72 | 2013 |
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 | 62 | 2016 |
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 | 46 | 2015 |
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 | 44 | 2012 |
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 | 36 | 2014 |
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 | 34 | 2014 |
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 | 32 | 2018 |
The dlvhex system for knowledge representation: recent advances (system description) C Redl Theory and Practice of Logic Programming 16 (5-6), 866-883, 2016 | 27 | 2016 |
Domain expansion for ASP-programs with external sources T Eiter, M Fink, T Krennwallner, C Redl Artificial Intelligence 233, 84-121, 2016 | 27 | 2016 |
Problem Solving Using the HEX Family. T Eiter, C Redl, P Schüller Computational Models of Rationality, 150-174, 2016 | 21 | 2016 |
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 | 20 | 2017 |
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 | 20 | 2013 |
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 | 17 | 2018 |
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 | 14 | 2013 |
HEX-programs with nested program calls T Eiter, T Krennwallner, C Redl International Conference on Applications of Declarative Programming and …, 2011 | 14 | 2011 |
Declarative belief set merging using merging plans C Redl, T Eiter, T Krennwallner International Symposium on Practical Aspects of Declarative Languages, 99-114, 2011 | 14 | 2011 |
hex-Programs with Existential Quantification T Eiter, M Fink, T Krennwallner, C Redl Declarative Programming and Knowledge Management: Declarative Programming …, 2014 | 11 | 2014 |
Automated Benchmarking of KR-systems. C Redl RCRA@ AI* IA 1745, 45-56, 2016 | 10 | 2016 |
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 | 10 | 2015 |
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 | 10 | 2014 |