Francesco Scarcello Papers on DiSC'02 Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width Publications Note: Links lead to the DBLP on the Web. Francesco Scarcello 32 Georg Gottlob , Francesco Scarcello, Martha Sideri : Fixed-parameter complexity in AI and nonmonotonic reasoning. Artificial Intelligence 138 (1-2): 55-86 (2002) 31 Georg Gottlob , Nicola Leone , Francesco Scarcello: Hypertree Decompositions and Tractable Queries. JCSS 64 (3): 579-627 (2002) 30 Georg Gottlob , Nicola Leone , Francesco Scarcello: Computing LOGCFL certificates. TCS 270 (1-2): 761-777 (2002) 29 Nicola Leone , Simona Perri , Francesco Scarcello: Abduction with Penalization in Logic Programming. AI*IA 2001 : 123-134 28 Enrico Franconi , Antonio Laureti Palma , Nicola Leone , Simona Perri , Francesco Scarcello: Census Data Repair: a Challenging Application of Disjunctive Logic Programming. LPAR 2001 : 561-578 27 Nicola Leone , Simona Perri , Francesco Scarcello: Improving ASP Instantiators by Join-Ordering Methods. LPNMR 2001 : 280-294 26 Georg Gottlob , Nicola Leone , Francesco Scarcello: Hypertree Decompositions: A Survey. MFCS 2001 : 37-57 25 Georg Gottlob , Nicola Leone , Francesco Scarcello: Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS 2001 24 Georg Gottlob , Nicola Leone , Francesco Scarcello: The complexity of acyclic conjunctive queries. JACM 48 (3): 431-498 (2001) 23 Marco Cadoli , Francesco Scarcello: Semantical and computational aspects of Horn approximations. Artificial Intelligence 119 (1-2): 1-17 (2000) 22 Georg Gottlob , Nicola Leone , Francesco Scarcello: A comparison of structural CSP decomposition methods. Artificial Intelligence 124 (2): 243-282 (2000) 21 Georg Gottlob , Nicola Leone , Francesco Scarcello: On Tractable Queries and Constraints. DEXA 1999 : 1-15 20 Georg Gottlob , Nicola Leone , Francesco Scarcello: Computing LOGCFL Certificates. ICALP 1999 : 361-371 19 Georg Gottlob , Nicola Leone , Francesco Scarcello: A Comparison of Structural CSP Decomposition Methods. IJCAI 1999 : 394-399 18 Georg Gottlob , Francesco Scarcello, Martha Sideri : Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. LPNMR 1999 : 1-18 17 Georg Gottlob , Nicola Leone , Francesco Scarcello: Hypertree Decompositions and Tractable Queries. PODS 1999 : 21-32 16 Georg Gottlob , Nicola Leone , Francesco Scarcello: Hypertree Decompositions and Tractable Queries. SEBD 1999 : 275-289 15 Marco Cadoli , Luigi Palopoli , Francesco Scarcello: Propositional lower bounds: Algorithms and complexity. Annals of Mathematics and Artificial Intelligence 27 (1-4): 129-148 (1999) 14 Georg Gottlob , Nicola Leone , Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems. New Generation Computing 17 (1): 53-75 (1999) 13 Georg Gottlob , Nicola Leone , Francesco Scarcello: The Complexity of Acyclic Conjunctive Queries. FOCS 1998 : 706-715 12 Thomas Eiter , Nicola Leone , Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello: Progress Report on the Disjunctive Deductive Database System dlv . FQAS 1998 : 148-163 11 Marco Cadoli , Luigi Palopoli , Francesco Scarcello: Propositional Lower Bounds: Generalization and Algorithms. JELIA 1998 : 355-367 10 Thomas Eiter , Nicola Leone , Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello: The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998 : 406-417 9 Georg Gottlob , Nicola Leone , Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems. ILP 1997 : 17-32 8 Sergio Greco , Nicola Leone , Francesco Scarcello: DATALOG with Nested Rules. LPKR 1997 : 52-65 7 Thomas Eiter , Nicola Leone , Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello: A Deductive System for Non-Monotonic Reasoning. LPNMR 1997 : 364-375 6 Simona Citrigno , Thomas Eiter , Wolfgang Faber , Georg Gottlob , Christoph Koch , Nicola Leone , Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello: The dlv System: Model Generator and Advanced Frontends (system description). WLP 1997 : 0- 5 Nicola Leone , Pasquale Rullo , Francesco Scarcello: Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Information and Computation 135 (2): 69-112 (1997) 4 Nicola Leone , Pasquale Rullo , Francesco Scarcello: On the Computation of Disjunctive Stable Models. DEXA 1996 : 654-666 3 Nicola Leone , Pasquale Rullo , Francesco Scarcello: Stable Model Checking for Disjunctive Logic Programs. Logic in Databases 1996 : 265-278 2 Francesco Buccafurri , Nicola Leone , Francesco Scarcello: On the Expressive Power of Ordered Logic. AI Communications 9 (1): 4-13 (1996) 1 Nicola Leone , Francesco Scarcello: Declarative and Fixpoint Characterizations of Disjunctive Stable Models. ILPS 1995 : 399-413 DiSC'02 © 2003 Association for Computing Machinery