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

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

Hypertree decompositions and tractable queries G Gottlob, N Leone, F Scarcello Journal of Computer and System Sciences 64 (3), 579-627, 2002 | 451 | 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 |

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 | 239 | 1997 |

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

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

Pure Nash equilibria: Hard and easy games G Gottlob, G Greco, F Scarcello Journal of Artificial Intelligence Research 24, 357-406, 2005 | 209 | 2005 |

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 |

Census data repair: a challenging application of disjunctive logic programming E Franconi, AL Palma, N Leone, S Perri, F Scarcello International Conference on Logic for Programming Artificial Intelligence …, 2001 | 112 | 2001 |

Hypertree decompositions: A survey G Gottlob, N Leone, F Scarcello International Symposium on Mathematical Foundations of Computer Science, 37-57, 2001 | 89 | 2001 |

Fixed-parameter complexity in AI and nonmonotonic reasoning G Gottlob, F Scarcello, M Sideri Artificial Intelligence 138 (1-2), 55-86, 2002 | 81 | 2002 |

Hypertree decompositions: Structure, algorithms, and applications G Gottlob, M Grohe, N Musliu, M Samer, F Scarcello International Workshop on Graph-Theoretic Concepts in Computer Science, 1-15, 2005 | 76 | 2005 |

The DLV system for knowledge representation and reasoning N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F Scarcello In ACM Transaction on Computational Logic. To Appear, 2005 | 69 | 2005 |

On the complexity of core, kernel, and bargaining set G Greco, E Malizia, L Palopoli, F Scarcello Artificial Intelligence 175 (12-13), 1877-1910, 2011 | 63* | 2011 |

The dlv system: Model generator and application frontends S Citrigno, T Eiter, W Faber, G Gottlob, C Koch, N Leone, C Mateis, ... Proceedings of the 12th Workshop on Logic Programming 128137, 1997 | 62 | 1997 |

Semantical and computational aspects of Horn approximations M Cadoli IJCAI, 39-45, 1993 | 60* | 1993 |

On tractable queries and constraints G Gottlob, N Leone, F Scarcello International Conference on Database and Expert Systems Applications, 1-15, 1999 | 54 | 1999 |

Improving ASP instantiators by join-ordering methods N Leone, S Perri, F Scarcello International Conference on Logic Programming and Nonmonotonic Reasoning …, 2001 | 49 | 2001 |

On the complexity of the core over coalition structures G Greco, E Malizia, L Palopoli, F Scarcello Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 45 | 2011 |