| 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 |
| Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000 | 317* | 2000 |
| Semantics and complexity of recursive aggregates in answer set programming W Faber, G Pfeifer, N Leone Artificial Intelligence 175 (1), 278-298, 2011 | 298 | 2011 |
| 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 | 296 | 2004 |
| 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 | 227 | 2020 |
| 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 | 187 | 2003 |
| ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012 | 169 | 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 | 140 | 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 | 136 | 2004 |
| The diagnosis frontend of the dlv system T Eiter, W Faber, N Leone, G Pfeifer AI Communications 12 (1‐2), 99-111, 1999 | 136 | 1999 |
| 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 | 132 | 2013 |
| 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 | 131 | 2005 |
| Disjunctive logic programs with inheritance F Buccafurri, W Faber, N Leone Theory and Practice of Logic Programming 2 (3), 293-321, 2002 | 122 | 2002 |
| 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 | 117 | 2008 |
| 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 | 106 | 2000 |
| 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 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, ... 11th International Conference on Logic Programming and Nonmonotonic …, 2011 | 86 | 2011 |
| 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 | 81 | 2002 |
| Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming T Eiter, W Faber, N Leone, G Pfeifer Theory and Practice of Logic Programming 3 (4-5), 463-498, 2003 | 80 | 2003 |
Nicola LeoneUniversity of Calabria, Professor of Computer Scienceunical.it의 이메일 확인됨