| The DLV system for knowledge representation and reasoning N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F Scarcello ACM Transactions on Computational Logic (TOCL) 7 (3), 499-562, 2006 | 1591 | 2006 |
| 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 | 132 | 2017 |
| Census data repair: a challenging application of disjunctive logic programming E Franconi1, AL Palma, N Leone, S Perri, F Scarcello Logic for Programming, Artificial Intelligence, and Reasoning: 8th …, 2001 | 128 | 2001 |
| Grounding and solving in answer set programming B Kaufmann, N Leone, S Perri, T Schaub AI magazine 37 (3), 25-32, 2016 | 101 | 2016 |
| I-DLV: the new intelligent grounder of DLV F Calimeri, D Fuscà, S Perri, J Zangari Intelligenza Artificiale 11 (1), 5-20, 2017 | 92 | 2017 |
| The disjunctive datalog system DLV M Alviano, W Faber, N Leone, S Perri, G Pfeifer, G Terracina Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK …, 2011 | 88 | 2011 |
| 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 |
| 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 | 82 | 2018 |
| The DLV system N Leone, G Pfeifer, W Faber, F Calimeri, T Dell’Armi, T Eiter, G Gottlob, ... Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002 | 81 | 2002 |
| 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 | 59 | 2018 |
| Improving ASP instantiators by join-ordering methods N Leone, S Perri, F Scarcello Logic Programming and Nonmotonic Reasoning: 6th International Conference …, 2001 | 57 | 2001 |
| The Intelligent Grounder of DLV W Faber, N Leone, S Perri Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz …, 2012 | 46 | 2012 |
| Declarative and computational properties of logic programs with aggregates F Calimeri, W Faber, N Leone, S Perri IJCAI 5, 406-411, 2005 | 46 | 2005 |
| Enhancing DLV instantiator by backjumping techniques S Perri, F Scarcello, G Catalano, N Leone Annals of Mathematics and Artificial Intelligence 51, 195-228, 2007 | 44 | 2007 |
| System description: DLV T Dell’Armi, W Faber, G Ielpa, C Koch, N Leone, S Perri, G Pfeifer International Conference on Logic Programming and Nonmonotonic Reasoning …, 2001 | 35 | 2001 |
| Parallel instantiation of ASP programs: techniques and experiments S Perri, F Ricca, M Sirianni Theory and Practice of Logic Programming 13 (2), 253-278, 2013 | 34 | 2013 |
| Experimenting with Parallelism for the Instantiation of ASP Programs F Calimeri, S Perri, F Ricca Journal of Algorithms 63 (1-3), 34-54, 2008 | 33 | 2008 |
| Optimizing answer set computation via heuristic-based decomposition F Calimeri, S Perri, J Zangari Theory and Practice of Logic Programming 19 (4), 603-628, 2019 | 29 | 2019 |
| BackJumping techniques for rules instantiation in the DLV system. N Leone, S Perri, F Scarcello NMR 2004, 258-266, 2004 | 29 | 2004 |
| 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 | 27 | 2011 |
Francesco CalimeriAssociate Professor of Computer Science, University of Calabria (UNICAL), ItalyE-mail confirmado em unical.it