Nicola Leone

289 papers A* 25A 4B 52C 14Misc 1Journal 116Unranked 71
YearRankTypeTitle / Venue / Authors
2026 C conf
Solving Hard Combinatorial Optimization Problems with PyQASP.
PADL
Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca
2024 C conf
Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events.
PPDP
Luca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, Giorgio Terracina
2023 J jnl
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.
Algorithms
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
2023 J jnl
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels.
CoRR
Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
2023 J jnl
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels.
Theory Pract. Log. Program.
Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
2022 J jnl
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).
CoRR
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
2022 — conf
A Formal Comparison between Datalog-based Languages for Stream Reasoning.
Datalog
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
2022 — conf
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels.
CILC
Vito Barbara, Dimitri Buelli, Massimo Guarascio, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco, Valerio Pesenti, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
2022 C conf
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.
PADL
Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca
2021 J jnl
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming.
Theory Pract. Log. Program.
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2020 J jnl
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification.
CoRR
Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna
2020 J jnl
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification.
Theory Pract. Log. Program.
Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna
2020 J jnl
ASP-Core-2 Input Language Format.
Theory Pract. Log. Program.
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2020 J jnl
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming.
CoRR
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2020 — ed.
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020.
ICLP Technical Communications
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
2019 J jnl
ASP-Core-2 Input Language Format.
CoRR
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2019 B conf
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots.
LPNMR
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2019 — conf
An ASP-based Approach for Optimizing DLV Evaluation.
CILC
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
2019 B conf
Enhancing DLV for Large-Scale Reasoning.
LPNMR
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
2019 J jnl
Enhancing Magic Sets with an Application to Ontological Reasoning.
Theory Pract. Log. Program.
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
2019 J jnl
Enhancing magic sets with an application to ontological reasoning.
CoRR
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
2019 B conf
Evaluation of Disjunctive Programs in WASP.
LPNMR
Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
2019 J jnl
Fast Query Answering over Existential Rules.
ACM Trans. Comput. Log.
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
2019 — conf
Large Scale DLV: Preliminary Results.
CILC
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
2019 B ed.
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings
JELIA
Francesco Calimeri, Nicola Leone, Marco Manna
2019 J jnl
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios.
Theory Pract. Log. Program.
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
2019 J jnl
Precomputing Datalog evaluation plans in large-scale scenarios.
CoRR
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
2019 — conf
Querying Large Expressive Horn Ontologies.
SEBD
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
2018 A* conf
Enhancing Existential Rules by Closed-World Variables.
IJCAI
Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
2018 A* conf
Evaluation Techniques and Systems for Answer Set Programming: a Survey.
IJCAI
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
2018 A* conf
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.
IJCAI
Giovanni Amendola, Nicola Leone, Marco Manna
2018 — conf
First Steps towards Reasoning on Big Data with DLV.
SEBD
Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018 C ed.
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings
PADL
Francesco Calimeri, Kevin W. Hamlen, Nicola Leone
2018 C conf
Reasoning over Ontologies with DLV.
IC3K
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
2018 — ch.
Structural Decomposition Methods: Key Notions and Database Applications.
A Comprehensive Guide Through the Italian Database Research
Gianluigi Greco, Nicola Leone, Francesco Scarcello, Giorgio Terracina
2018 — conf
The AI System DLV: Ontologies, Reasoning, and More.
KDIR
Nicola Leone
2018 J jnl
The ASP System DLV: Advancements and Applications.
Künstliche Intell.
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
2017 — conf
Document Layout Analysis for Semantic Information Extraction.
AI*IA
Weronika T. Adrian, Nicola Leone, Marco Manna, Cinzia Marte
2017 — conf
Entity set expansion from the Web via ASP.
ICLP (Technical Communications)
Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian
2017 J jnl
Finite model reasoning over existential rules.
CoRR
Giovanni Amendola, Nicola Leone, Marco Manna
2017 J jnl
Finite model reasoning over existential rules.
Theory Pract. Log. Program.
Giovanni Amendola, Nicola Leone, Marco Manna
2017 A* conf
On the Computation of Paracoherent Answer Sets.
AAAI
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2017 J jnl
On the Computation of Paracoherent Answer Sets.
CoRR
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2017 — conf
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper).
SEBD
Giovanni Amendola, Nicola Leone, Marco Manna
2017 — conf
Reasoning on anonymity in Datalog+/-.
ICLP (Technical Communications)
Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
2017 B conf
The ASP System DLV2.
LPNMR
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2016 J jnl
Applications of Answer Set Programming.
AI Mag.
Esra Erdem, Michael Gelfond, Nicola Leone
2016 J jnl
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper).
CoRR
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
2016 J jnl
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).
Theory Pract. Log. Program.
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
2016 J jnl
Driving CDCL Search.
CoRR
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
2016 J jnl
Grounding and Solving in Answer Set Programming.
AI Mag.
Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub
2016 A* conf
Hypertree Decompositions: Questions and Answers.
PODS
Georg Gottlob, Gianluigi Greco, Nicola Leone, Francesco Scarcello
2016 A* conf
Modeling and Reasoning about NTU Games via Answer Set Programming.
IJCAI
Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri
2016 — conf
On the Application of Answer Set Programming to the Conference Paper Assignment Problem.
AI*IA
Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca
2016 A* conf
On the Properties of GZ-Aggregates in Answer Set Programming.
IJCAI
Mario Alviano, Nicola Leone
2016 J jnl
Semi-equilibrium models for paracoherent answer set programs.
Artif. Intell.
Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura
2015 B conf
Advances in WASP.
LPNMR
Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca
2015 — conf
Allotment Problem in Travel Industry: A Solution Based on ASP.
RR
Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca
2015 — conf
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications.
Reasoning Web
Nicola Leone, Francesco Ricca
2015 J jnl
Complexity and Compilation of GZ-Aggregates in Answer Set Programming.
CoRR
Mario Alviano, Nicola Leone
2015 J jnl
Complexity and compilation of GZ-aggregates in answer set programming.
Theory Pract. Log. Program.
Mario Alviano, Nicola Leone
2015 Misc conf
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments.
ICAISC
Weronika T. Adrian, Nicola Leone, Antoni Ligeza, Marco Manna, Mateusz Slazynski
2015 J jnl
Ontology-driven Information Extraction.
CoRR
Weronika T. Adrian, Nicola Leone, Marco Manna
2015 — conf
Semantic Views of Homogeneous Unstructured Data.
RR
Weronika T. Adrian, Nicola Leone, Marco Manna
2014 B conf
Modular Paracoherent Answer Sets.
JELIA
Giovanni Amendola, Thomas Eiter, Nicola Leone
2014 J jnl
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
CoRR
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2013 — conf
A graphic tool for ontology reasoning under Datalog
SEBD
Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri
2013 — conf
Answer Set Programming: Language, Applications and Development Tools.
RR
Giovanni Grasso, Nicola Leone, Francesco Ricca
2013 — conf
Development Tools for Datalog.
SEBD
Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca
2013 J jnl
Introduction to the special issue on the 25th annual GULP conference.
Theory Pract. Log. Program.
Wolfgang Faber, Nicola Leone
2013 B conf
Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System.
LPNMR
Giorgio Terracina, Alessandra Martello, Nicola Leone
2013 — conf
Query Answering over Disjunctive Datalog with Existential Quantifiers.
SEBD
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
2013 B conf
WASP: A Native ASP Solver Based on Constraint Learning.
LPNMR
Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2012 — conf
Datalog Development Tools - (Extended Abstract).
Datalog
Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca
2012 J jnl
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
CoRR
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
2012 J jnl
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.
Theory Pract. Log. Program.
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
2012 — conf
Distributed Ontology Based Data Access via Logic Programming.
RR
Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina
2012 — conf
Efficient Query Answering over Datalog with Existential Quantifiers.
SEBD
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
2012 A* conf
Efficiently Computable Datalog∃ Programs.
KR
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
2012 — conf
Extending ASPIDE with User-defined Plugins.
CILC
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2012 A* conf
JASP: A Framework for Integrating Answer Set Programming with Java.
KR
Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca
2012 J jnl
Magic Sets for Disjunctive Datalog Programs
CoRR
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone
2012 J jnl
Magic Sets for disjunctive Datalog programs.
Artif. Intell.
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone
2012 — conf
Magic-Sets for Datalog with Existential Quantifiers.
Datalog
Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
2012 J jnl
Team-building with answer set programming in the Gioia-Tauro seaport.
Theory Pract. Log. Program.
Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone
2012 J jnl
The HiLeX System for Semantic Information Extraction.
Trans. Large Scale Data Knowl. Centered Syst.
Marco Manna, Ermelinda Oro, Massimo Ruffolo, Mario Alviano, Nicola Leone
2012 — conf
The Intelligent Grounder of DLV.
Correct Reasoning
Wolfgang Faber, Nicola Leone, Simona Perri
2011 J jnl
A long tour from theory to practice.
Intelligenza Artificiale
Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà
2011 — conf
ASP at Work: Spin-off and Applications of the DLV System.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca
2011 J jnl
Answer Set Planning Under Action Costs
CoRR
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2011 B conf
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.
LPNMR
Mario Alviano, Gianluigi Greco, Nicola Leone
2011 J jnl
Finitely recursive programs: Decidability and bottom-up computation.
AI Commun.
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2011 J jnl
Look-back Techniques for ASP Programs with Aggregates.
Fundam. Informaticae
Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2011 J jnl
On the complexity of regular-grammars with integer attributes.
J. Comput. Syst. Sci.
Marco Manna, Francesco Scarcello, Nicola Leone
2011 — conf
Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis.
SEBD
Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina
2011 J jnl
Semantics and complexity of recursive aggregates in answer set programming.
Artif. Intell.
Wolfgang Faber, Gerald Pfeifer, Nicola Leone
2011 J jnl
Team-building with Answer Set Programming in the Gioia-Tauro Seaport
CoRR
Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone
2011 — conf
The Birth of a WASP: Preliminary Report on a New ASP Solver.
CILC
Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni
2011 B conf
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
LPNMR
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
2011 J jnl
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
J. Artif. Intell. Res.
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2011 J jnl
Unit Testing in ASPIDE
CoRR
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2011 — conf
Unit Testing in ASPIDE.
INAP/WLP
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2010 J jnl
A Logic-Based System for e-Tourism.
Fundam. Informaticae
Francesco Ricca, Antonella Dimasi, Giovanni Grasso, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna, Nicola Leone
2010 C conf
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport.
PADL
Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise
2010 — ch.
Answer Set Programming.
25 Years GULP
Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca
2010 J jnl
Disjunctive ASP with Functions: Decidable Queries and Effective Computation
CoRR
Mario Alviano, Wolfgang Faber, Nicola Leone
2010 J jnl
Disjunctive ASP with functions: Decidable queries and effective computation.
Theory Pract. Log. Program.
Mario Alviano, Wolfgang Faber, Nicola Leone
2010 C conf
Efficient Application of Answer Set Programming for Advanced Data Integration.
PADL
Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina
2010 A* conf
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.
AAAI
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2010 — ed.
Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010
CILC
Wolfgang Faber, Nicola Leone
2010 — conf
The Disjunctive Datalog System DLV.
Datalog
Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina
2010 — conf
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation.
RCRA@CPAIOR
Mario Alviano, Wolfgang Faber, Nicola Leone
2009 B conf
An ASP System with Functions, Lists, and Sets.
LPNMR
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2009 B conf
An ASP-Based Data Integration System.
LPNMR
Nicola Leone, Francesco Ricca, Giorgio Terracina
2009 B conf
An ASP-Based System for e-Tourism.
LPNMR
Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca
2009 B conf
Exploiting ASP in Real-World Applications: Main Strengths and Challenges.
LPNMR
Nicola Leone
2009 B conf
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.
LPNMR
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2009 J jnl
Normal Form Nested Programs.
Fundam. Informaticae
Annamaria Bria, Wolfgang Faber, Nicola Leone
2009 J jnl
OntoDLV: An ASP-based System for Enterprise Ontologies.
J. Log. Comput.
Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, Giovanni Grasso, Nicola Leone
2009 B conf
Some DLV Applications for Knowledge Management.
LPNMR
Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca
2009 B conf
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.
LPNMR
Annamaria Bria, Wolfgang Faber, Nicola Leone
2008 — ch.
Answer Set Programming.
Wiley Encyclopedia of Computer Science and Engineering
Wolfgang Faber, Nicola Leone, Francesco Ricca
2008 B conf
Computable Functions in ASP: Theory and Implementation.
ICLP
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2008 J jnl
Design and Implementation of Aggregate Functions in the DLV System
CoRR
Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa
2008 J jnl
Design and implementation of aggregate functions in the DLV system.
Theory Pract. Log. Program.
Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa
2008 — conf
Enhancing a DLP System for Advanced Database Applications.
RR
Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone
2008 — conf
Experiencing ASP with Real World Applications.
RCRA
Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone
2008 J jnl
Experimenting with recursive queries in database and logic programming systems.
Theory Pract. Log. Program.
Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta
2008 — conf
Logic Programming in DataLog: A Long Tour from Theory to Practice.
Il Milione
Sergio Greco, Luigi Palopoli, Nicola Leone, Pasquale Rullo, Domenico Saccà
2008 — conf
Look-back Techniques for ASP Programs with Aggregates.
RCRA
Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2008 J jnl
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.
J. Algorithms
Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone
2008 A* conf
Magic Sets for Data Integration.
AAAI
Wolfgang Faber, Gianluigi Greco, Nicola Leone
2008 B conf
Normal Form Nested Programs.
JELIA
Annamaria Bria, Wolfgang Faber, Nicola Leone
2008 J jnl
On the relation among answer set solvers.
Ann. Math. Artif. Intell.
Enrico Giunchiglia, Nicola Leone, Marco Maratea
2008 B conf
The DLV Project: A Tour from Theory and Research to Applications and Market.
ICLP
Nicola Leone, Wolfgang Faber
2007 J jnl
Disjunctive logic programming with types and objects: The DLV
J. Appl. Log.
Francesco Ricca, Nicola Leone
2007 J jnl
Enhancing DLV instantiator by backjumping techniques.
Ann. Math. Artif. Intell.
Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone
2007 B conf
Experimenting with Look-Back Heuristics for Hard ASP Programs.
LPNMR
Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2007 J jnl
Experimenting with recursive queries in database and logic programming systems
CoRR
Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta
2007 B conf
Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications.
LPNMR
Nicola Leone
2007 J jnl
Magic Sets and their application to data integration.
J. Comput. Syst. Sci.
Wolfgang Faber, Gianluigi Greco, Nicola Leone
2007 J jnl
On look-ahead heuristics in disjunctive logic programming.
Ann. Math. Artif. Intell.
Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca
2007 B conf
On the Complexity of Answer Set Programming with Aggregates.
LPNMR
Wolfgang Faber, Nicola Leone
2007 J jnl
Weighted hypertree decompositions and optimal query plans.
J. Comput. Syst. Sci.
Francesco Scarcello, Gianluigi Greco, Nicola Leone
2006 B conf
A Logic-Based Tool for Semantic Information Extraction.
JELIA
Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà
2006 J jnl
A backjumping technique for Disjunctive Logic Programming.
AI Commun.
Francesco Ricca, Wolfgang Faber, Nicola Leone
2006 C conf
Adding Efficient Data Management to Logic Programming Systems.
ISMIS
Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta
2006 — conf
Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features.
Business Process Management Workshops
Andrea Gualtieri, Tina Dell'Armi, Nicola Leone
2006 J jnl
Pruning Operators for Disjunctive Logic Programming Systems.
Fundam. Informaticae
Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone
2006 J jnl
The DLV system for knowledge representation and reasoning.
ACM Trans. Comput. Log.
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2006 — conf
Towards a Semantic Information Extraction Approach from Unstructured Documents.
SEBD
Massimo Ruffolo, Lorenzo Gallucci, Nicola Leone, Marco Manna, Domenico Saccà
2005 B conf
A DLP System with Object-Oriented Features.
LPNMR
Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso
2005 J jnl
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.
Theory Pract. Log. Program.
Simona Perri, Francesco Scarcello, Nicola Leone
2005 — conf
Boosting Information Integration: The INFOMIX System.
SEBD
Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco
2005 B conf
Data Integration: a Challenging ASP Application.
LPNMR
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
2005 A* conf
Declarative and Computational Properties of Logic Programs with Aggregates.
IJCAI
Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2005 — conf
Exploiting ASP for Semantic Information Extraction.
Answer Set Programming
Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto
2005 A* conf
Heuristics for Hard ASP Programs.
IJCAI
Wolfgang Faber, Nicola Leone, Francesco Ricca
2005 B ed.
Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
LPNMR
Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina
2005 A conf
Magic Sets and Their Application to Data Integration.
ICDT
Wolfgang Faber, Gianluigi Greco, Nicola Leone
2005 — conf
Magic Sets and their Application to Data Integration.
SEBD
Wolfgang Faber, Gianluigi Greco, Nicola Leone
2005 J jnl
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.
Intelligenza Artificiale
Wolfgang Faber, Nicola Leone, Francesco Ricca
2005 — conf
The INFOMIX system for advanced integration of incomplete and inconsistent data.
SIGMOD Conference
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
2004 J jnl
A logic programming approach to knowledge-state planning: Semantics and complexity.
ACM Trans. Comput. Log.
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2004 — conf
BackJumping techniques for rules instantiation in the DLV system.
NMR
Nicola Leone, Simona Perri, Francesco Scarcello
2004 B conf
DLV
LPNMR
Nicola Leone, Vincenzino Lio, Giorgio Terracina
2004 B conf
Enhancing the Magic-Set Method for Disjunctive Datalog Programs.
ICLP
Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone
2004 B conf
New DLV Features for Data Integration.
JELIA
Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer
2004 — conf
On Weighted Hypertree Decompositions.
SEBD
Gianluigi Greco, Nicola Leone, Francesco Scarcello
2004 J jnl
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.
IEEE Trans. Knowl. Data Eng.
Nicola Leone, Francesco Scarcello, V. S. Subrahmanian
2004 J jnl
Parametric connectives in Disjunctive Logic Programming.
AI Commun.
Simona Perri, Nicola Leone
2004 B conf
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.
JELIA
Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2004 B conf
System Description: DLV with Aggregates.
LPNMR
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer
2004 J jnl
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
CoRR
Francesco Calimeri, Nicola Leone
2004 A* conf
Weighted Hypertree Decompositions and Optimal Query Plans.
PODS
Francesco Scarcello, Gianluigi Greco, Nicola Leone
2003 J jnl
A logic programming approach to knowledge-state planning, II: The DLV
Artif. Intell.
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2003 J jnl
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
CoRR
Simona Perri, Francesco Scarcello, Nicola Leone
2003 — conf
Aggregate Functions in DLV.
Answer Set Programming
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
2003 A* conf
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.
IJCAI
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
2003 J jnl
Answer Set Planning Under Action Costs.
J. Artif. Intell. Res.
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2003 J jnl
Computing preferred answer sets by meta-interpretation in answer set programming.
Theory Pract. Log. Program.
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2003 J jnl
Enhancing disjunctive logic programming systems by SAT checkers.
Artif. Intell.
Christoph Koch, Nicola Leone, Gerald Pfeifer
2003 J jnl
Parametric Connectives in Disjunctive Logic Programming
CoRR
Simona Perri, Nicola Leone
2003 — conf
Parametric Connectives in Disjunctive Logic Programming.
Answer Set Programming
Nicola Leone, Simona Perri
2003 J jnl
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width.
J. Comput. Syst. Sci.
Georg Gottlob, Nicola Leone, Francesco Scarcello
2002 B conf
Answer Set Planning under Action Costs.
JELIA
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2002 J jnl
Computing LOGCFL certificates.
Theor. Comput. Sci.
Georg Gottlob, Nicola Leone, Francesco Scarcello
2002 J jnl
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
CoRR
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2002 — conf
Cost-based Query Decompositions.
SEBD
Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello
2002 J jnl
Disjunctive Logic Programs with Inheritance.
Theory Pract. Log. Program.
Francesco Buccafurri, Wolfgang Faber, Nicola Leone
2002 J jnl
Hypertree Decompositions and Tractable Queries.
J. Comput. Syst. Sci.
Georg Gottlob, Nicola Leone, Francesco Scarcello
2002 J jnl
Knowledge Representation and Logic Programming.
Artif. Intell.
Michael Gelfond, Nicola Leone
2002 J jnl
Logic programming and knowledge representation - The A-Prolog perspective.
Artif. Intell.
Michael Gelfond, Nicola Leone
2002 B ed.
Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings
JELIA
Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni
2002 — conf
Pruning operators for answer set programming systems.
NMR
Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2002 B conf
The DLV
JELIA
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2002 J jnl
The DLV System for Knowledge Representation and Reasoning
CoRR
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2002 B conf
The DLV System.
JELIA
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
2001 J jnl
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
CoRR
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2001 J jnl
Abduction with Penalization in Logic Programming
CoRR
Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello
2001 — conf
Abduction with Penalization in Logic Programming.
AI*IA
Nicola Leone, Simona Perri, Francesco Scarcello
2001 B conf
Census Data Repair: a Challenging Application of Disjunctive Logic Programming.
LPAR
Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello
2001 — conf
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.
Answer Set Programming
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2001 J jnl
Disjunctive Logic Programs with Inheritance
CoRR
Francesco Buccafurri, Wolfgang Faber, Nicola Leone
2001 A* conf
Experimenting with Heuristics for Answer Set Programming.
IJCAI
Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2001 B conf
Hypertree Decompositions: A Survey.
MFCS
Georg Gottlob, Nicola Leone, Francesco Scarcello
2001 B conf
Improving ASP Instantiators by Join-Ordering Methods.
LPNMR
Nicola Leone, Simona Perri, Francesco Scarcello
2001 — conf
Join Ordering Techniques for Knowledge Base Systems.
SEBD
Nicola Leone, Simona Perri, Francesco Scarcello
2001 J jnl
On ACTL Formulas Having Linear Counterexamples.
J. Comput. Syst. Sci.
Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone
2001 B conf
Optimizing the Computation of Heuristics for Answer Set Programming Systems.
LPNMR
Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2001 A* conf
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width.
PODS
Georg Gottlob, Nicola Leone, Francesco Scarcello
2001 — conf
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width.
SEBD
Georg Gottlob, Nicola Leone, Francesco Scarcello
2001 B conf
System Description: DLV.
LPNMR
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer
2001 B conf
System Description: The DLV
LPNMR
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2001 J jnl
The complexity of acyclic conjunctive queries.
J. ACM
Georg Gottlob, Nicola Leone, Francesco Scarcello
2000 J jnl
A comparison of structural CSP decomposition methods.
Artif. Intell.
Georg Gottlob, Nicola Leone, Francesco Scarcello
2000 J jnl
DLV - A System for Declarative Problem Solving
CoRR
Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer
2000 J jnl
Enhancing Disjunctive Datalog by Constraints.
IEEE Trans. Knowl. Data Eng.
Francesco Buccafurri, Nicola Leone, Pasquale Rullo
2000 — conf
Planning under Incomplete Knowledge.
Computational Logic
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2000 — conf
Using the dlv System for Planning and Diagnostic Reasoning.
WLP
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
1999 A* conf
A Comparison of Structural CSP Decomposition Methods.
IJCAI
Georg Gottlob, Nicola Leone, Francesco Scarcello
1999 A* conf
Computing LOGCFL Certificates.
ICALP
Georg Gottlob, Nicola Leone, Francesco Scarcello
1999 B conf
Disjunctive Logic Programs with Inheritance.
ICLP
Francesco Buccafurri, Wolfgang Faber, Nicola Leone
1999 J jnl
Enhancing Model Checking in Verification by AI Techniques.
Artif. Intell.
Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone
1999 A* conf
Hypertree Decompositions and Tractable Queries.
PODS
Georg Gottlob, Nicola Leone, Francesco Scarcello
1999 — conf
Hypertree Decompositions and Tractable Queries.
SEBD
Georg Gottlob, Nicola Leone, Francesco Scarcello
1999 — conf
Local Search Techniques for Disjunctive Logic Programs.
AI*IA
Nicola Leone, Simona Perri, Pasquale Rullo
1999 B ed.
Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings
LPNMR
Michael Gelfond, Nicola Leone, Gerald Pfeifer
1999 C conf
On Tractable Queries and Constraints.
DEXA
Georg Gottlob, Nicola Leone, Francesco Scarcello
1999 J jnl
On the Complexity of Some Inductive Logic Programming Problems.
New Gener. Comput.
Georg Gottlob, Nicola Leone, Francesco Scarcello
1999 B conf
Pushing Goal Derivation in DLP Computations.
LPNMR
Wolfgang Faber, Nicola Leone, Gerald Pfeifer
1999 J jnl
Semantics and Expressiveness of Disjunctive Ordered Logic.
Ann. Math. Artif. Intell.
Francesco Buccafurri, Nicola Leone, Pasquale Rullo
1999 A* conf
Stable Model Checking Made Easy.
IJCAI
Christoph Koch, Nicola Leone
1999 J jnl
Succinctness as a Source of Complexity in Logical Formalisms.
Ann. Pure Appl. Log.
Georg Gottlob, Nicola Leone, Helmut Veith
1999 J jnl
The Diagnosis Frontend of the dlv System.
AI Commun.
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
1998 A* conf
Disjunctive Ordered Logic: Semantics and Expressiveness.
KR
Francesco Buccafurri, Nicola Leone, Pasquale Rullo
1998 J jnl
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases.
Theor. Comput. Sci.
Thomas Eiter, Nicola Leone, Domenico Saccà
1998 J jnl
Hypertree Decompositions and Tractable Queries
CoRR
Georg Gottlob, Nicola Leone, Francesco Scarcello
1998 — conf
On the Complexity of Search Queries.
FMLDO
Nicola Leone, Luigi Palopoli, Domenico Saccà
1998 C conf
Progress Report on the Disjunctive Deductive Database System
FQAS
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1998 A* conf
The Complexity of Acyclic Conjunctive Queries.
FOCS
Georg Gottlob, Nicola Leone, Francesco Scarcello
1998 A* conf
The KR System dlv: Progress Report, Comparisons and Benchmarks.
KR
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997 J jnl
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning.
IEEE Trans. Knowl. Data Eng.
Nicola Leone, Pasquale Rullo, Antonella Mecchia, Giuseppe Rossi
1997 B conf
A Deductive System for Non-Monotonic Reasoning.
LPNMR
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997 J jnl
Abduction from Logic Programs: Semantics and Complexity.
Theor. Comput. Sci.
Thomas Eiter, Georg Gottlob, Nicola Leone
1997 — conf
Adding Weak Constraints to Disjunctive Datalog.
APPIA-GULP-PRODE
Francesco Buccafurri, Nicola Leone, Pasquale Rullo
1997 — conf
DATALOG with Nested Rules.
LPKR
Sergio Greco, Nicola Leone, Francesco Scarcello
1997 J jnl
Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation.
Inf. Comput.
Nicola Leone, Pasquale Rullo, Francesco Scarcello
1997 J jnl
Efficient Evaluation of a Class of Ordered Logic Programs.
Data Knowl. Eng.
Nicola Leone, Clara Pizzuti, Pasquale Rullo
1997 B conf
On the Complexity of Some Inductive Logic Programming Problems.
ILP
Georg Gottlob, Nicola Leone, Francesco Scarcello
1997 J jnl
On the Indiscernibility of Individuals in Logic Programming.
J. Log. Comput.
Thomas Eiter, Georg Gottlob, Nicola Leone
1997 J jnl
On the Partial Semantics for Disjunctive Deductive Databases.
Ann. Math. Artif. Intell.
Thomas Eiter, Nicola Leone, Domenico Saccà
1997 J jnl
ProbView: A Flexible Probabilistic Database System.
ACM Trans. Database Syst.
Laks V. S. Lakshmanan, Nicola Leone, Robert B. Ross, V. S. Subrahmanian
1997 J jnl
Semantics and Complexity of Abduction from Default Theories.
Artif. Intell.
Thomas Eiter, Georg Gottlob, Nicola Leone
1997 B conf
Strong and Weak Constraints in Disjunctive Datalog.
LPNMR
Francesco Buccafurri, Nicola Leone, Pasquale Rullo
1997 — conf
The Architecture of a Disjunctive Deductive Database System.
APPIA-GULP-PRODE
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997 — conf
The dlv System: Model Generator and Advanced Frontends (system description).
WLP
Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1996 — conf
Computing Disjunctive Ordered Logic.
APPIA-GULP-PRODE
Francesco Buccafurri, Nicola Leone, Pasquale Rullo
1996 C conf
On the Computation of Disjunctive Stable Models.
DEXA
Nicola Leone, Pasquale Rullo, Francesco Scarcello
1996 J jnl
On the Expressive Power of Ordered Logic.
AI Commun.
Francesco Buccafurri, Nicola Leone, Francesco Scarcello
1996 C conf
Partial Semantics for Disjunctive Deductive Databases.
DEXA
Thomas Eiter, Nicola Leone, Domenico Saccà
1996 — conf
Stable Model Checking for Disjunctive Logic Programs.
Logic in Databases
Nicola Leone, Pasquale Rullo, Francesco Scarcello
1996 J jnl
Stable Models and Their Computation for Logic Programming with Inheritance and True Negation.
J. Log. Program.
Francesco Buccafurri, Nicola Leone, Pasquale Rullo
1996 — conf
The Expressive Power of Partial Models in Disjunctive Deductive Databases.
Logic in Databases
Thomas Eiter, Nicola Leone, Domenico Saccà
1996 — conf
Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases.
APPIA-GULP-PRODE
Thomas Eiter, Nicola Leone, Domenico Saccà
1995 J jnl
A Language for Updating Logic Programs and its Implementation.
J. Log. Program.
Nicola Leone, Luigi Palopoli, Massimo Romeo
1995 B conf
BQM: a system integrating logic, objects, and non-monotonic reasoning.
ICTAI
Nicola Leone, Pasquale Rullo
1995 B conf
Complexity Results for Abductive Logic Programming.
LPNMR
Thomas Eiter, Georg Gottlob, Nicola Leone
1995 — conf
Curbing Theories: Fixpoint Semantics and Complexity Issues.
GULP-PRODE
Francesco Scarcello, Nicola Leone, Luigi Palopoli
1995 — conf
Declarative and Fixpoint Characterizations of Disjunctive Stable Models.
ILPS
Nicola Leone, Francesco Scarcello
1995 C conf
Disjunctive Ordered Logic
DEXA
Francesco Buccafurri, Nicola Leone, Luigi Palopoli, Pasquale Rullo
1995 — conf
On Modularity Properties of Partial Semantics for Disjunctive Logic Programs.
WLP
Thomas Eiter, Nicola Leone
1995 B conf
Second Order Logic and the Weak Exponential Hierarchies.
MFCS
Georg Gottlob, Nicola Leone, Helmut Veith
1995 A* conf
Semantics and Complexity of Abduction from Default Theories.
IJCAI (1)
Thomas Eiter, Georg Gottlob, Nicola Leone
1994 — conf
A non-deterministic semantics for ordered logic programs.
GULP-PRODE (1)
Francesco Buccafurri, Nicola Leone, Pasquale Rullo
1994 — conf
Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati Relazionali Remote.
SEBD
Fabrizio Angiulli, Nicola Leone, Fabio Messina, Massimo Romeo
1994 J jnl
Modifying Intensional Logic Knowledge.
Fundam. Informaticae
Nicola Leone, Luigi Palopoli, Massimo Romeo
1993 — conf
Adding Set Terms to Ordered Logic Programs.
GULP
Nicola Leone, Pasquale Rullo
1993 — ch.
Effective Implementation of Negation in Database Logic Query Languages.
LOGIDATA+: Deductive Databases with Complex Objects
Nicola Leone, Massimo Romeo, Pasquale Rullo, Domenico Saccà
1993 J jnl
Ordered Logic Programming with Sets.
J. Log. Comput.
Nicola Leone, Pasquale Rullo
1993 — conf
Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase.
SEBD
Nicola Leone, Fabio Messina, Tommaso Mostardi, Carlo Siciliano
1993 C conf
Updating Logic Programs.
ISMIS
Nicola Leone, Luigi Palopoli, Massimo Romeo
1993 J jnl
Well-Founded Semantics and Stratification for Ordered Logic Programs.
New Gener. Comput.
Nicola Leone, Giuseppe Rossi
1992 J jnl
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries.
Comput. J.
Nicola Leone, Pasquale Rullo
1992 J jnl
COMPLEX: An Object-Oriented Logic Programming System.
IEEE Trans. Knowl. Data Eng.
Sergio Greco, Nicola Leone, Pasquale Rullo
1992 J jnl
Safe computation of the well-founded semantics of Datalog queries.
Inf. Syst.
Nicola Leone, Pasquale Rullo
1992 A conf
Stable Model Semantics and its Computation for Ordered Logic Programs.
ECAI
Nicola Leone, Pasquale Rullo
1992 A conf
The Basic Query Machine of the KIWIS System.
CAiSE
Nicola Leone, Antonella Mecchia, Giuseppe Rossi, Pasquale Rullo
1991 A conf
The KIWIS Knowledge Base Management System.
CAiSE
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