| Advances in WASP M Alviano, C Dodaro, N Leone, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015 | 127 | 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 | 117 | 2012 |
| WASP: A native ASP solver based on constraint learning M Alviano, C Dodaro, W Faber, N Leone, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning, 54-66, 2013 | 111 | 2013 |
| 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, ... International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 83 | 2011 |
| The disjunctive datalog system DLV M Alviano, W Faber, N Leone, S Perri, G Pfeifer, G Terracina International Datalog 2.0 Workshop, 282-301, 2010 | 77 | 2010 |
| The asp system DLV2 M Alviano, F Calimeri, C Dodaro, D Fuscā, N Leone, S Perri, F Ricca, ... International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017 | 72 | 2017 |
| A MaxSAT algorithm using cardinality constraints of bounded size M Alviano, C Dodaro, F Ricca Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 72 | 2015 |
| 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 | 66 | 2013 |
| Magic sets for disjunctive datalog programs M Alviano, W Faber, G Greco, N Leone Artificial Intelligence 187, 156-192, 2012 | 56 | 2012 |
| A Logic-Based System for e-Tourism F Ricca, A Dimasi, G Grasso, SM Ielpa, S Iiritano, M Manna, N Leone Fundamenta Informaticae 105 (1), 35-55, 2010 | 49 | 2010 |
| Disjunctive ASP with functions: Decidable queries and effective computation M Alviano, W Faber, N Leone Theory and Practice of Logic Programming 10 (4-6), 497-512, 2010 | 48 | 2010 |
| Anytime answer set optimization via unsatisfiable core shrinking M Alviano, C Dodaro Theory and Practice of Logic Programming 16 (5-6), 533-551, 2016 | 42 | 2016 |
| Rewriting recursive aggregates in answer set programming: back to monotonicity M Alviano, W Faber, M Gebser Theory and Practice of Logic Programming 15 (4-5), 559-573, 2015 | 37 | 2015 |
| Anytime computation of cautious consequences in answer set programming M Alviano, C Dodaro, F Ricca Theory and Practice of Logic Programming 14 (4-5), 755-770, 2014 | 36 | 2014 |
| Optimum stable model search: algorithms and implementation M Alviano, C Dodaro, J Marques-Silva, F Ricca Journal of Logic and Computation 30 (4), 863-897, 2020 | 34 | 2020 |
| Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues M Alviano, W Faber, N Leone, M Manna Theory and Practice of Logic Programming 12 (4-5), 701-718, 2012 | 33 | 2012 |
| 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 | 29 | 2019 |
| The complexity boundary of answer set programming with generalized atoms under the FLP semantics M Alviano, W Faber International Conference on Logic Programming and Nonmonotonic Reasoning, 67-72, 2013 | 29 | 2013 |
| Unfounded sets and well-founded semantics of answer set programs with aggregates M Alviano, F Calimeri, W Faber, N Leone, S Perri Journal of Artificial Intelligence Research 42, 487-527, 2011 | 26 | 2011 |
| The Birth of a WASP: Preliminary Report on a New ASP Solver. C Dodaro, M Alviano, W Faber, N Leone, F Ricca, M Sirianni CILC 810, 99-113, 2011 | 25 | 2011 |
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
