| Advances in WASP M Alviano, C Dodaro, N Leone, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015 | 100 | 2015 |
| 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 | 96 | 2013 |
| Core-guided MaxSAT with soft cardinality constraints A Morgado, C Dodaro, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2014 | 61 | 2014 |
| 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 | 54 | 2013 |
| A MaxSAT algorithm using cardinality constraints of bounded size M Alviano, C Dodaro, F Ricca Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 51 | 2015 |
| 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 | 41 | 2017 |
| 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 | 36 | 2016 |
| Anytime answer set optimization via unsatisfiable core shrinking M Alviano, C Dodaro Theory and Practice of Logic Programming 16 (5-6), 533-551, 2016 | 36 | 2016 |
| 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 | 33 | 2014 |
| Allotment problem in travel industry: A solution based on ASP C Dodaro, N Leone, B Nardi, F Ricca International Conference on Web Reasoning and Rule Systems, 77-92, 2015 | 25 | 2015 |
| Optimum stable model search: algorithms and implementation M Alviano, C Dodaro, J Marques-Silva, F Ricca Journal of Logic and Computation, 2015 | 25 | 2015 |
| On the application of answer set programming to the conference paper assignment problem G Amendola, C Dodaro, N Leone, F Ricca Conference of the Italian Association for Artificial Intelligence, 164-178, 2016 | 22 | 2016 |
| 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 | 21 | 2011 |
| On the computation of paracoherent answer sets G Amendola, C Dodaro, W Faber, N Leone, F Ricca Thirty-First AAAI Conference on Artificial Intelligence, 2017 | 18 | 2017 |
| Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis B Cuteri, C Dodaro, F Ricca, P Schüller Theory and Practice of Logic Programming 17 (5-6), 780-799, 2017 | 17 | 2017 |
| Externally supported models for efficient computation of paracoherent answer sets G Amendola, C Dodaro, W Faber, F Ricca Thirty-Second AAAI Conference on Artificial Intelligence, 2018 | 15 | 2018 |
| An advanced answer set programming encoding for nurse scheduling M Alviano, C Dodaro, M Maratea Conference of the Italian Association for Artificial Intelligence, 468-482, 2017 | 14 | 2017 |
| Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. M Alviano, C Dodaro IJCAI, 4781-4785, 2017 | 12 | 2017 |
| Interactive debugging of non-ground ASP programs C Dodaro, P Gasteiger, B Musitsch, F Ricca, K Shchekotykhin International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015 | 12 | 2015 |
| 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 (2-3), 177-179, 2018 | 11 | 2018 |
Francesco RiccaAssociate professor of computer science, University of CalabriaVerified email at mat.unical.it