dblp.uni-trier.dewww.uni-trier.de

Nicola Leone Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
170EESalvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca: An ASP-Based System for e-Tourism. LPNMR 2009: 368-381
169EEAnnamaria Bria, Wolfgang Faber, Nicola Leone: nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. LPNMR 2009: 477-482
168EEFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: An ASP System with Functions, Lists, and Sets. LPNMR 2009: 483-489
167EENicola Leone, Francesco Ricca, Giorgio Terracina: An ASP-Based Data Integration System. LPNMR 2009: 528-534
166EEGiovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca: Some DLV Applications for Knowledge Management. LPNMR 2009: 591-597
165EENicola Leone: Exploiting ASP in Real-World Applications: Main Strengths and Challenges. LPNMR 2009: 628-630
164EEFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. LPNMR 2009: 71-86
2008
163 Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets for Data Integration. AAAI 2008: 1528-1531
162EEFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Computable Functions in ASP: Theory and Implementation. ICLP 2008: 407-424
161EENicola Leone, Wolfgang Faber: The DLV Project: A Tour from Theory and Research to Applications and Market. ICLP 2008: 53-68
160EEAnnamaria Bria, Wolfgang Faber, Nicola Leone: Normal Form Nested Programs. JELIA 2008: 76-88
159EEGiorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone: Enhancing a DLP System for Advanced Database Applications. RR 2008: 119-134
158EEWolfgang Faber, Nicola Leone, Francesco Ricca: Answer Set Programming. Wiley Encyclopedia of Computer Science and Engineering 2008
157EEEnrico Giunchiglia, Nicola Leone, Marco Maratea: On the relation among answer set solvers. Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008)
156EEWolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa: Design and Implementation of Aggregate Functions in the DLV System CoRR abs/0802.3137: (2008)
155EEMarco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone: Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. J. Algorithms 63(1-3): 70-89 (2008)
154EEGiorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta: Experimenting with recursive queries in database and logic programming systems. TPLP 8(2): 129-165 (2008)
153EEWolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa: Design and implementation of aggregate functions in the DLV system. TPLP 8(5-6): 545-580 (2008)
2007
152EENicola Leone: Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. LPNMR 2007: 1
151EEWolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca: Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122
150EEWolfgang Faber, Nicola Leone: On the Complexity of Answer Set Programming with Aggregates. LPNMR 2007: 97-109
149EESimona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone: Enhancing DLV instantiator by backjumping techniques. Ann. Math. Artif. Intell. 51(2-4): 195-228 (2007)
148EEWolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca: On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. 51(2-4): 229-266 (2007)
147EEGiorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta: Experimenting with recursive queries in database and logic programming systems CoRR abs/0704.3157: (2007)
146EEFrancesco Ricca, Nicola Leone: Disjunctive logic programming with types and objects: The DLV+ system. J. Applied Logic 5(3): 545-573 (2007)
145EEFrancesco Scarcello, Gianluigi Greco, Nicola Leone: Weighted hypertree decompositions and optimal query plans. J. Comput. Syst. Sci. 73(3): 475-506 (2007)
144EEWolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and their application to data integration. J. Comput. Syst. Sci. 73(4): 584-609 (2007)
2006
143EEAndrea Gualtieri, Tina Dell'Armi, Nicola Leone: Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features. Business Process Management Workshops 2006: 153-163
142EEGiorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta: Adding Efficient Data Management to Logic Programming Systems. ISMIS 2006: 524-533
141EEMassimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà: A Logic-Based Tool for Semantic Information Extraction. JELIA 2006: 506-510
140 Massimo Ruffolo, Lorenzo Gallucci, Nicola Leone, Marco Manna, Domenico Saccà: Towards a Semantic Information Extraction Approach from Unstructured Documents. SEBD 2006: 167-174
139EENicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3): 499-562 (2006)
138EEFrancesco Ricca, Wolfgang Faber, Nicola Leone: A backjumping technique for Disjunctive Logic Programming. AI Commun. 19(2): 155-172 (2006)
137EEFrancesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone: Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Inform. 71(2-3): 183-214 (2006)
2005
136 Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina: Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings Springer 2005
135EEMassimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto: Exploiting ASP for Semantic Information Extraction. Answer Set Programming 2005
134EEWolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and Their Application to Data Integration. ICDT 2005: 306-320
133EEWolfgang Faber, Nicola Leone, Francesco Ricca: Heuristics for Hard ASP Programs. IJCAI 2005: 1562-1563
132EEFrancesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri: Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI 2005: 406-411
131EENicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina: Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383
130EEFrancesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso: A DLP System with Object-Oriented Features. LPNMR 2005: 432-436
129 Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and their Application to Data Integration. SEBD 2005: 47-54
128 Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco: Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66
127EENicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis: The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917
126 Wolfgang Faber, Nicola Leone, Francesco Ricca: Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. Intelligenza Artificiale 2(3): 21-28 (2005)
125EESimona Perri, Francesco Scarcello, Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. TPLP 5(1-2): 123-159 (2005)
2004
124EEChiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone: Enhancing the Magic-Set Method for Disjunctive Datalog Programs. ICLP 2004: 371-385
123EEWolfgang Faber, Nicola Leone, Gerald Pfeifer: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA 2004: 200-212
122EEFrancesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer: New DLV Features for Data Integration. JELIA 2004: 698-701
121EETina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV with Aggregates. LPNMR 2004: 326-330
120EENicola Leone, Vincenzino Lio, Giorgio Terracina: DLV DB: Adding Efficient Data Management Features to ASP. LPNMR 2004: 341-345
119EENicola Leone, Simona Perri, Francesco Scarcello: BackJumping techniques for rules instantiation in the DLV system. NMR 2004: 258-266
118EEFrancesco Scarcello, Gianluigi Greco, Nicola Leone: Weighted Hypertree Decompositions and Optimal Query Plans. PODS 2004: 210-221
117 Gianluigi Greco, Nicola Leone, Francesco Scarcello: On Weighted Hypertree Decompositions. SEBD 2004: 54-61
116EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. 5(2): 206-263 (2004)
115EESimona Perri, Nicola Leone: Parametric connectives in Disjunctive Logic Programming. AI Commun. 17(2): 63-74 (2004)
114EEFrancesco Calimeri, Nicola Leone: Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) CoRR cs.AI/0404012: (2004)
113EENicola Leone, Francesco Scarcello, V. S. Subrahmanian: Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. IEEE Trans. Knowl. Data Eng. 16(4): 487-503 (2004)
2003
112EETina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer: Aggregate Functions in DLV. Answer Set Programming 2003
111EENicola Leone, Simona Perri: Parametric Connectives in Disjunctive Logic Programming. Answer Set Programming 2003
110 Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. IJCAI 2003: 847-852
109EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A logic programming approach to knowledge-state planning, II: The DLVK system. Artif. Intell. 144(1-2): 157-211 (2003)
108EEChristoph Koch, Nicola Leone, Gerald Pfeifer: Enhancing disjunctive logic programming systems by SAT checkers. Artif. Intell. 151(1-2): 177-212 (2003)
107EESimona Perri, Francesco Scarcello, Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation CoRR cs.AI/0310047: (2003)
106EESimona Perri, Nicola Leone: Parametric Connectives in Disjunctive Logic Programming CoRR cs.AI/0311007: (2003)
105EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning Under Action Costs. J. Artif. Intell. Res. (JAIR) 19: 25-71 (2003)
104EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. J. Comput. Syst. Sci. 66(4): 775-808 (2003)
103 Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing preferred answer sets by meta-interpretation in answer set programming. TPLP 3(4-5): 463-498 (2003)
2002
102 Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings Springer 2002
101EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning under Action Costs. JELIA 2002: 186-197
100EENicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres: The DLV System. JELIA 2002: 537-540
99EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: The DLVK Planning System: Progress Report. JELIA 2002: 541-544
98 Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Pruning operators for answer set programming systems. NMR 2002: 200-209
97 Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello: Cost-based Query Decompositions. SEBD 2002: 390-403
96EEMichael Gelfond, Nicola Leone: Knowledge Representation and Logic Programming. Artif. Intell. 138(1-2): 1 (2002)
95EEMichael Gelfond, Nicola Leone: Logic programming and knowledge representation - The A-Prolog perspective. Artif. Intell. 138(1-2): 3-38 (2002)
94EENicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV System for Knowledge Representation and Reasoning CoRR cs.AI/0211004: (2002)
93EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming CoRR cs.LO/0201013: (2002)
92EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. J. Comput. Syst. Sci. 64(3): 579-627 (2002)
91 Francesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance. TPLP 2(3): 293-321 (2002)
90EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Computing LOGCFL certificates. Theor. Comput. Sci. 270(1-2): 761-777 (2002)
2001
89EENicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming. AI*IA 2001: 123-134
88EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Answer Set Programming 2001
87 Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Experimenting with Heuristics for Answer Set Programming. IJCAI 2001: 635-640
86EEEnrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello: Census Data Repair: a Challenging Application of Disjunctive Logic Programming. LPAR 2001: 561-578
85EENicola Leone, Simona Perri, Francesco Scarcello: Improving ASP Instantiators by Join-Ordering Methods. LPNMR 2001: 280-294
84EEWolfgang Faber, Nicola Leone, Gerald Pfeifer: Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001: 295-308
83EETina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV. LPNMR 2001: 424-428
82EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: System Description: The DLVK Planning System. LPNMR 2001: 429-433
81EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions: A Survey. MFCS 2001: 37-57
80EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS 2001
79 Georg Gottlob, Nicola Leone, Francesco Scarcello: Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. SEBD 2001: 147-154
78 Nicola Leone, Simona Perri, Francesco Scarcello: Join Ordering Techniques for Knowledge Base Systems. SEBD 2001: 79-93
77EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity CoRR cs.AI/0112006: (2001)
76EEFrancesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance CoRR cs.LO/0105036: (2001)
75EEGiovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming CoRR cs.LO/0111010: (2001)
74EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: The complexity of acyclic conjunctive queries. J. ACM 48(3): 431-498 (2001)
73 Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone: On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. 62(3): 463-515 (2001)
2000
72EEThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Planning under Incomplete Knowledge. Computational Logic 2000: 807-821
71 Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000: 125-134
70EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: A comparison of structural CSP decomposition methods. Artif. Intell. 124(2): 243-282 (2000)
69EEThomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer: DLV - A System for Declarative Problem Solving CoRR cs.AI/0003036: (2000)
68EEFrancesco Buccafurri, Nicola Leone, Pasquale Rullo: Enhancing Disjunctive Datalog by Constraints. IEEE Trans. Knowl. Data Eng. 12(5): 845-860 (2000)
1999
67 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
66EENicola Leone, Simona Perri, Pasquale Rullo: Local Search Techniques for Disjunctive Logic Programs. AI*IA 1999: 107-118
65EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: On Tractable Queries and Constraints. DEXA 1999: 1-15
64EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Computing LOGCFL Certificates. ICALP 1999: 361-371
63 Francesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance. ICLP 1999: 79-93
62 Georg Gottlob, Nicola Leone, Francesco Scarcello: A Comparison of Structural CSP Decomposition Methods. IJCAI 1999: 394-399
61 Christoph Koch, Nicola Leone: Stable Model Checking Made Easy. IJCAI 1999: 70-75
60EEWolfgang Faber, Nicola Leone, Gerald Pfeifer: Pushing Goal Derivation in DLP Computations. LPNMR 1999: 177-191
59EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. PODS 1999: 21-32
58 Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. SEBD 1999: 275-289
57 Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: The Diagnosis Frontend of the dlv System. AI Commun. 12(1-2): 99-111 (1999)
56 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Semantics and Expressiveness of Disjunctive Ordered Logic. Ann. Math. Artif. Intell. 25(3-4): 311-337 (1999)
55 Georg Gottlob, Nicola Leone, Helmut Veith: Succinctness as a Source of Complexity in Logical Formalisms. Ann. Pure Appl. Logic 97(1-3): 231-260 (1999)
54EEFrancesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone: Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. 112(1-2): 57-104 (1999)
53 Georg Gottlob, Nicola Leone, Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems. New Generation Comput. 17(1): 53-75 (1999)
1998
52 Nicola Leone, Luigi Palopoli, Domenico Saccà: On the Complexity of Search Queries. FMLDO 1998: 113-127
51EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: The Complexity of Acyclic Conjunctive Queries. FOCS 1998: 706-715
50EEThomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: Progress Report on the Disjunctive Deductive Database System dlv. FQAS 1998: 148-163
49 Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998: 406-417
48 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Disjunctive Ordered Logic: Semantics and Expressiveness. KR 1998: 418-431
47EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries CoRR cs.DB/9812022: (1998)
46EEThomas Eiter, Nicola Leone, Domenico Saccà: Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. Theor. Comput. Sci. 206(1-2): 181-218 (1998)
1997
45 Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE 1997: 141-152
44 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Adding Weak Constraints to Disjunctive Datalog. APPIA-GULP-PRODE 1997: 557-568
43 Georg Gottlob, Nicola Leone, Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems. ILP 1997: 17-32
42EESergio Greco, Nicola Leone, Francesco Scarcello: DATALOG with Nested Rules. LPKR 1997: 52-65
41 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Strong and Weak Constraints in Disjunctive Datalog. LPNMR 1997: 2-17
40 Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: A Deductive System for Non-Monotonic Reasoning. LPNMR 1997: 364-375
39 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-
38EELaks V. S. Lakshmanan, Nicola Leone, Robert B. Ross, V. S. Subrahmanian: ProbView: A Flexible Probabilistic Database System. ACM Trans. Database Syst. 22(3): 419-469 (1997)
37 Thomas Eiter, Nicola Leone, Domenico Saccà: On the Partial Semantics for Disjunctive Deductive Databases. Ann. Math. Artif. Intell. 19(1-2): 59-96 (1997)
36EEThomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. Artif. Intell. 90(1-2): 177-223 (1997)
35EENicola Leone, Clara Pizzuti, Pasquale Rullo: Efficient Evaluation of a Class of Ordered Logic Programs. Data Knowl. Eng. 23(2): 185-214 (1997)
34EENicola Leone, Pasquale Rullo, Antonella Mecchia, Giuseppe Rossi: A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 539-558 (1997)
33 Nicola Leone, Pasquale Rullo, Francesco Scarcello: Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Inf. Comput. 135(2): 69-112 (1997)
32 Thomas Eiter, Georg Gottlob, Nicola Leone: On the Indiscernibility of Individuals in Logic Programming. J. Log. Comput. 7(6): 805-824 (1997)
31EEThomas Eiter, Georg Gottlob, Nicola Leone: Abduction from Logic Programs: Semantics and Complexity. Theor. Comput. Sci. 189(1-2): 129-177 (1997)
1996
30 Thomas Eiter, Nicola Leone, Domenico Saccà: Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. APPIA-GULP-PRODE 1996: 271-282
29 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Computing Disjunctive Ordered Logic. APPIA-GULP-PRODE 1996: 283-294
28EEThomas Eiter, Nicola Leone, Domenico Saccà: Partial Semantics for Disjunctive Deductive Databases. DEXA 1996: 564-573
27EENicola Leone, Pasquale Rullo, Francesco Scarcello: On the Computation of Disjunctive Stable Models. DEXA 1996: 654-666
26 Thomas Eiter, Nicola Leone, Domenico Saccà: The Expressive Power of Partial Models in Disjunctive Deductive Databases. Logic in Databases 1996: 245-264
25 Nicola Leone, Pasquale Rullo, Francesco Scarcello: Stable Model Checking for Disjunctive Logic Programs. Logic in Databases 1996: 265-278
24 Francesco Buccafurri, Nicola Leone, Francesco Scarcello: On the Expressive Power of Ordered Logic. AI Commun. 9(1): 4-13 (1996)
23 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. J. Log. Program. 27(1): 5-43 (1996)
1995
22EEFrancesco Buccafurri, Nicola Leone, Luigi Palopoli, Pasquale Rullo: Disjunctive Ordered Logic DEXA 1995: 303-312
21 Francesco Scarcello, Nicola Leone, Luigi Palopoli: Curbing Theories: Fixpoint Semantics and Complexity Issues. GULP-PRODE 1995: 545-556
20 Thomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. IJCAI (1) 1995: 870-877
19 Nicola Leone, Francesco Scarcello: Declarative and Fixpoint Characterizations of Disjunctive Stable Models. ILPS 1995: 399-413
18 Thomas Eiter, Georg Gottlob, Nicola Leone: Complexity Results for Abductive Logic Programming. LPNMR 1995: 1-14
17EEGeorg Gottlob, Nicola Leone, Helmut Veith: Second Order Logic and the Weak Exponential Hierarchies. MFCS 1995: 66-81
16 Thomas Eiter, Nicola Leone: On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. WLP 1995: 217-226
15 Nicola Leone, Luigi Palopoli, Massimo Romeo: A Language for Updating Logic Programs and its Implementation. J. Log. Program. 23(1): 1-61 (1995)
1994
14 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: A non-deterministic semantics for ordered logic programs. GULP-PRODE (1) 1994: 449-463
13 Fabrizio Angiulli, Nicola Leone, Fabio Messina, Massimo Romeo: Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati Relazionali Remote. SEBD 1994: 397-406
12 Nicola Leone, Luigi Palopoli, Massimo Romeo: Modifying Intensional Logic Knowledge. Fundam. Inform. 21(3): 183-203 (1994)
1993
11 Nicola Leone, Pasquale Rullo: Adding Set Terms to Ordered Logic Programs. GULP 1993: 87-100
10EENicola 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, Massimo Romeo, Pasquale Rullo, Domenico Saccà: Effective Implementation of Negation in Database Logic Query Languages. LOGIDATA+: Deductive Databases with Complex Objects 1993: 159-175
7 Nicola Leone, Pasquale Rullo: Ordered Logic Programming with Sets. J. Log. Comput. 3(6): 621-642 (1993)
6 Nicola Leone, Giuseppe Rossi: Well-Founded Semantics and Stratification for Ordered Logic Programs. New Generation Comput. 12(1): 91-121 (1993)
1992
5EENicola 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
3EESergio Greco, Nicola Leone, Pasquale Rullo: COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4(4): 344-359 (1992)
2 Nicola Leone, Pasquale Rullo: Safe computation of the well-founded semantics of Datalog queries. Inf. Syst. 17(1): 17-31 (1992)
1991
1EEMatts 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

Coauthor Index

1Matts Ahlsen [1]
2Fabrizio Angiulli [13]
3Chitta Baral [136]
4L. Van Beirendonck [1]
5Valerio De Bonis [130]
6Annamaria Bria [160] [169]
7Francesco Buccafurri [14] [22] [23] [24] [29] [41] [44] [48] [54] [56] [63] [68] [73] [76] [91]
8L. Van Cadsand [1]
9Francesco Calimeri [98] [100] [114] [122] [132] [137] [162] [164] [168]
10Gelsomina Catalano [149]
11Manuela Citrigno [122]
12Simona Citrigno [39]
13Susanna Cozza [162] [164] [168]
14Chiara Cumbo [122] [124]
15Alessandro D'Atri [1]
16Tina Dell'Armi [83] [100] [110] [112] [121] [130] [143] [153] [156]
17Thomas Eiter [16] [18] [20] [26] [28] [30] [31] [32] [36] [37] [39] [40] [45] [46] [49] [50] [54] [57] [69] [71] [72] [73] [77] [82] [88] [93] [94] [99] [100] [101] [103] [105] [109] [116] [127] [128] [131] [139]
18Wolfgang Faber [39] [57] [60] [63] [69] [71] [72] [76] [77] [82] [83] [84] [87] [88] [91] [93] [94] [98] [99] [100] [101] [103] [105] [109] [110] [112] [116] [121] [122] [123] [124] [126] [127] [128] [129] [131] [132] [133] [134] [137] [138] [139] [144] [148] [150] [151] [153] [155] [156] [158] [160] [161] [163] [169]
19Michael Fink [127] [128] [131]
20Sergio Flesca [102]
21Erika De Francesco [159]
22Enrico Franconi [86]
23Stefania Galizia [130]
24Lorenzo Gallucci [140] [141]
25Michael Gelfond [67] [95] [96]
26Enrico Giunchiglia [157]
27Georg Gottlob [17] [18] [20] [31] [32] [36] [39] [43] [47] [51] [53] [54] [55] [58] [59] [62] [64] [65] [70] [73] [74] [79] [80] [81] [90] [92] [94] [100] [104] [127] [128] [131] [139]
28Luigi Granata [131]
29Giovanni Grasso [130] [166]
30Gianluigi Greco [117] [118] [124] [127] [128] [129] [131] [134] [136] [144] [145] [163]
31Sergio Greco [3] [42] [102]
32Andrea Gualtieri [143]
33Giovambattista Ianni [75] [100] [102] [127] [131] [162] [164] [168]
34Giuseppe Ielpa [83] [100] [110] [112] [121] [153] [156]
35Salvatore Maria Ielpa [170]
36Salvatore Iiritano [166] [170]
37Paul Johannesson [1]
38Edyta Kalka [127] [131]
39Christoph Koch [39] [61] [69] [83] [100] [108]
40Els Laenens [1]
41Laks V. S. Lakshmanan (V. S. Lakshmanan) [38]
42Domenico Lembo [127] [131]
43Maurizio Lenzerini [127] [131]
44Vincenzino Lio [120] [127] [131] [142] [147] [154]
45Marco Manna [135] [140] [141]
46Marco Maratea [151] [155] [157]
47Cristinel Mateis [39] [40] [45] [49] [50]
48Alfredo Mazzitelli [97]
49Antonella Mecchia [5] [34]
50Fabio Messina [9] [13]
51Tommaso Mostardi [9]
52Bartosz Nowicki [127] [131]
53Antonio Laureti Palma [86]
54Luigi Palopoli [10] [12] [15] [21] [22] [52]
55Claudio Panetta [142] [147] [154] [159]
56Simona Perri [66] [75] [78] [83] [85] [86] [89] [94] [100] [106] [107] [111] [115] [119] [121] [122] [125] [132] [139] [149]
57Gerald Pfeifer [39] [40] [45] [49] [50] [57] [60] [67] [69] [71] [72] [77] [82] [83] [84] [87] [88] [93] [94] [98] [99] [100] [101] [103] [105] [108] [109] [110] [112] [116] [121] [122] [123] [137] [139] [148] [153] [156]
58Clara Pizzuti [35]
59Axel Polleres [71] [72] [77] [82] [99] [100] [101] [105] [109] [116]
60Francesco Ricca [126] [130] [133] [138] [146] [148] [151] [155] [158] [166] [167] [170]
61Massimo Romeo [8] [10] [12] [13] [15]
62Riccardo Rosati [127] [131]
63Robert B. Ross [38]
64Giuseppe Rossi [5] [6] [34]
65P. Rossi [1]
66Massimo Ruffolo [135] [140] [141]
67Pasquale Rullo [1] [2] [3] [4] [5] [7] [8] [11] [14] [22] [23] [25] [27] [29] [33] [34] [35] [41] [44] [48] [56] [66] [68]
68Marco Ruzzi [127] [131]
69Domenico Saccà [8] [26] [28] [30] [37] [46] [52] [135] [140] [141]
70W. Van Santvliet [1]
71Francesco Scarcello [19] [21] [24] [25] [27] [33] [39] [40] [42] [43] [45] [47] [49] [50] [51] [53] [58] [59] [62] [64] [65] [70] [74] [75] [78] [79] [80] [81] [85] [86] [89] [90] [92] [94] [97] [104] [107] [113] [117] [118] [119] [125] [139] [145] [149]
72Carlo Siciliano [9]
73François Staes [1]
74Witold Staniszkis [127] [131]
75V. S. Subrahmanian [38] [113]
76Laura Tarantino [1]
77Giorgio Terracina [120] [127] [131] [136] [142] [147] [154] [159] [167]
78J. Vanslembrouck [1]
79Helmut Veith [17] [55]
80Brigitte Verdonk [1]
81Dirk Vermeir [1]
82Amedeo Zavatto [135]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)