 | 2010 |
|---|
| 172 |       | Nicola Leone,
Francesco Ricca,
Luca Agostino Rubino,
Giorgio Terracina:
Efficient Application of Answer Set Programming for Advanced Data Integration.
PADL 2010: 10-24 |
| 171 | | Giovanni Grasso,
Salvatore Iiritano,
Nicola Leone,
Vincenzino Lio,
Francesco Ricca,
Francesco Scalise:
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport.
PADL 2010: 40-42 |
| 2009 |
|---|
| 170 | | Salvatore Maria Ielpa,
Salvatore Iiritano,
Nicola Leone,
Francesco Ricca:
An ASP-Based System for e-Tourism.
LPNMR 2009: 368-381 |
| 169 | | Annamaria Bria,
Wolfgang Faber,
Nicola Leone:
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.
LPNMR 2009: 477-482 |
| 168 | | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone:
An ASP System with Functions, Lists, and Sets.
LPNMR 2009: 483-489 |
| 167 | | Nicola Leone,
Francesco Ricca,
Giorgio Terracina:
An ASP-Based Data Integration System.
LPNMR 2009: 528-534 |
| 166 | | Giovanni Grasso,
Salvatore Iiritano,
Nicola Leone,
Francesco Ricca:
Some DLV Applications for Knowledge Management.
LPNMR 2009: 591-597 |
| 165 | | Nicola Leone:
Exploiting ASP in Real-World Applications: Main Strengths and Challenges.
LPNMR 2009: 628-630 |
| 164 | | Francesco 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 |
| 162 | | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone:
Computable Functions in ASP: Theory and Implementation.
ICLP 2008: 407-424 |
| 161 | | Nicola Leone,
Wolfgang Faber:
The DLV Project: A Tour from Theory and Research to Applications and Market.
ICLP 2008: 53-68 |
| 160 | | Annamaria Bria,
Wolfgang Faber,
Nicola Leone:
Normal Form Nested Programs.
JELIA 2008: 76-88 |
| 159 | | Giorgio Terracina,
Erika De Francesco,
Claudio Panetta,
Nicola Leone:
Enhancing a DLP System for Advanced Database Applications.
RR 2008: 119-134 |
| 158 | | Wolfgang Faber,
Nicola Leone,
Francesco Ricca:
Answer Set Programming.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 157 | | Enrico Giunchiglia,
Nicola Leone,
Marco Maratea:
On the relation among answer set solvers.
Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008) |
| 156 | | Wolfgang 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) |
| 155 | | Marco 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) |
| 154 | | Giorgio Terracina,
Nicola Leone,
Vincenzino Lio,
Claudio Panetta:
Experimenting with recursive queries in database and logic programming systems.
TPLP 8(2): 129-165 (2008) |
| 153 | | Wolfgang 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 |
|---|
| 152 | | Nicola Leone:
Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications.
LPNMR 2007: 1 |
| 151 | | Wolfgang Faber,
Nicola Leone,
Marco Maratea,
Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs.
LPNMR 2007: 110-122 |
| 150 | | Wolfgang Faber,
Nicola Leone:
On the Complexity of Answer Set Programming with Aggregates.
LPNMR 2007: 97-109 |
| 149 | | Simona Perri,
Francesco Scarcello,
Gelsomina Catalano,
Nicola Leone:
Enhancing DLV instantiator by backjumping techniques.
Ann. Math. Artif. Intell. 51(2-4): 195-228 (2007) |
| 148 | | Wolfgang 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) |
| 147 | | Giorgio Terracina,
Nicola Leone,
Vincenzino Lio,
Claudio Panetta:
Experimenting with recursive queries in database and logic programming systems
CoRR abs/0704.3157: (2007) |
| 146 | | Francesco Ricca,
Nicola Leone:
Disjunctive logic programming with types and objects: The DLV+ system.
J. Applied Logic 5(3): 545-573 (2007) |
| 145 | | Francesco Scarcello,
Gianluigi Greco,
Nicola Leone:
Weighted hypertree decompositions and optimal query plans.
J. Comput. Syst. Sci. 73(3): 475-506 (2007) |
| 144 | | Wolfgang Faber,
Gianluigi Greco,
Nicola Leone:
Magic Sets and their application to data integration.
J. Comput. Syst. Sci. 73(4): 584-609 (2007) |
| 2006 |
|---|
| 143 | | Andrea 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 |
| 142 | | Giorgio Terracina,
Nicola Leone,
Vincenzino Lio,
Claudio Panetta:
Adding Efficient Data Management to Logic Programming Systems.
ISMIS 2006: 524-533 |
| 141 | | Massimo 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 |
| 139 | | Nicola 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) |
| 138 | | Francesco Ricca,
Wolfgang Faber,
Nicola Leone:
A backjumping technique for Disjunctive Logic Programming.
AI Commun. 19(2): 155-172 (2006) |
| 137 | | Francesco 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 |
| 135 | | Massimo Ruffolo,
Nicola Leone,
Marco Manna,
Domenico Saccà,
Amedeo Zavatto:
Exploiting ASP for Semantic Information Extraction.
Answer Set Programming 2005 |
| 134 | | Wolfgang Faber,
Gianluigi Greco,
Nicola Leone:
Magic Sets and Their Application to Data Integration.
ICDT 2005: 306-320 |
| 133 | | Wolfgang Faber,
Nicola Leone,
Francesco Ricca:
Heuristics for Hard ASP Programs.
IJCAI 2005: 1562-1563 |
| 132 | | Francesco Calimeri,
Wolfgang Faber,
Nicola Leone,
Simona Perri:
Declarative and Computational Properties of Logic Programs with Aggregates.
IJCAI 2005: 406-411 |
| 131 | | Nicola 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 |
| 130 | | Francesco 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 |
| 127 | | Nicola 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) |
| 125 | | Simona Perri,
Francesco Scarcello,
Nicola Leone:
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.
TPLP 5(1-2): 123-159 (2005) |
| 2004 |
|---|
| 124 | | Chiara Cumbo,
Wolfgang Faber,
Gianluigi Greco,
Nicola Leone:
Enhancing the Magic-Set Method for Disjunctive Datalog Programs.
ICLP 2004: 371-385 |
| 123 | | Wolfgang Faber,
Nicola Leone,
Gerald Pfeifer:
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.
JELIA 2004: 200-212 |
| 122 | | Francesco Calimeri,
Manuela Citrigno,
Chiara Cumbo,
Wolfgang Faber,
Nicola Leone,
Simona Perri,
Gerald Pfeifer:
New DLV Features for Data Integration.
JELIA 2004: 698-701 |
| 121 | | Tina Dell'Armi,
Wolfgang Faber,
Giuseppe Ielpa,
Nicola Leone,
Simona Perri,
Gerald Pfeifer:
System Description: DLV with Aggregates.
LPNMR 2004: 326-330 |
| 120 | | Nicola Leone,
Vincenzino Lio,
Giorgio Terracina:
DLV DB: Adding Efficient Data Management Features to ASP.
LPNMR 2004: 341-345 |
| 119 | | Nicola Leone,
Simona Perri,
Francesco Scarcello:
BackJumping techniques for rules instantiation in the DLV system.
NMR 2004: 258-266 |
| 118 | | Francesco 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 |
| 116 | | Thomas 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) |
| 115 | | Simona Perri,
Nicola Leone:
Parametric connectives in Disjunctive Logic Programming.
AI Commun. 17(2): 63-74 (2004) |
| 114 | | Francesco Calimeri,
Nicola Leone:
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
CoRR cs.AI/0404012: (2004) |
| 113 | | Nicola 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 |
|---|
| 112 | | Tina Dell'Armi,
Wolfgang Faber,
Giuseppe Ielpa,
Nicola Leone,
Gerald Pfeifer:
Aggregate Functions in DLV.
Answer Set Programming 2003 |
| 111 | | Nicola 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 |
| 109 | | Thomas 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) |
| 108 | | Christoph Koch,
Nicola Leone,
Gerald Pfeifer:
Enhancing disjunctive logic programming systems by SAT checkers.
Artif. Intell. 151(1-2): 177-212 (2003) |
| 107 | | Simona Perri,
Francesco Scarcello,
Nicola Leone:
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
CoRR cs.AI/0310047: (2003) |
| 106 | | Simona Perri,
Nicola Leone:
Parametric Connectives in Disjunctive Logic Programming
CoRR cs.AI/0311007: (2003) |
| 105 | | Thomas Eiter,
Wolfgang Faber,
Nicola Leone,
Gerald Pfeifer,
Axel Polleres:
Answer Set Planning Under Action Costs.
J. Artif. Intell. Res. (JAIR) 19: 25-71 (2003) |
| 104 | | Georg 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 |
| 101 | | Thomas Eiter,
Wolfgang Faber,
Nicola Leone,
Gerald Pfeifer,
Axel Polleres:
Answer Set Planning under Action Costs.
JELIA 2002: 186-197 |
| 100 | | Nicola 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 |
| 99 | | Thomas 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 |
| 96 | | Michael Gelfond,
Nicola Leone:
Knowledge Representation and Logic Programming.
Artif. Intell. 138(1-2): 1 (2002) |
| 95 | | Michael Gelfond,
Nicola Leone:
Logic programming and knowledge representation - The A-Prolog perspective.
Artif. Intell. 138(1-2): 3-38 (2002) |
| 94 | | Nicola 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) |
| 93 | | Thomas Eiter,
Wolfgang Faber,
Nicola Leone,
Gerald Pfeifer:
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
CoRR cs.LO/0201013: (2002) |
| 92 | | Georg 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) |
| 90 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Computing LOGCFL certificates.
Theor. Comput. Sci. 270(1-2): 761-777 (2002) |
| 2001 |
|---|
| 89 | | Nicola Leone,
Simona Perri,
Francesco Scarcello:
Abduction with Penalization in Logic Programming.
AI*IA 2001: 123-134 |
| 88 | | Thomas 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 |
| 86 | | 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 |
| 85 | | Nicola Leone,
Simona Perri,
Francesco Scarcello:
Improving ASP Instantiators by Join-Ordering Methods.
LPNMR 2001: 280-294 |
| 84 | | Wolfgang Faber,
Nicola Leone,
Gerald Pfeifer:
Optimizing the Computation of Heuristics for Answer Set Programming Systems.
LPNMR 2001: 295-308 |
| 83 | | Tina Dell'Armi,
Wolfgang Faber,
Giuseppe Ielpa,
Christoph Koch,
Nicola Leone,
Simona Perri,
Gerald Pfeifer:
System Description: DLV.
LPNMR 2001: 424-428 |
| 82 | | Thomas Eiter,
Wolfgang Faber,
Nicola Leone,
Gerald Pfeifer,
Axel Polleres:
System Description: The DLVK Planning System.
LPNMR 2001: 429-433 |
| 81 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Hypertree Decompositions: A Survey.
MFCS 2001: 37-57 |
| 80 | | Georg 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 |
| 77 | | Thomas 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) |
| 76 | | Francesco Buccafurri,
Wolfgang Faber,
Nicola Leone:
Disjunctive Logic Programs with Inheritance
CoRR cs.LO/0105036: (2001) |
| 75 | | Giovambattista Ianni,
Nicola Leone,
Simona Perri,
Francesco Scarcello:
Abduction with Penalization in Logic Programming
CoRR cs.LO/0111010: (2001) |
| 74 | | Georg 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 |
|---|
| 72 | | Thomas 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 |
| 70 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
A comparison of structural CSP decomposition methods.
Artif. Intell. 124(2): 243-282 (2000) |
| 69 | | Thomas Eiter,
Wolfgang Faber,
Christoph Koch,
Nicola Leone,
Gerald Pfeifer:
DLV - A System for Declarative Problem Solving
CoRR cs.AI/0003036: (2000) |
| 68 | | Francesco 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 |
| 66 | | Nicola Leone,
Simona Perri,
Pasquale Rullo:
Local Search Techniques for Disjunctive Logic Programs.
AI*IA 1999: 107-118 |
| 65 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
On Tractable Queries and Constraints.
DEXA 1999: 1-15 |
| 64 | | Georg 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 |
| 60 | | Wolfgang Faber,
Nicola Leone,
Gerald Pfeifer:
Pushing Goal Derivation in DLP Computations.
LPNMR 1999: 177-191 |
| 59 | | Georg 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) |
| 54 | | Francesco 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 |
| 51 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
The Complexity of Acyclic Conjunctive Queries.
FOCS 1998: 706-715 |
| 50 | | Thomas 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 |
| 47 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Hypertree Decompositions and Tractable Queries
CoRR cs.DB/9812022: (1998) |
| 46 | | Thomas 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 |
| 42 | | Sergio 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- |
| 38 | | Laks 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) |
| 36 | | Thomas Eiter,
Georg Gottlob,
Nicola Leone:
Semantics and Complexity of Abduction from Default Theories.
Artif. Intell. 90(1-2): 177-223 (1997) |
| 35 | | Nicola Leone,
Clara Pizzuti,
Pasquale Rullo:
Efficient Evaluation of a Class of Ordered Logic Programs.
Data Knowl. Eng. 23(2): 185-214 (1997) |
| 34 | | Nicola 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) |
| 31 | | Thomas 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 |
| 28 | | Thomas Eiter,
Nicola Leone,
Domenico Saccà:
Partial Semantics for Disjunctive Deductive Databases.
DEXA 1996: 564-573 |
| 27 | | Nicola 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 |
|---|
| 22 | | Francesco 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 |
| 17 | | Georg 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 |
| 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,
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 |
|---|
| 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 | | Sergio 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 |
|---|
| 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 |
