| ASP-Core-2 input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... Theory and Practice of Logic Programming 20 (2), 294-309, 2020 | 190 | 2020 |
| ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012 | 166 | 2012 |
| Advances in WASP M Alviano, C Dodaro, N Leone, F Ricca Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015 | 153 | 2015 |
| Team-building with answer set programming in the Gioia-Tauro seaport F Ricca, G Grasso, M Alviano, M Manna, V Lio, S Iiritano, N Leone Theory and Practice of Logic Programming 12 (3), 361-381, 2012 | 151 | 2012 |
| Design and results of the fifth answer set programming competition F Calimeri, M Gebser, M Maratea, F Ricca Artificial Intelligence 231, 151-181, 2016 | 138 | 2016 |
| WASP: A native ASP solver based on constraint learning M Alviano, C Dodaro, W Faber, N Leone, F Ricca Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 130 | 2013 |
| The asp system dlv2 M Alviano, F Calimeri, C Dodaro, D Fuscà, N Leone, S Perri, F Ricca, ... Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017 | 117 | 2017 |
| ASPIDE: Integrated development environment for answer set programming O Febbraro, K Reale, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 99 | 2011 |
| A MaxSAT algorithm using cardinality constraints of bounded size M Alviano, C Dodaro, F Ricca Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 87 | 2015 |
| The third answer set programming competition: Preliminary report of the system competition track F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ... Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 86 | 2011 |
| The third open answer set programming competition F Calimeri, G Ianni, F Ricca Theory and Practice of Logic Programming 14 (1), 117-135, 2014 | 82 | 2014 |
| The sixth answer set programming competition M Gebser, M Maratea, F Ricca Journal of Artificial Intelligence Research 60, 41-95, 2017 | 79 | 2017 |
| A multi-engine approach to answer-set programming M Maratea, L Pulina, F Ricca Theory and Practice of Logic Programming 14 (6), 841-868, 2014 | 77 | 2014 |
| OntoDLV: an ASP-based system for enterprise ontologies F Ricca, L Gallucci, R Schindlauer, T Dell’Armi, G Grasso, N Leone Journal of Logic and Computation 19 (4), 643-670, 2009 | 76 | 2009 |
| Evaluation Techniques and Systems for Answer Set Programming: a Survey. M Gebser, N Leone, M Maratea, S Perri, F Ricca, T Schaub IJCAI 18, 5450-5456, 2018 | 72 | 2018 |
| Disjunctive logic programming with types and objects: The dlv+ system F Ricca, N Leone Journal of Applied Logic 5 (3), 545-573, 2007 | 70 | 2007 |
| 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 | 69 | 2013 |
| Combining answer set programming and domain heuristics for solving hard industrial problems (application paper) C Dodaro, P Gasteiger, N Leone, B Musitsch, F Ricca, K Shchekotykhin Theory and Practice of Logic Programming 16 (5-6), 653-669, 2016 | 67 | 2016 |
| Evaluation of disjunctive programs in WASP M Alviano, G Amendola, C Dodaro, N Leone, M Maratea, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019 | 66 | 2019 |
| The ASP system DLV: advancements and applications WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro, W Faber, D Fuscà, ... KI-Künstliche Intelligenz 32, 177-179, 2018 | 54 | 2018 |
Nicola LeoneUniversity of Calabria, Professor of Computer Science在 unical.it 的电子邮件经过验证
