| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Nicola Leone 78 Michael Gelfond , Nicola Leone: Knowledge Representation and Logic Programming. Artificial Intelligence 138 (1-2): 1 (2002) 77 Michael Gelfond , Nicola Leone: Logic programming and knowledge representation - The A-Prolog perspective. Artificial Intelligence 138 (1-2): 3-38 (2002) 76 Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries. JCSS 64 (3): 579-627 (2002) 75 Georg Gottlob , Nicola Leone, Francesco Scarcello : Computing LOGCFL certificates. TCS 270 (1-2): 761-777 (2002) 74 Francesco Buccafurri , Wolfgang Faber , Nicola Leone: Disjunctive Logic Programs with Inheritance. TPLP 2 (3): 293-321 (2002) 73 Nicola Leone, Simona Perri , Francesco Scarcello : Abduction with Penalization in Logic Programming. AI*IA 2001 : 123-134 72 Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Experimenting with Heuristics for Answer Set Programming. IJCAI 2001 : 635-640 71 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 70 Nicola Leone, Simona Perri , Francesco Scarcello : Improving ASP Instantiators by Join-Ordering Methods. LPNMR 2001 : 280-294 69 Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001 : 295-308 68 Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Christoph Koch , Nicola Leone, Simona Perri , Gerald Pfeifer : System Description: DLV. LPNMR 2001 : 424-428 67 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : System Description: The DLV K Planning System. LPNMR 2001 : 429-433 66 Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions: A Survey. MFCS 2001 : 37-57 65 Georg Gottlob , Nicola Leone, Francesco Scarcello : Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS 2001 64 Georg Gottlob , Nicola Leone, Francesco Scarcello : The complexity of acyclic conjunctive queries. JACM 48 (3): 431-498 (2001) 63 Francesco Buccafurri , Thomas Eiter , Georg Gottlob , Nicola Leone: On ACTL Formulas Having Linear Counterexamples. JCSS 62 (3): 463-515 (2001) 62 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : Planning under Incomplete Knowledge. Computational Logic 2000 : 807-821 61 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000 : 125-134 60 Georg Gottlob , Nicola Leone, Francesco Scarcello : A comparison of structural CSP decomposition methods. Artificial Intelligence 124 (2): 243-282 (2000) 59 Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Enhancing Disjunctive Datalog by Constraints. TKDE 12 (5): 845-860 (2000) 58 Michael Gelfond , Nicola Leone, Gerald Pfeifer : Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings. Springer 1999 57 Nicola Leone, Simona Perri , Pasquale Rullo : Local Search Techniques for Disjunctive Logic Programs. AI*IA 1999 : 107-118 56 Georg Gottlob , Nicola Leone, Francesco Scarcello : On Tractable Queries and Constraints. DEXA 1999 : 1-15 55 Georg Gottlob , Nicola Leone, Francesco Scarcello : Computing LOGCFL Certificates. ICALP 1999 : 361-371 54 Francesco Buccafurri , Wolfgang Faber , Nicola Leone: Disjunctive Logic Programs with Inheritance. ICLP 1999 : 79-93 53 Georg Gottlob , Nicola Leone, Francesco Scarcello : A Comparison of Structural CSP Decomposition Methods. IJCAI 1999 : 394-399 52 Christoph Koch , Nicola Leone: Stable Model Checking Made Easy. IJCAI 1999 : 70-75 51 Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Pushing Goal Derivation in DLP Computations. LPNMR 1999 : 177-191 50 Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries. PODS 1999 : 21-32 49 Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries. SEBD 1999 : 275-289 48 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer : The Diagnosis Frontend of the dlv System. AI Communications 12 (1-2): 99-111 (1999) 47 Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Semantics and Expressiveness of Disjunctive Ordered Logic. Annals of Mathematics and Artificial Intelligence 25 (3-4): 311-337 (1999) 46 Georg Gottlob , Nicola Leone, Helmut Veith : Succinctness as a Source of Complexity in Logical Formalisms. Annals of Pure and Applied Logic 97 (1-3): 231-260 (1999) 45 Francesco Buccafurri , Thomas Eiter , Georg Gottlob , Nicola Leone: Enhancing Model Checking in Verification by AI Techniques. Artificial Intelligence 112 (1-2): 57-104 (1999) 44 Georg Gottlob , Nicola Leone, Francesco Scarcello : On the Complexity of Some Inductive Logic Programming Problems. New Generation Computing 17 (1): 53-75 (1999) 43 Nicola Leone, Luigi Palopoli , Domenico Saccà : On the Complexity of Search Queries. FMLDO 1998 : 113-127 42 Georg Gottlob , Nicola Leone, Francesco Scarcello : The Complexity of Acyclic Conjunctive Queries. FOCS 1998 : 706-715 41 Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : Progress Report on the Disjunctive Deductive Database System dlv . FQAS 1998 : 148-163 40 Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998 : 406-417 39 Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Disjunctive Ordered Logic: Semantics and Expressiveness. KR 1998 : 418-431 38 Thomas Eiter , Nicola Leone, Domenico Saccà : Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. TCS 206 (1-2): 181-218 (1998) 37 Georg Gottlob , Nicola Leone, Francesco Scarcello : On the Complexity of Some Inductive Logic Programming Problems. ILP 1997 : 17-32 36 Sergio Greco , Nicola Leone, Francesco Scarcello : DATALOG with Nested Rules. LPKR 1997 : 52-65 35 Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Strong and Weak Constraints in Disjunctive Datalog. LPNMR 1997 : 2-17 34 Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : A Deductive System for Non-Monotonic Reasoning. LPNMR 1997 : 364-375 33 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- 32 Thomas Eiter , Nicola Leone, Domenico Saccà : On the Partial Semantics for Disjunctive Deductive Databases. Annals of Mathematics and Artificial Intelligence 19 (1-2): 59-96 (1997) 31 Thomas Eiter , Georg Gottlob , Nicola Leone: Semantics and Complexity of Abduction from Default Theories. Artificial Intelligence 90 (1-2): 177-223 (1997) 30 Nicola Leone, Clara Pizzuti , Pasquale Rullo : Efficient Evaluation of a Class of Ordered Logic Programs. DKE 23 (2): 185-214 (1997) 29 Nicola Leone, Pasquale Rullo , Francesco Scarcello : Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Information and Computation 135 (2): 69-112 (1997) 28 Thomas Eiter , Georg Gottlob , Nicola Leone: On the Indiscernibility of Individuals in Logic Programming. Journal of Logic and Computation 7 (6): 805-824 (1997) 27 Thomas Eiter , Georg Gottlob , Nicola Leone: Abduction from Logic Programs: Semantics and Complexity. TCS 189 (1-2): 129-177 (1997) 26 Nicola Leone, Pasquale Rullo , Antonella Mecchia , Giuseppe Rossi : A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. TKDE 9 (4): 539-558 (1997) 25 Laks V. S. Lakshmanan , Nicola Leone, Robert Ross , V. S. Subrahmanian : ProbView: A Flexible Probabilistic Database System. TODS 22 (3): 419-469 (1997) 24 Thomas Eiter , Nicola Leone, Domenico Saccà : Partial Semantics for Disjunctive Deductive Databases. DEXA 1996 : 564-573 23 Nicola Leone, Pasquale Rullo , Francesco Scarcello : On the Computation of Disjunctive Stable Models. DEXA 1996 : 654-666 22 Thomas Eiter , Nicola Leone, Domenico Saccà : The Expressive Power of Partial Models in Disjunctive Deductive Databases. Logic in Databases 1996 : 245-264 21 Nicola Leone, Pasquale Rullo , Francesco Scarcello : Stable Model Checking for Disjunctive Logic Programs. Logic in Databases 1996 : 265-278 20 Francesco Buccafurri , Nicola Leone, Francesco Scarcello : On the Expressive Power of Ordered Logic. AI Communications 9 (1): 4-13 (1996) 19 Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. JLP 27 (1): 5-43 (1996) 18 Francesco Buccafurri , Nicola Leone, Luigi Palopoli , Pasquale Rullo : Disjunctive Ordered Logic. DEXA 1995 : 303-312 17 Thomas Eiter , Georg Gottlob , Nicola Leone: Semantics and Complexity of Abduction from Default Theories. IJCAI (1) 1995 : 870-877 16 Nicola Leone, Francesco Scarcello : Declarative and Fixpoint Characterizations of Disjunctive Stable Models. ILPS 1995 : 399-413 15 Thomas Eiter , Georg Gottlob , Nicola Leone: Complexity Results for Abductive Logic Programming. LPNMR 1995 : 1-14 14 Georg Gottlob , Nicola Leone, Helmut Veith : Second Order Logic and the Weak Exponential Hierarchies. MFCS 1995 : 66-81 13 Thomas Eiter , Nicola Leone: On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. WLP 1995 : 217-226 12 Nicola Leone, Luigi Palopoli , Massimo Romeo : A Language for Updating Logic Programs and its Implementation. JLP 23 (1): 1-61 (1995) 11 Nicola Leone, Luigi Palopoli , Massimo Romeo : Modifying Intensional Logic Knowledge. Fundamenta Informaticae 21 (3): 183-203 (1994) 10 Nicola Leone, Luigi Palopoli , Massimo Romeo : Updating Logic Programs. ISMIS 1993 : 235-244 9 Nicola Leone, Fabio Messina , Tommaso Mostardi , Carlo Siciliano : Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase. SEBD 1993 : 185-198 8 Nicola Leone, Pasquale Rullo : Ordered Logic Programming with Sets. Journal of Logic and Computation 3 (6): 621-642 (1993) 7 Nicola Leone, Massimo Romeo , Pasquale Rullo , Domenico Saccà : Effective Implementation of Negation in Database Logic Query Languages. LNCS 701 : 159-175 (1993) 6 Nicola Leone, Giuseppe Rossi : Well-Founded Semantics and Stratification for Ordered Logic Programs. New Generation Computing 12 (1): 91-121 (1993) 5 Nicola Leone, Antonella Mecchia , Giuseppe Rossi , Pasquale Rullo : The Basic Query Machine of the KIWIS System. CAiSE 1992 : 632-650 4 Nicola Leone, Pasquale Rullo : Stable Model Semantics and its Computation for Ordered Logic Programs. ECAI 1992 : 92-96 3 Nicola Leone, Pasquale Rullo : Safe computation of the well-founded semantics of Datalog queries. IS 17 (1): 17-31 (1992) 2 Sergio Greco , Nicola Leone, Pasquale Rullo : COMPLEX: An Object-Oriented Logic Programming System. TKDE 4 (4): 344-359 (1992) 1 Matts Ahlsen , Alessandro D'Atri , Paul Johannesson , Els Laenens , Nicola Leone, Pasquale Rullo , P. Rossi , François Staes , Laura Tarantino , L. Van Beirendonck , L. Van Cadsand , W. Van Santvliet , J. Vanslembrouck , Brigitte Verdonk , Dirk Vermeir : The KIWIS Knowledge Base Management System. CAiSE 1991 : 79-97  DiSC'02 © 2003 Association for Computing Machinery |
