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 | 1236 | 2006 |

Probview: A flexible probabilistic database system LVS Lakshmanan, N Leone, R Ross, VS Subrahmanian ACM Transactions on Database Systems (TODS) 22 (3), 419-469, 1997 | 452 | 1997 |

A comparison of structural CSP decomposition methods G Gottlob, N Leone, F Scarcello Artificial Intelligence 124 (2), 243-282, 2000 | 450 | 2000 |

Hypertree decompositions and tractable queries G Gottlob, N Leone, F Scarcello Journal of Computer and System Sciences 64 (3), 579-627, 2002 | 444 | 2002 |

The KR system dlv: Progress report, comparisons and benchmarks T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello KR 98, 406-417, 1998 | 254 | 1998 |

Recursive aggregates in disjunctive logic programs: Semantics and complexity W Faber, N Leone, G Pfeifer European Workshop on Logics in Artificial Intelligence, 200-212, 2004 | 242 | 2004 |

A deductive system for non-monotonic reasoning T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997 | 238 | 1997 |

Logic programming and knowledge representation—the A-Prolog perspective M Gelfond, N Leone Artificial Intelligence 138 (1-2), 3-38, 2002 | 233 | 2002 |

The complexity of acyclic conjunctive queries G Gottlob, N Leone, F Scarcello Journal of the ACM (JACM) 48 (3), 431-498, 2001 | 226 | 2001 |

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 | 218* | 2003 |

Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000 | 213 | 2000 |

Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation N Leone, P Rullo, F Scarcello Information and computation 135 (2), 69-112, 1997 | 212 | 1997 |

Semantics and complexity of recursive aggregates in answer set programming W Faber, G Pfeifer, N Leone Artificial Intelligence 175 (1), 278-298, 2011 | 190 | 2011 |

Enhancing disjunctive datalog by constraints F Buccafurri, N Leone, P Rullo IEEE Transactions on Knowledge and Data Engineering 12 (5), 845-860, 2000 | 181 | 2000 |

Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width G Gottlob, N Leone, F Scarcello Journal of computer and system sciences 66 (4), 775-808, 2003 | 163 | 2003 |

Abduction from logic programs: Semantics and complexity T Eiter, G Gottlob, N Leone Theoretical computer science 189 (1-2), 129-177, 1997 | 148 | 1997 |

Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV T Dell'Armi, W Faber, G Ielpa, N Leone, G Pfeifer IJCAI 3, 847-852, 2003 | 124 | 2003 |

Computable functions in ASP: Theory and implementation F Calimeri, S Cozza, G Ianni, N Leone International Conference on Logic Programming, 407-424, 2008 | 123 | 2008 |

The diagnosis frontend of the dlv system T Eiter, W Faber, N Leone, G Pfeifer AI Communications 12 (1‐2), 99-111, 1999 | 119 | 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 | 118 | 2005 |