| 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 | 1647 | 2006 |
| Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000 | 335* | 2000 |
| Semantics and complexity of recursive aggregates in answer set programming W Faber, G Pfeifer, N Leone Artificial Intelligence 175 (1), 278-298, 2011 | 324 | 2011 |
| 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 | 311 | 2020 |
| Recursive aggregates in disjunctive logic programs: Semantics and complexity W Faber, N Leone, G Pfeifer 9th European Conference on Logics in Artificial Intelligence, JELIA 2004 …, 2004 | 310 | 2004 |
| A logic programming approach to knowledge-state planning, II: The DLVK system T Eiter, W Faber, N Leone, G Pfeifer, A Polleres Artificial Intelligence 144 (1-2), 157-211, 2003 | 190 | 2003 |
| ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012 | 149 | 2012 |
| Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV T Dell Armi, W Faber, G Ielpa, N Leone, G Pfeifer 18th International Joint Conference on Artificial Intelligence (IJCAI 2003 …, 2003 | 147 | 2003 |
| A logic programming approach to knowledge-state planning: Semantics and complexity T Eiter, W Faber, N Leone, G Pfeifer, A Polleres ACM Transactions on Computational Logic (TOCL) 5 (2), 206-263, 2004 | 139 | 2004 |
| 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 | 138 | 2013 |
| The diagnosis frontend of the dlv system T Eiter, W Faber, N Leone, G Pfeifer AI Communications 12 (1-2), 99-111, 1999 | 138 | 1999 |
| The INFOMIX system for advanced integration of incomplete and inconsistent data N Leone, G Greco, G Ianni, V Lio, G Terracina, T Eiter, W Faber, M Fink, ... Proceedings of the 2005 ACM SIGMOD international conference on Management of …, 2005 | 136 | 2005 |
| Design and implementation of aggregate functions in the DLV system W Faber, G Pfeifer, N Leone, T Dell'Armi, G Ielpa Theory and Practice of Logic Programming 8 (5-6), 545-580, 2008 | 118 | 2008 |
| Disjunctive logic programs with inheritance F Buccafurri, W Faber, N Leone Theory and Practice of Logic Programming 2 (3), 293-321, 2002 | 116 | 2002 |
| Planning under incomplete knowledge T Eiter, W Faber, N Leone, G Pfeifer, A Polleres First International Conference on Computational Logic, CL 2000, 807-821, 2000 | 110 | 2000 |
| 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 | 94 | 2010 |
| 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, ... 11th International Conference on Logic Programming and Nonmonotonic …, 2011 | 93 | 2011 |
| Answer set planning under action costs T Eiter, W Faber, N Leone, G Pfeifer, A Polleres J. Artif. Intell. Res. (JAIR) 19, 25-71, 2003 | 93 | 2003 |
| The DLV system N Leone, G Pfeifer, W Faber, F Calimeri, T Dell’Armi, T Eiter, G Gottlob, ... 8th European Conference on Artificial Intelligence, JELIA 2002, 537-540, 2002 | 85 | 2002 |
| Complexity results for answer set programming with bounded predicate arities and implications T Eiter, W Faber, M Fink, S Woltran Annals of Mathematics and Artificial Intelligence 51 (2), 123-165, 2007 | 83 | 2007 |
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
