![](https://dblp.uni-trier.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Nicola Leone
Person information
- affiliation: TU Wien, Vienna, Austria
SPARQL queries ![](https://dblp.uni-trier.de/img/new.blue.24x12.png)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j84]Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza
, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari:
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. Algorithms 16(3): 159 (2023) - [j83]Vito Barbara, Massimo Guarascio
, Nicola Leone, Giuseppe Manco
, Alessandro Quarta, Francesco Ricca
, Ettore Ritacco:
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. Theory Pract. Log. Program. 23(4): 748-764 (2023) - [i32]Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco:
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. CoRR abs/2305.10113 (2023) - 2022
- [c160]Vito Barbara, Dimitri Buelli, Massimo Guarascio, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco, Valerio Pesenti, Alessandro Quarta, Francesco Ricca, Ettore Ritacco:
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels. CILC 2022: 247-253 - [c159]Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri:
A Formal Comparison between Datalog-based Languages for Stream Reasoning. Datalog 2022: 151-165 - [c158]Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. PADL 2022: 154-161 - [i31]Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
:
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version). CoRR abs/2208.12726 (2022) - 2021
- [j82]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro
, Nicola Leone, Marco Maratea
, Fulvio Mastrogiovanni
, Mauro Vallati
:
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. Theory Pract. Log. Program. 21(3): 372-401 (2021) - 2020
- [j81]Francesco Calimeri, Wolfgang Faber
, Martin Gebser
, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
:
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2): 294-309 (2020) - [j80]Roberta Costabile
, Gelsomina Catalano, Bernardo Cuteri
, Maria Concetta Morelli
, Nicola Leone, Marco Manna
:
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. Theory Pract. Log. Program. 20(6): 864-879 (2020) - [e7]Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents] - [i30]Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna:
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. CoRR abs/2008.02747 (2020) - [i29]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming. CoRR abs/2010.01164 (2020)
2010 – 2019
- 2019
- [j79]Nicola Leone
, Marco Manna
, Giorgio Terracina
, Pierfrancesco Veltri:
Fast Query Answering over Existential Rules. ACM Trans. Comput. Log. 20(2): 12:1-12:48 (2019) - [j78]Mario Alviano
, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
:
Enhancing Magic Sets with an Application to Ontological Reasoning. Theory Pract. Log. Program. 19(5-6): 654-670 (2019) - [j77]Alessio Fiorentino
, Nicola Leone, Marco Manna
, Simona Perri
, Jessica Zangari
:
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Theory Pract. Log. Program. 19(5-6): 1073-1089 (2019) - [c157]Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari:
An ASP-based Approach for Optimizing DLV Evaluation. CILC 2019 - [c156]Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Large Scale DLV: Preliminary Results. CILC 2019 - [c155]Riccardo Bertolucci
, Alessio Capitanelli
, Carmine Dodaro
, Nicola Leone
, Marco Maratea
, Fulvio Mastrogiovanni
, Mauro Vallati
:
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. LPNMR 2019: 32-44 - [c154]Mario Alviano
, Giovanni Amendola
, Carmine Dodaro
, Nicola Leone
, Marco Maratea
, Francesco Ricca
:
Evaluation of Disjunctive Programs in WASP. LPNMR 2019: 241-255 - [c153]Nicola Leone
, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Enhancing DLV for Large-Scale Reasoning. LPNMR 2019: 312-325 - [c152]Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Querying Large Expressive Horn Ontologies. SEBD 2019 - [e6]Francesco Calimeri
, Nicola Leone, Marco Manna:
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Lecture Notes in Computer Science 11468, Springer 2019, ISBN 978-3-030-19569-4 [contents] - [d1]Mario Alviano
, Giovanni Amendola
, Carmine Dodaro
, Nicola Leone
, Marco Maratea
, Francesco Ricca
:
Evaluation of disjunctive programs in WASP. Zenodo, 2019 - [i28]Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari:
Enhancing magic sets with an application to ontological reasoning. CoRR abs/1907.08424 (2019) - [i27]Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari:
Precomputing Datalog evaluation plans in large-scale scenarios. CoRR abs/1907.12495 (2019) - [i26]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. CoRR abs/1911.04326 (2019) - 2018
- [j76]Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro
, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
:
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32(2-3): 177-179 (2018) - [c151]Nicola Leone:
The AI System DLV: Ontologies, Reasoning, and More. KDIR 2018: 5-16 - [c150]Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone
, Marco Manna
, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Reasoning over Ontologies with DLV. IC3K 2018: 114-136 - [c149]Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri:
Enhancing Existential Rules by Closed-World Variables. IJCAI 2018: 1676-1682 - [c148]Giovanni Amendola, Nicola Leone, Marco Manna:
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. IJCAI 2018: 5189-5193 - [c147]Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri
, Francesco Ricca, Torsten Schaub
:
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018: 5450-5456 - [c146]Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
First Steps towards Reasoning on Big Data with DLV. SEBD 2018 - [p4]Gianluigi Greco, Nicola Leone, Francesco Scarcello, Giorgio Terracina:
Structural Decomposition Methods: Key Notions and Database Applications. A Comprehensive Guide Through the Italian Database Research 2018: 253-267 - [e5]Francesco Calimeri
, Kevin W. Hamlen, Nicola Leone:
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings. Lecture Notes in Computer Science 10702, Springer 2018, ISBN 978-3-319-73304-3 [contents] - 2017
- [j75]Giovanni Amendola
, Nicola Leone
, Marco Manna:
Finite model reasoning over existential rules. Theory Pract. Log. Program. 17(5-6): 726-743 (2017) - [c145]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. AAAI 2017: 1034-1040 - [c144]Weronika T. Adrian
, Nicola Leone
, Marco Manna, Cinzia Marte:
Document Layout Analysis for Semantic Information Extraction. AI*IA 2017: 269-281 - [c143]Weronika T. Adrian
, Marco Manna, Nicola Leone
, Giovanni Amendola
, Marek Adrian:
Entity set expansion from the Web via ASP. ICLP (Technical Communications) 2017: 1:1-1:5 - [c142]Giovanni Amendola
, Nicola Leone
, Marco Manna, Pierfrancesco Veltri:
Reasoning on anonymity in Datalog+/-. ICLP (Technical Communications) 2017: 3:1-3:5 - [c141]Mario Alviano, Francesco Calimeri, Carmine Dodaro
, Davide Fuscà, Nicola Leone
, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
The ASP System DLV2. LPNMR 2017: 215-221 - [c140]Giovanni Amendola, Nicola Leone, Marco Manna:
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper). SEBD 2017: 218 - [i25]Giovanni Amendola, Nicola Leone, Marco Manna:
Finite model reasoning over existential rules. CoRR abs/1707.01870 (2017) - [i24]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. CoRR abs/1707.06813 (2017) - 2016
- [j74]Giovanni Amendola
, Thomas Eiter
, Michael Fink, Nicola Leone
, João Moura
:
Semi-equilibrium models for paracoherent answer set programs. Artif. Intell. 234: 219-271 (2016) - [j73]Benjamin Kaufmann, Nicola Leone, Simona Perri
, Torsten Schaub
:
Grounding and Solving in Answer Set Programming. AI Mag. 37(3): 25-32 (2016) - [j72]Esra Erdem, Michael Gelfond
, Nicola Leone:
Applications of Answer Set Programming. AI Mag. 37(3): 53-68 (2016) - [j71]Carmine Dodaro
, Philip Gasteiger, Nicola Leone
, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
:
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Theory Pract. Log. Program. 16(5-6): 653-669 (2016) - [c139]Giovanni Amendola
, Carmine Dodaro
, Nicola Leone
, Francesco Ricca:
On the Application of Answer Set Programming to the Conference Paper Assignment Problem. AI*IA 2016: 164-178 - [c138]Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri:
Modeling and Reasoning about NTU Games via Answer Set Programming. IJCAI 2016: 38-45 - [c137]Mario Alviano, Nicola Leone:
On the Properties of GZ-Aggregates in Answer Set Programming. IJCAI 2016: 4105-4109 - [c136]Georg Gottlob
, Gianluigi Greco, Nicola Leone
, Francesco Scarcello
:
Hypertree Decompositions: Questions and Answers. PODS 2016: 57-74 - [i23]Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin:
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper). CoRR abs/1608.00730 (2016) - [i22]Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin:
Driving CDCL Search. CoRR abs/1611.05190 (2016) - 2015
- [j70]Mario Alviano, Nicola Leone
:
Complexity and compilation of GZ-aggregates in answer set programming. Theory Pract. Log. Program. 15(4-5): 574-587 (2015) - [c135]Weronika T. Adrian
, Nicola Leone
, Antoni Ligeza
, Marco Manna
, Mateusz Slazynski
:
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments. ICAISC 2015: 541-553 - [c134]Mario Alviano, Carmine Dodaro
, Nicola Leone
, Francesco Ricca:
Advances in WASP. LPNMR 2015: 40-54 - [c133]Weronika T. Adrian
, Nicola Leone
, Marco Manna
:
Semantic Views of Homogeneous Unstructured Data. RR 2015: 19-29 - [c132]Carmine Dodaro
, Nicola Leone
, Barbara Nardi, Francesco Ricca:
Allotment Problem in Travel Industry: A Solution Based on ASP. RR 2015: 77-92 - [c131]Nicola Leone
, Francesco Ricca:
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. Reasoning Web 2015: 308-326 - [i21]Mario Alviano, Nicola Leone:
Complexity and Compilation of GZ-Aggregates in Answer Set Programming. CoRR abs/1507.03922 (2015) - [i20]Weronika T. Adrian, Nicola Leone, Marco Manna:
Ontology-driven Information Extraction. CoRR abs/1512.06034 (2015) - 2014
- [c130]Giovanni Amendola, Thomas Eiter, Nicola Leone:
Modular Paracoherent Answer Sets. JELIA 2014: 457-471 - [i19]Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. CoRR abs/1401.4596 (2014) - 2013
- [j69]Wolfgang Faber
, Nicola Leone
:
Introduction to the special issue on the 25th annual GULP conference. Theory Pract. Log. Program. 13(2): 147-148 (2013) - [c129]Mario Alviano, Carmine Dodaro
, Wolfgang Faber
, Nicola Leone
, Francesco Ricca:
WASP: A Native ASP Solver Based on Constraint Learning. LPNMR 2013: 54-66 - [c128]Giorgio Terracina
, Alessandra Martello, Nicola Leone
:
Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System. LPNMR 2013: 524-529 - [c127]Giovanni Grasso
, Nicola Leone
, Francesco Ricca:
Answer Set Programming: Language, Applications and Development Tools. RR 2013: 19-34 - [c126]Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri:
A graphic tool for ontology reasoning under Datalog∃. SEBD 2013: 51-62 - [c125]Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca:
Development Tools for Datalog. SEBD 2013: 385-392 - [c124]Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Query Answering over Disjunctive Datalog with Existential Quantifiers. SEBD 2013: 393-400 - 2012
- [j68]Mario Alviano
, Wolfgang Faber
, Gianluigi Greco, Nicola Leone
:
Magic Sets for disjunctive Datalog programs. Artif. Intell. 187: 156-192 (2012) - [j67]Marco Manna
, Ermelinda Oro
, Massimo Ruffolo
, Mario Alviano
, Nicola Leone
:
The HiLeX System for Semantic Information Extraction. Trans. Large Scale Data Knowl. Centered Syst. 5: 91-125 (2012) - [j66]Francesco Ricca, Giovanni Grasso
, Mario Alviano
, Marco Manna
, Vincenzino Lio, Salvatore Iiritano, Nicola Leone
:
Team-building with answer set programming in the Gioia-Tauro seaport. Theory Pract. Log. Program. 12(3): 361-381 (2012) - [j65]Mario Alviano, Wolfgang Faber
, Nicola Leone
, Marco Manna
:
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Theory Pract. Log. Program. 12(4-5): 701-718 (2012) - [c123]Wolfgang Faber
, Nicola Leone
, Simona Perri
:
The Intelligent Grounder of DLV. Correct Reasoning 2012: 247-264 - [c122]Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Extending ASPIDE with User-defined Plugins. CILC 2012: 236-240 - [c121]Mario Alviano
, Nicola Leone
, Marco Manna
, Giorgio Terracina
, Pierfrancesco Veltri:
Magic-Sets for Datalog with Existential Quantifiers. Datalog 2012: 31-43 - [c120]Onofrio Febbraro, Giovanni Grasso
, Nicola Leone
, Kristian Reale, Francesco Ricca:
Datalog Development Tools - (Extended Abstract). Datalog 2012: 81-85 - [c119]Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca:
JASP: A Framework for Integrating Answer Set Programming with Java. KR 2012 - [c118]Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri:
Efficiently Computable Datalog∃ Programs. KR 2012 - [c117]Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina:
Distributed Ontology Based Data Access via Logic Programming. RR 2012: 205-208 - [c116]Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri:
Efficient Query Answering over Datalog with Existential Quantifiers. SEBD 2012: 155-162 - [i18]Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for Disjunctive Datalog Programs. CoRR abs/1204.6346 (2012) - [i17]Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues. CoRR abs/1210.2316 (2012) - 2011
- [j64]Wolfgang Faber
, Gerald Pfeifer, Nicola Leone
:
Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175(1): 278-298 (2011) - [j63]Francesco Calimeri
, Susanna Cozza, Giovambattista Ianni, Nicola Leone
:
Finitely recursive programs: Decidability and bottom-up computation. AI Commun. 24(4): 311-334 (2011) - [j62]Wolfgang Faber
, Nicola Leone
, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. Fundam. Informaticae 107(4): 379-413 (2011) - [j61]Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà:
A long tour from theory to practice. Intelligenza Artificiale 5(1): 133-138 (2011) - [j60]Mario Alviano
, Francesco Calimeri
, Wolfgang Faber
, Nicola Leone
, Simona Perri
:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. 42: 487-527 (2011) - [j59]Marco Manna
, Francesco Scarcello
, Nicola Leone
:
On the complexity of regular-grammars with integer attributes. J. Comput. Syst. Sci. 77(2): 393-421 (2011) - [c115]Giovanni Grasso
, Nicola Leone
, Marco Manna
, Francesco Ricca:
ASP at Work: Spin-off and Applications of the DLV System. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 432-451 - [c114]Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni:
The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC 2011: 99-113 - [c113]Onofrio Febbraro, Nicola Leone
, Kristian Reale, Francesco Ricca:
Unit Testing in ASPIDE. INAP/WLP 2011: 345-364 - [c112]Mario Alviano
, Gianluigi Greco, Nicola Leone
:
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. LPNMR 2011: 148-160 - [c111]Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano
, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber
, Onofrio Febbraro, Nicola Leone
, Marco Manna
, Alessandra Martello, Claudio Panetta
, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina
, Pierfrancesco Veltri:
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR 2011: 388-403 - [c110]Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina:
Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis. SEBD 2011: 295-302 - [i16]Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone:
Team-building with Answer Set Programming in the Gioia-Tauro Seaport. CoRR abs/1101.4554 (2011) - [i15]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. CoRR abs/1106.5257 (2011) - [i14]Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Unit Testing in ASPIDE. CoRR abs/1108.5434 (2011) - 2010
- [j58]Francesco Ricca, Antonella Dimasi, Giovanni Grasso
, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna
, Nicola Leone
:
A Logic-Based System for e-Tourism. Fundam. Informaticae 105(1-2): 35-55 (2010) - [j57]Mario Alviano
, Wolfgang Faber
, Nicola Leone
:
Disjunctive ASP with functions: Decidable queries and effective computation. Theory Pract. Log. Program. 10(4-6): 497-512 (2010) - [c109]Francesco Calimeri
, Susanna Cozza, Giovambattista Ianni, Nicola Leone:
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. AAAI 2010: 1666-1670 - [c108]Mario Alviano, Wolfgang Faber, Nicola Leone:
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. RCRA@CPAIOR 2010 - [c107]Mario Alviano
, Wolfgang Faber
, Nicola Leone
, Simona Perri
, Gerald Pfeifer, Giorgio Terracina
:
The Disjunctive Datalog System DLV. Datalog 2010: 282-301 - [c106]Nicola Leone
, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina
:
Efficient Application of Answer Set Programming for Advanced Data Integration. PADL 2010: 10-24 - [c105]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 - [p3]Piero A. Bonatti
, Francesco Calimeri, Nicola Leone
, Francesco Ricca:
Answer Set Programming. 25 Years GULP 2010: 159-182 - [e4]Wolfgang Faber, Nicola Leone:
Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. CEUR Workshop Proceedings 598, CEUR-WS.org 2010 [contents] - [i13]Mario Alviano, Wolfgang Faber, Nicola Leone:
Disjunctive ASP with Functions: Decidable Queries and Effective Computation. CoRR abs/1007.4028 (2010)
2000 – 2009
- 2009
- [j56]Annamaria Bria, Wolfgang Faber
, Nicola Leone
:
Normal Form Nested Programs. Fundam. Informaticae 96(3): 271-295 (2009) - [j55]Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, Giovanni Grasso
, Nicola Leone
:
OntoDLV: An ASP-based System for Enterprise Ontologies. J. Log. Comput. 19(4): 643-670 (2009) - [c104]Francesco Calimeri
, Susanna Cozza, Giovambattista Ianni, Nicola Leone
:
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. LPNMR 2009: 71-86 - [c103]Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone
, Francesco Ricca:
An ASP-Based System for e-Tourism. LPNMR 2009: 368-381 - [c102]Annamaria Bria, Wolfgang Faber
, Nicola Leone
:
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. LPNMR 2009: 477-482 - [c101]Francesco Calimeri
, Susanna Cozza, Giovambattista Ianni, Nicola Leone
:
An ASP System with Functions, Lists, and Sets. LPNMR 2009: 483-489 - [c100]Nicola Leone
, Francesco Ricca, Giorgio Terracina
:
An ASP-Based Data Integration System. LPNMR 2009: 528-534 - [c99]Giovanni Grasso
, Salvatore Iiritano, Nicola Leone
, Francesco Ricca:
Some DLV Applications for Knowledge Management. LPNMR 2009: 591-597 - [c98]Nicola Leone
:
Exploiting ASP in Real-World Applications: Main Strengths and Challenges. LPNMR 2009: 628-630 - 2008
- [j54]Enrico Giunchiglia
, Nicola Leone
, Marco Maratea:
On the relation among answer set solvers. Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008) - [j53]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) - [j52]Giorgio Terracina
, Nicola Leone
, Vincenzino Lio, Claudio Panetta
:
Experimenting with recursive queries in database and logic programming systems. Theory Pract. Log. Program. 8(2): 129-165 (2008) - [j51]Wolfgang Faber
, Gerald Pfeifer, Nicola Leone
, Tina Dell'Armi, Giuseppe Ielpa
:
Design and implementation of aggregate functions in the DLV system. Theory Pract. Log. Program. 8(5-6): 545-580 (2008) - [c97]Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for Data Integration. AAAI 2008: 1528-1531 - [c96]Sergio Greco, Luigi Palopoli, Nicola Leone, Pasquale Rullo, Domenico Saccà:
Logic Programming in DataLog: A Long Tour from Theory to Practice. Il Milione 2008 - [c95]Nicola Leone
, Wolfgang Faber
:
The DLV Project: A Tour from Theory and Research to Applications and Market. ICLP 2008: 53-68 - [c94]Francesco Calimeri
, Susanna Cozza, Giovambattista Ianni, Nicola Leone
:
Computable Functions in ASP: Theory and Implementation. ICLP 2008: 407-424 - [c93]Annamaria Bria, Wolfgang Faber
, Nicola Leone
:
Normal Form Nested Programs. JELIA 2008: 76-88 - [c92]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. RCRA 2008 - [c91]Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone:
Experiencing ASP with Real World Applications. RCRA 2008 - [c90]Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone:
Enhancing a DLP System for Advanced Database Applications. RR 2008: 119-134 - [p2]Wolfgang Faber, Nicola Leone, Francesco Ricca:
Answer Set Programming. Wiley Encyclopedia of Computer Science and Engineering 2008 - [i12]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) - 2007
- [j50]Simona Perri
, Francesco Scarcello
, Gelsomina Catalano, Nicola Leone
:
Enhancing DLV instantiator by backjumping techniques. Ann. Math. Artif. Intell. 51(2-4): 195-228 (2007) - [j49]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) - [j48]Francesco Ricca, Nicola Leone
:
Disjunctive logic programming with types and objects: The DLV+ system. J. Appl. Log. 5(3): 545-573 (2007) - [j47]Francesco Scarcello
, Gianluigi Greco, Nicola Leone
:
Weighted hypertree decompositions and optimal query plans. J. Comput. Syst. Sci. 73(3): 475-506 (2007) - [j46]Wolfgang Faber
, Gianluigi Greco, Nicola Leone
:
Magic Sets and their application to data integration. J. Comput. Syst. Sci. 73(4): 584-609 (2007) - [c89]Nicola Leone:
Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. LPNMR 2007: 1 - [c88]Wolfgang Faber, Nicola Leone:
On the Complexity of Answer Set Programming with Aggregates. LPNMR 2007: 97-109 - [c87]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122 - [i11]Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta:
Experimenting with recursive queries in database and logic programming systems. CoRR abs/0704.3157 (2007) - 2006
- [j45]Francesco Ricca, Wolfgang Faber, Nicola Leone:
A backjumping technique for Disjunctive Logic Programming. AI Commun. 19(2): 155-172 (2006) - [j44]Francesco Calimeri
, Wolfgang Faber, Gerald Pfeifer, Nicola Leone:
Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Informaticae 71(2-3): 183-214 (2006) - [j43]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) - [c86]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 - [c85]Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta:
Adding Efficient Data Management to Logic Programming Systems. ISMIS 2006: 524-533 - [c84]Massimo Ruffolo, Marco Manna
, Lorenzo Gallucci, Nicola Leone, Domenico Saccà
:
A Logic-Based Tool for Semantic Information Extraction. JELIA 2006: 506-510 - [c83]Massimo Ruffolo, Lorenzo Gallucci, Nicola Leone, Marco Manna, Domenico Saccà:
Towards a Semantic Information Extraction Approach from Unstructured Documents. SEBD 2006: 167-174 - 2005
- [j42]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) - [j41]Simona Perri
, Francesco Scarcello
, Nicola Leone
:
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. Theory Pract. Log. Program. 5(1-2): 123-159 (2005) - [c82]Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto:
Exploiting ASP for Semantic Information Extraction. Answer Set Programming 2005 - [c81]Wolfgang Faber
, Gianluigi Greco, Nicola Leone
:
Magic Sets and Their Application to Data Integration. ICDT 2005: 306-320 - [c80]Francesco Calimeri
, Wolfgang Faber, Nicola Leone, Simona Perri:
Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI 2005: 406-411 - [c79]Wolfgang Faber, Nicola Leone, Francesco Ricca:
Heuristics for Hard ASP Programs. IJCAI 2005: 1562-1563 - [c78]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 - [c77]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 - [c76]Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets and their Application to Data Integration. SEBD 2005: 47-54 - [c75]Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco:
Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66 - [c74]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 - [e3]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. Lecture Notes in Computer Science 3662, Springer 2005, ISBN 3-540-28538-5 [contents] - 2004
- [j40]Simona Perri, Nicola Leone:
Parametric connectives in Disjunctive Logic Programming. AI Commun. 17(2): 63-74 (2004) - [j39]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) - [j38]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) - [c73]Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Enhancing the Magic-Set Method for Disjunctive Datalog Programs. ICLP 2004: 371-385 - [c72]Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA 2004: 200-212 - [c71]Francesco Calimeri
, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri
, Gerald Pfeifer:
New DLV Features for Data Integration. JELIA 2004: 698-701 - [c70]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer:
System Description: DLV with Aggregates. LPNMR 2004: 326-330 - [c69]Nicola Leone, Vincenzino Lio, Giorgio Terracina:
DLVDB: Adding Efficient Data Management Features to ASP. LPNMR 2004: 341-345 - [c68]Nicola Leone, Simona Perri, Francesco Scarcello:
BackJumping techniques for rules instantiation in the DLV system. NMR 2004: 258-266 - [c67]Francesco Scarcello, Gianluigi Greco, Nicola Leone:
Weighted Hypertree Decompositions and Optimal Query Plans. PODS 2004: 210-221 - [c66]Gianluigi Greco, Nicola Leone, Francesco Scarcello:
On Weighted Hypertree Decompositions. SEBD 2004: 54-61 - [i10]Francesco Calimeri, Nicola Leone:
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report). CoRR cs.AI/0404012 (2004) - 2003
- [j37]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) - [j36]Christoph Koch, Nicola Leone
, Gerald Pfeifer:
Enhancing disjunctive logic programming systems by SAT checkers. Artif. Intell. 151(1-2): 177-212 (2003) - [j35]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. J. Artif. Intell. Res. 19: 25-71 (2003) - [j34]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) - [j33]Thomas Eiter, Wolfgang Faber
, Nicola Leone
, Gerald Pfeifer:
Computing preferred answer sets by meta-interpretation in answer set programming. Theory Pract. Log. Program. 3(4-5): 463-498 (2003) - [c65]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer:
Aggregate Functions in DLV. Answer Set Programming 2003 - [c64]Nicola Leone, Simona Perri:
Parametric Connectives in Disjunctive Logic Programming. Answer Set Programming 2003 - [c63]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 - [i9]Simona Perri, Francesco Scarcello, Nicola Leone:
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. CoRR cs.AI/0310047 (2003) - [i8]Simona Perri, Nicola Leone:
Parametric Connectives in Disjunctive Logic Programming. CoRR cs.AI/0311007 (2003) - 2002
- [j32]Michael Gelfond
, Nicola Leone
:
Knowledge Representation and Logic Programming. Artif. Intell. 138(1-2): 1 (2002) - [j31]Michael Gelfond
, Nicola Leone
:
Logic programming and knowledge representation - The A-Prolog perspective. Artif. Intell. 138(1-2): 3-38 (2002) - [j30]Georg Gottlob
, Nicola Leone
, Francesco Scarcello
:
Hypertree Decompositions and Tractable Queries. J. Comput. Syst. Sci. 64(3): 579-627 (2002) - [j29]Georg Gottlob
, Nicola Leone
, Francesco Scarcello
:
Computing LOGCFL certificates. Theor. Comput. Sci. 270(1-2): 761-777 (2002) - [j28]Francesco Buccafurri, Wolfgang Faber, Nicola Leone
:
Disjunctive Logic Programs with Inheritance. Theory Pract. Log. Program. 2(3): 293-321 (2002) - [c62]Thomas Eiter, Wolfgang Faber
, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning under Action Costs. JELIA 2002: 186-197 - [c61]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 - [c60]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
The DLVK Planning System: Progress Report. JELIA 2002: 541-544 - [c59]Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Pruning operators for answer set programming systems. NMR 2002: 200-209 - [c58]Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello:
Cost-based Query Decompositions. SEBD 2002: 390-403 - [e2]Sergio Flesca, Sergio Greco, Nicola Leone
, Giovambattista Ianni:
Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings. Lecture Notes in Computer Science 2424, Springer 2002, ISBN 3-540-44190-5 [contents] - [i7]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) - [i6]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. CoRR cs.LO/0201013 (2002) - 2001
- [j27]Georg Gottlob
, Nicola Leone
, Francesco Scarcello
:
The complexity of acyclic conjunctive queries. J. ACM 48(3): 431-498 (2001) - [j26]Francesco Buccafurri
, Thomas Eiter, Georg Gottlob
, Nicola Leone
:
On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. 62(3): 463-515 (2001) - [c57]Nicola Leone, Simona Perri
, Francesco Scarcello:
Abduction with Penalization in Logic Programming. AI*IA 2001: 123-134 - [c56]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 - [c55]Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Experimenting with Heuristics for Answer Set Programming. IJCAI 2001: 635-640 - [c54]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 - [c53]Nicola Leone
, Simona Perri
, Francesco Scarcello
:
Improving ASP Instantiators by Join-Ordering Methods. LPNMR 2001: 280-294 - [c52]Wolfgang Faber
, Nicola Leone
, Gerald Pfeifer:
Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001: 295-308 - [c51]Tina Dell'Armi, Wolfgang Faber
, Giuseppe Ielpa
, Christoph Koch, Nicola Leone
, Simona Perri
, Gerald Pfeifer:
System Description: DLV. LPNMR 2001: 424-428 - [c50]Thomas Eiter, Wolfgang Faber
, Nicola Leone
, Gerald Pfeifer, Axel Polleres
:
System Description: The DLVK Planning System. LPNMR 2001: 429-433 - [c49]Georg Gottlob, Nicola Leone, Francesco Scarcello:
Hypertree Decompositions: A Survey. MFCS 2001: 37-57 - [c48]Georg Gottlob, Nicola Leone, Francesco Scarcello:
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS 2001 - [c47]Nicola Leone, Simona Perri, Francesco Scarcello:
Join Ordering Techniques for Knowledge Base Systems. SEBD 2001: 79-93 - [c46]Georg Gottlob, Nicola Leone, Francesco Scarcello:
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. SEBD 2001: 147-154 - [i5]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) - [i4]Francesco Buccafurri, Wolfgang Faber, Nicola Leone:
Disjunctive Logic Programs with Inheritance. CoRR cs.LO/0105036 (2001) - [i3]Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello:
Abduction with Penalization in Logic Programming. CoRR cs.LO/0111010 (2001) - 2000
- [j25]Georg Gottlob
, Nicola Leone
, Francesco Scarcello
:
A comparison of structural CSP decomposition methods. Artif. Intell. 124(2): 243-282 (2000) - [j24]Francesco Buccafurri
, Nicola Leone
, Pasquale Rullo:
Enhancing Disjunctive Datalog by Constraints. IEEE Trans. Knowl. Data Eng. 12(5): 845-860 (2000) - [c45]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Planning under Incomplete Knowledge. Computational Logic 2000: 807-821 - [c44]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000: 125-134 - [i2]Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer:
DLV - A System for Declarative Problem Solving. CoRR cs.AI/0003036 (2000)
1990 – 1999
- 1999
- [j23]Francesco Buccafurri
, Thomas Eiter, Georg Gottlob
, Nicola Leone
:
Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. 112(1-2): 57-104 (1999) - [j22]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
The Diagnosis Frontend of the dlv System. AI Commun. 12(1-2): 99-111 (1999) - [j21]Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Semantics and Expressiveness of Disjunctive Ordered Logic. Ann. Math. Artif. Intell. 25(3-4): 311-337 (1999) - [j20]Georg Gottlob, Nicola Leone, Helmut Veith:
Succinctness as a Source of Complexity in Logical Formalisms. Ann. Pure Appl. Log. 97(1-3): 231-260 (1999) - [j19]Georg Gottlob, Nicola Leone
, Francesco Scarcello
:
On the Complexity of Some Inductive Logic Programming Problems. New Gener. Comput. 17(1): 53-75 (1999) - [c43]Nicola Leone, Simona Perri
, Pasquale Rullo:
Local Search Techniques for Disjunctive Logic Programs. AI*IA 1999: 107-118 - [c42]Georg Gottlob, Nicola Leone, Francesco Scarcello:
On Tractable Queries and Constraints. DEXA 1999: 1-15 - [c41]Georg Gottlob, Nicola Leone, Francesco Scarcello:
Computing LOGCFL Certificates. ICALP 1999: 361-371 - [c40]Francesco Buccafurri, Wolfgang Faber, Nicola Leone:
Disjunctive Logic Programs with Inheritance. ICLP 1999: 79-93 - [c39]Christoph Koch, Nicola Leone:
Stable Model Checking Made Easy. IJCAI 1999: 70-75 - [c38]Georg Gottlob, Nicola Leone, Francesco Scarcello:
A Comparison of Structural CSP Decomposition Methods. IJCAI 1999: 394-399 - [c37]Wolfgang Faber
, Nicola Leone
, Gerald Pfeifer:
Pushing Goal Derivation in DLP Computations. LPNMR 1999: 177-191 - [c36]Georg Gottlob, Nicola Leone, Francesco Scarcello:
Hypertree Decompositions and Tractable Queries. PODS 1999: 21-32 - [c35]Georg Gottlob, Nicola Leone, Francesco Scarcello:
Hypertree Decompositions and Tractable Queries. SEBD 1999: 275-289 - [e1]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. Lecture Notes in Computer Science 1730, Springer 1999, ISBN 3-540-66749-0 [contents] - 1998
- [j18]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) - [c34]Nicola Leone, Luigi Palopoli, Domenico Saccà:
On the Complexity of Search Queries. FMLDO 1998: 113-127 - [c33]Georg Gottlob, Nicola Leone, Francesco Scarcello:
The Complexity of Acyclic Conjunctive Queries. FOCS 1998: 706-715 - [c32]Thomas Eiter, Nicola Leone, Cristinel Mateis
, Gerald Pfeifer, Francesco Scarcello:
Progress Report on the Disjunctive Deductive Database System dlv. FQAS 1998: 148-163 - [c31]Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998: 406-417 - [c30]Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Disjunctive Ordered Logic: Semantics and Expressiveness. KR 1998: 418-431 - [i1]Georg Gottlob, Nicola Leone, Francesco Scarcello:
Hypertree Decompositions and Tractable Queries. CoRR cs.DB/9812022 (1998) - 1997
- [j17]Thomas Eiter, Georg Gottlob, Nicola Leone:
Semantics and Complexity of Abduction from Default Theories. Artif. Intell. 90(1-2): 177-223 (1997) - [j16]Thomas Eiter, Nicola Leone, Domenico Saccà
:
On the Partial Semantics for Disjunctive Deductive Databases. Ann. Math. Artif. Intell. 19(1-2): 59-96 (1997) - [j15]Nicola Leone
, Clara Pizzuti, Pasquale Rullo:
Efficient Evaluation of a Class of Ordered Logic Programs. Data Knowl. Eng. 23(2): 185-214 (1997) - [j14]Nicola Leone
, Pasquale Rullo, Francesco Scarcello:
Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Inf. Comput. 135(2): 69-112 (1997) - [j13]Thomas Eiter, Georg Gottlob, Nicola Leone:
On the Indiscernibility of Individuals in Logic Programming. J. Log. Comput. 7(6): 805-824 (1997) - [j12]Thomas Eiter, Georg Gottlob, Nicola Leone:
Abduction from Logic Programs: Semantics and Complexity. Theor. Comput. Sci. 189(1-2): 129-177 (1997) - [j11]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) - [j10]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) - [c29]Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE 1997: 141-152 - [c28]Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Adding Weak Constraints to Disjunctive Datalog. APPIA-GULP-PRODE 1997: 557-568 - [c27]Georg Gottlob
, Nicola Leone
, Francesco Scarcello
:
On the Complexity of Some Inductive Logic Programming Problems. ILP 1997: 17-32 - [c26]Sergio Greco
, Nicola Leone, Francesco Scarcello:
DATALOG with Nested Rules. LPKR 1997: 52-65 - [c25]Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Strong and Weak Constraints in Disjunctive Datalog. LPNMR 1997: 2-17 - [c24]Thomas Eiter, Nicola Leone, Cristinel Mateis
, Gerald Pfeifer, Francesco Scarcello:
A Deductive System for Non-Monotonic Reasoning. LPNMR 1997: 364-375 - [c23]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 - 1996
- [j9]Francesco Buccafurri, Nicola Leone, Francesco Scarcello:
On the Expressive Power of Ordered Logic. AI Commun. 9(1): 4-13 (1996) - [j8]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) - [c22]Thomas Eiter, Nicola Leone, Domenico Saccà:
Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. APPIA-GULP-PRODE 1996: 271-282 - [c21]Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Computing Disjunctive Ordered Logic. APPIA-GULP-PRODE 1996: 283-294 - [c20]Thomas Eiter, Nicola Leone, Domenico Saccà:
Partial Semantics for Disjunctive Deductive Databases. DEXA 1996: 564-573 - [c19]Nicola Leone, Pasquale Rullo, Francesco Scarcello:
On the Computation of Disjunctive Stable Models. DEXA 1996: 654-666 - [c18]Thomas Eiter, Nicola Leone
, Domenico Saccà:
The Expressive Power of Partial Models in Disjunctive Deductive Databases. Logic in Databases 1996: 245-264 - [c17]Nicola Leone
, Pasquale Rullo, Francesco Scarcello
:
Stable Model Checking for Disjunctive Logic Programs. Logic in Databases 1996: 265-278 - 1995
- [j7]Nicola Leone
, Luigi Palopoli
, Massimo Romeo:
A Language for Updating Logic Programs and its Implementation. J. Log. Program. 23(1): 1-61 (1995) - [c16]Francesco Scarcello, Nicola Leone, Luigi Palopoli:
Curbing Theories: Fixpoint Semantics and Complexity Issues. GULP-PRODE 1995: 545-556 - [c15]Francesco Buccafurri, Nicola Leone, Luigi Palopoli, Pasquale Rullo:
Disjunctive Ordered Logic. DEXA 1995: 303-312 - [c14]Nicola Leone, Pasquale Rullo:
BQM: a system integrating logic, objects, and non-monotonic reasoning. ICTAI 1995: 400-407 - [c13]Thomas Eiter, Georg Gottlob, Nicola Leone:
Semantics and Complexity of Abduction from Default Theories. IJCAI (1) 1995: 870-877 - [c12]Thomas Eiter, Georg Gottlob, Nicola Leone:
Complexity Results for Abductive Logic Programming. LPNMR 1995: 1-14 - [c11]Georg Gottlob, Nicola Leone, Helmut Veith:
Second Order Logic and the Weak Exponential Hierarchies. MFCS 1995: 66-81 - [c10]Nicola Leone, Francesco Scarcello:
Declarative and Fixpoint Characterizations of Disjunctive Stable Models. ILPS 1995: 399-413 - [c9]Thomas Eiter, Nicola Leone:
On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. WLP 1995: 217-226 - 1994
- [j6]Nicola Leone
, Luigi Palopoli, Massimo Romeo:
Modifying Intensional Logic Knowledge. Fundam. Informaticae 21(3): 183-203 (1994) - [c8]Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
A non-deterministic semantics for ordered logic programs. GULP-PRODE (1) 1994: 449-463 - [c7]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 - 1993
- [j5]Nicola Leone
, Pasquale Rullo:
Ordered Logic Programming with Sets. J. Log. Comput. 3(6): 621-642 (1993) - [j4]Nicola Leone
, Giuseppe Rossi:
Well-Founded Semantics and Stratification for Ordered Logic Programs. New Gener. Comput. 12(1): 91-121 (1993) - [c6]Nicola Leone, Pasquale Rullo:
Adding Set Terms to Ordered Logic Programs. GULP 1993: 87-100 - [c5]Nicola Leone, Luigi Palopoli
, Massimo Romeo:
Updating Logic Programs. ISMIS 1993: 235-244 - [c4]Nicola Leone, Fabio Messina, Tommaso Mostardi, Carlo Siciliano:
Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase. SEBD 1993: 185-198 - [p1]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 - 1992
- [j3]Nicola Leone, Pasquale Rullo:
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries. Comput. J. 35(Additional-Papers): A519-A527 (1992) - [j2]Nicola Leone
, Pasquale Rullo:
Safe computation of the well-founded semantics of Datalog queries. Inf. Syst. 17(1): 17-31 (1992) - [j1]Sergio Greco, Nicola Leone
, Pasquale Rullo:
COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4(4): 344-359 (1992) - [c3]Nicola Leone
, Antonella Mecchia, Giuseppe Rossi, Pasquale Rullo:
The Basic Query Machine of the KIWIS System. CAiSE 1992: 632-650 - [c2]Nicola Leone, Pasquale Rullo:
Stable Model Semantics and its Computation for Ordered Logic Programs. ECAI 1992: 92-96 - 1991
- [c1]Matts Ahlsén, 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-09 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint