| 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 | 75 | 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 | 64 | 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 | 48 | 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 | 35 | 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 | 31 | 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 | 29 | 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 | 19 | 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 | 19 | 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 | 16 | 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 | 15 | 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 |
| Automated Benchmarking of KR-systems. C Redl RCRA@ AI* IA 1745, 45-56, 2016 | 10 | 2016 |
| 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 |
| hex-Programs with Existential Quantification T Eiter, M Fink, T Krennwallner, C Redl Declarative Programming and Knowledge Management: Declarative Programming …, 2014 | 10 | 2014 |
| User guide: dlvhex 2 T Eiter, M Mehuljic, C Redl, P Schüller Vienna University of Technology, Institute for Information Systems, Tech …, 2015 | 9 | 2015 |
Thomas EiterVienna University of Technology (TU Wien)Overená e-mailová adresa na: kr.tuwien.ac.at
