Nicola Leone

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 50

Top Venues

CoRR

Theory Pract. Log. Program.

LPNMR

IJCAI

Publications

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) (2023)
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) (2023)
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 (2023)
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)
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version). CoRR (2022)
Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. PADL (2022)
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
A Formal Comparison between Datalog-based Languages for Stream Reasoning. Datalog (2022)
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) (2021)
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 (2020)
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) (2020)
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) (2020)
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 (2020)
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)
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
Enhancing Magic Sets with an Application to Ontological Reasoning. Theory Pract. Log. Program. 19 (5-6) (2019)
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) (2019)
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
Enhancing magic sets with an application to ontological reasoning. CoRR (2019)
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
Precomputing Datalog evaluation plans in large-scale scenarios. CoRR (2019)
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)
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)
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 (2019)
Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
Evaluation of Disjunctive Programs in WASP. LPNMR (2019)
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)
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Fast Query Answering over Existential Rules. ACM Trans. Comput. Log. 20 (2) (2019)
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)
Nicola Leone
The AI System DLV: Ontologies, Reasoning, and More. KDIR (2018)
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI (2018)
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) (2018)
Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
Enhancing Existential Rules by Closed-World Variables. IJCAI (2018)
Giovanni Amendola, Nicola Leone, Marco Manna
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. IJCAI (2018)
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)
Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
First Steps towards Reasoning on Big Data with DLV. SEBD (2018)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
On the Computation of Paracoherent Answer Sets. CoRR (2017)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
On the Computation of Paracoherent Answer Sets. AAAI (2017)
Giovanni Amendola, Nicola Leone, Marco Manna
Finite model reasoning over existential rules. Theory Pract. Log. Program. 17 (5-6) (2017)
Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
Reasoning on anonymity in Datalog+/-. ICLP (Technical Communications) (2017)
Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian
Entity set expansion from the Web via ASP. ICLP (Technical Communications) (2017)
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)
Weronika T. Adrian, Nicola Leone, Marco Manna, Cinzia Marte
Document Layout Analysis for Semantic Information Extraction. AI*IA (2017)
Giovanni Amendola, Nicola Leone, Marco Manna
Finite model reasoning over existential rules. CoRR (2017)
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV2. LPNMR (2017)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
Driving CDCL Search. CoRR (2016)
Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura
Semi-equilibrium models for paracoherent answer set programs. Artif. Intell. 234 (2016)
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) (2016)
Georg Gottlob, Gianluigi Greco, Nicola Leone, Francesco Scarcello
Hypertree Decompositions: Questions and Answers. PODS (2016)
Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri
Modeling and Reasoning about NTU Games via Answer Set Programming. IJCAI (2016)
Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub
Grounding and Solving in Answer Set Programming. AI Mag. 37 (3) (2016)
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 (2016)
Mario Alviano, Nicola Leone
On the Properties of GZ-Aggregates in Answer Set Programming. IJCAI (2016)
Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca
On the Application of Answer Set Programming to the Conference Paper Assignment Problem. AI*IA (2016)
Esra Erdem, Michael Gelfond, Nicola Leone
Applications of Answer Set Programming. AI Mag. 37 (3) (2016)
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)
Mario Alviano, Nicola Leone
Complexity and Compilation of GZ-Aggregates in Answer Set Programming. CoRR (2015)
Weronika T. Adrian, Nicola Leone, Marco Manna
Semantic Views of Homogeneous Unstructured Data. RR (2015)
Weronika T. Adrian, Nicola Leone, Marco Manna
Ontology-driven Information Extraction. CoRR (2015)
Nicola Leone, Francesco Ricca
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. Reasoning Web (2015)
Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca
Allotment Problem in Travel Industry: A Solution Based on ASP. RR (2015)
Mario Alviano, Nicola Leone
Complexity and compilation of GZ-aggregates in answer set programming. Theory Pract. Log. Program. 15 (4-5) (2015)
Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca
Advances in WASP. LPNMR (2015)
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. CoRR (2014)
Giovanni Amendola, Thomas Eiter, Nicola Leone
Modular Paracoherent Answer Sets. JELIA (2014)
Giovanni Grasso, Nicola Leone, Francesco Ricca
Answer Set Programming: Language, Applications and Development Tools. RR (2013)
Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca
Development Tools for Datalog. SEBD (2013)
Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri
. SEBD (2013)
Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
WASP: A Native ASP Solver Based on Constraint Learning. LPNMR (2013)
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
Query Answering over Disjunctive Datalog with Existential Quantifiers. SEBD (2013)
Wolfgang Faber, Nicola Leone
Introduction to the special issue on the 25th annual GULP conference. Theory Pract. Log. Program. 13 (2) (2013)
Giorgio Terracina, Alessandra Martello, Nicola Leone
Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System. LPNMR (2013)
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Efficient Query Answering over Datalog with Existential Quantifiers. SEBD (2012)
Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca
Datalog Development Tools - (Extended Abstract). Datalog (2012)
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) (2012)
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone
Magic Sets for Disjunctive Datalog Programs CoRR (2012)
Wolfgang Faber, Nicola Leone, Simona Perri
The Intelligent Grounder of DLV. Correct Reasoning (2012)
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Efficiently Computable Datalog∃ Programs. KR (2012)
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues CoRR (2012)
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 (2012)
Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Magic-Sets for Datalog with Existential Quantifiers. Datalog (2012)
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
Extending ASPIDE with User-defined Plugins. CILC (2012)
Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina
Distributed Ontology Based Data Access via Logic Programming. RR (2012)
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) (2012)
Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca
JASP: A Framework for Integrating Answer Set Programming with Java. KR (2012)
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone
Magic Sets for disjunctive Datalog programs. Artif. Intell. 187 (2012)
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
Unit Testing in ASPIDE CoRR (2011)
Marco Manna, Francesco Scarcello, Nicola Leone
On the complexity of regular-grammars with integer attributes. J. Comput. Syst. Sci. 77 (2) (2011)
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)
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 (2011)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Finitely recursive programs: Decidability and bottom-up computation. AI Commun. 24 (4) (2011)
Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
Look-back Techniques for ASP Programs with Aggregates. Fundam. Informaticae 107 (4) (2011)
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)
Mario Alviano, Gianluigi Greco, Nicola Leone
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. LPNMR (2011)
Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina
Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis. SEBD (2011)
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)
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
Unit Testing in ASPIDE. INAP/WLP (2011)
Wolfgang Faber, Gerald Pfeifer, Nicola Leone
Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175 (1) (2011)
Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà
A long tour from theory to practice. Intelligenza Artificiale 5 (1) (2011)
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 (2011)
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
Answer Set Planning Under Action Costs CoRR (2011)
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) (2010)
Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina
Efficient Application of Answer Set Programming for Advanced Data Integration. PADL (2010)
Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina
The Disjunctive Datalog System DLV. Datalog (2010)
Mario Alviano, Wolfgang Faber, Nicola Leone
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. RCRA@CPAIOR (2010)

Nicola Leone.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicola Leone