Personal information

Other IDs

Scopus Author ID: 7004438804

Activities

Collapse all

Employment (3)

University of Calabria: Cosenza, IT

2000-10-01 to present | Professor (Department of Mathematics and Computer Science)
Employment
Source: Self-asserted source
Nicola Leone

Vienna University of Technology: Vienna, AT

1995-10-01 to 2000-09-30 | Professor (Institute of Information Systems)
Employment
Source: Self-asserted source
Nicola Leone

CNR - Consiglio Nazionale delle Ricerche: Rende, Cosenza, IT

1994-10-17 to 1995-09-30 | Researcher (Research Institute on System and Computer Sciences - ISI-CNR)
Employment
Source: Self-asserted source
Nicola Leone

Works (50 of 214)

Items per page:
Page 1 of 5

Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events

2024-09-09 | Conference paper
DOI: 10.1145/3678232.3678248
Contributors: Luca Laboccetta; Elena Mastria; Francesco Calimeri; Nicola Leone; Simona Perri; Giorgio Terracina
Source: check_circle
Crossref

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications

Algorithms
2023-03-14 | Journal article
DOI: 10.3390/a16030159
Contributors: Francesco Calimeri; Nicola Leone; Giovanni Melissari; Francesco Pacenza; Simona Perri; Kristian Reale; Francesco Ricca; Jessica Zangari
Source: check_circle
Crossref

Smart Devices and Large Scale Reasoning via ASP: Tools and Applications

2022 | Book chapter
DOI: 10.1007/978-3-030-94479-7_10
Contributors: Kristian Reale; Francesco Calimeri; Nicola Leone; Francesco Ricca
Source: check_circle
Crossref

Reasoning over Ontologies with DLV

2020 | Book chapter
DOI: 10.1007/978-3-030-49559-6_6
Contributors: Carlo Allocca; Mario Alviano; Francesco Calimeri; Roberta Costabile; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Nicola Leone; Marco Manna et al.
Source: check_circle
Crossref

An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots

2019 | Book chapter
DOI: 10.1007/978-3-030-20528-7_3
Contributors: Riccardo Bertolucci; Alessio Capitanelli; Carmine Dodaro; Nicola Leone; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati
Source: check_circle
Crossref

Enhancing DLV for Large-Scale Reasoning

2019 | Book chapter
DOI: 10.1007/978-3-030-20528-7_23
Contributors: Nicola Leone; Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta et al.
Source: check_circle
Crossref

Evaluation of Disjunctive Programs in WASP

2019 | Book chapter
DOI: 10.1007/978-3-030-20528-7_18
Contributors: Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca
Source: check_circle
Crossref

Fast Query Answering over Existential Rules

ACM Transactions on Computational Logic
2019-04-30 | Journal article
DOI: 10.1145/3308448
Contributors: Nicola Leone; Marco Manna; Giorgio Terracina; Pierfrancesco Veltri
Source: check_circle
Crossref

Entity set expansion from the web via ASP

OpenAccess Series in Informatics
2018 | Conference paper
DOI: 10.4230/OASIcs.ICLP.2017.1
EID:

2-s2.0-85043976686
Contributors: Adrian, W.T.; Manna, M.; Leone, N.; Amendola, G.; Adrian, M.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

First Steps towards Reasoning on Big Data with DLV

CEUR Workshop Proceedings
2018 | Conference paper
EID:

2-s2.0-85051863197
Contributors: Leone, N.; Perri, S.; Ricca, F.; Veltri, P.; Zangari, J.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Preface

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
EID:

2-s2.0-85041134841
Contributors: Calimeri, F.; Leone, N.; Hamlen, K.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Reasoning on anonymity in datalog+/-

OpenAccess Series in Informatics
2018 | Conference paper
DOI: 10.4230/OASIcs.ICLP.2017.3
EID:

2-s2.0-85043989079
Contributors: Amendola, G.; Leone, N.; Manna, M.; Veltri, P.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Document layout analysis for semantic information extraction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
DOI: 10.1007/978-3-319-70169-1_20
EID:

2-s2.0-85033696030
Contributors: Adrian, W.T.; Leone, N.; Manna, M.; Marte, C.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Finite model reasoning over existential rules

Theory and Practice of Logic Programming
2017 | Journal article
DOI: 10.1017/S1471068417000369
EID:

2-s2.0-85032583322
Contributors: Amendola, G.; Leone, N.; Manna, M.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

On the computation of paracoherent answer sets

31st AAAI Conference on Artificial Intelligence, AAAI 2017
2017 | Conference paper
EID:

2-s2.0-85025133205
Contributors: Amendola, G.; Dodaro, C.; Faber, W.; Leone, N.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Querying finite or arbitrary models? No matter! Existential rules may rely on both once again

25th Italian Symposium on Advanced Database Systems, SEBD 2017
2017 | Conference paper
EID:

2-s2.0-85035049137
Contributors: Amendola, G.; Leone, N.; Manna, M.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Querying finite or arbitrary models? No matter! Existential rules may rely on both once again

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85041451042
Contributors: Amendola, G.; Leone, N.; Manna, M.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

The ASP system DLV2

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
DOI: 10.1007/978-3-319-61660-5_19
EID:

2-s2.0-85025130420
Contributors: Alviano, M.; Calimeri, F.; Dodaro, C.; Fuscà, D.; Leone, N.; Perri, S.; Ricca, F.; Veltri, P.; Zangari, J.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Applications of answer set programming

AI Magazine
2016 | Journal article
EID:

2-s2.0-85019752912
Contributors: Erdem, E.; Gelfond, M.; Leone, N.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)

Theory and Practice of Logic Programming
2016 | Journal article
DOI: 10.1017/S1471068416000284
EID:

2-s2.0-84991466992
Contributors: Dodaro, C.; Gasteiger, P.; Leone, N.; Musitsch, B.; Ricca, F.; Shchekotykhin, K.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Grounding and solving in answer set programming

AI Magazine
2016 | Journal article
EID:

2-s2.0-85019741549
Contributors: Kaufmann, B.; Leone, N.; Perri, S.; Schaub, T.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Hypertree decompositions: Questions and answers

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
2016 | Conference paper
DOI: 10.1145/2902251.2902309
EID:

2-s2.0-84978540221
Contributors: Gottlob, G.; Greco, G.; Leone, N.; Scarcello, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Modeling and reasoning about NTU games via answer set programming

IJCAI International Joint Conference on Artificial Intelligence
2016 | Conference paper
EID:

2-s2.0-85006154159
Contributors: Amendola, G.; Greco, G.; Leone, N.; Veltri, P.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

On the application of answer set programming to the conference paper assignment problem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
DOI: 10.1007/978-3-319-49130-1_13
EID:

2-s2.0-85006048228
Contributors: Amendola, G.; Dodaro, C.; Leone, N.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

On the properties of GZ-aggregates in answer set programming

IJCAI International Joint Conference on Artificial Intelligence
2016 | Conference paper
EID:

2-s2.0-85006163542
Contributors: Alviano, M.; Leone, N.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Semi-equilibrium models for paracoherent answer set programs

Artificial Intelligence
2016 | Journal article
DOI: 10.1016/j.artint.2016.01.011
EID:

2-s2.0-84958747184
Contributors: Amendola, G.; Eiter, T.; Fink, M.; Leone, N.; Moura, J.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Advances in WASP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-23264-5_5
EID:

2-s2.0-84952322374
Contributors: Alviano, M.; Dodaro, C.; Leone, N.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Allotment problem in travel industry: A solution based on ASP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-22002-4_7
EID:

2-s2.0-84951208485
Contributors: Dodaro, C.; Leone, N.; Nardi, B.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Answer set Programming: A tour from the basics to advanced development tools and industrial applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-21768-0_10
EID:

2-s2.0-84951059519
Contributors: Leone, N.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Complexity and compilation of GZ-aggregates in answer set programming

Theory and Practice of Logic Programming
2015 | Journal article
DOI: 10.1017/S147106841500023X
EID:

2-s2.0-84948406307
Contributors: Alviano, M.; Leone, N.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Constraint optimization production planning problem. A note on theory, selected approaches and computational experiments

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
2015 | Conference paper
DOI: 10.1007/978-3-319-19369-4-48
EID:

2-s2.0-84932149702
Contributors: Adrian, W.T.; Leone, N.; Ligeza, A.; Manna, M.; Slazynski, M.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Constraint optimization production planning problem. A note on theory, selected approaches and computational experiments

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
2015 | Conference paper
DOI: 10.1007/978-3-319-19369-4_48
EID:

2-s2.0-84958530915
Contributors: Adrian, W.T.; Leone, N.; Ligeza, A.; Manna, M.; Slazynski, M.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Semantic views of homogeneous unstructured data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-22002-4_3
EID:

2-s2.0-84951153594
Contributors: Adrian, W.T.; Leone, N.; Manna, M.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Modular paracoherent answer sets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84921794999
Contributors: Amendola, G.; Eiter, T.; Leone, N.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

A graphic tool for ontology reasoning under Datalog∃

21st Italian Symposium on Advanced Database Systems, SEBD 2013
2013 | Conference paper
EID:

2-s2.0-84903515165
Contributors: Febbraro, O.; Leone, N.; Ricca, F.; Terracina, G.; Veltri, P.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Answer set programming: Language, applications and development tools

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-39666-3_3
EID:

2-s2.0-84881127729
Contributors: Grasso, G.; Leone, N.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Development tools for datalog

21st Italian Symposium on Advanced Database Systems, SEBD 2013
2013 | Conference paper
EID:

2-s2.0-84903539332
Contributors: Febbraro, O.; Grasso, G.; Leone, N.; Reale, K.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Introduction to the special issue on the 25th annual GULP conference

Theory and Practice of Logic Programming
2013 | Journal article
DOI: 10.1017/S1471068411000676
EID:

2-s2.0-84874620564
Contributors: Faber, W.; Leone, N.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Logic-based techniques for data cleaning: An application to the Italian national healthcare system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-40564-8_52
EID:

2-s2.0-84885732253
Contributors: Terracina, G.; Martello, A.; Leone, N.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Query answering over disjunctive datalog with existential quantifiers

21st Italian Symposium on Advanced Database Systems, SEBD 2013
2013 | Conference paper
EID:

2-s2.0-84903524862
Contributors: Alviano, M.; Faber, W.; Leone, N.; Manna, M.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Unit testing in ASPIDE

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-41524-1_21
EID:

2-s2.0-84987858670
Contributors: Febbraro, O.; Leone, N.; Reale, K.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

WASP: A native ASP solver based on constraint learning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-40564-8_6
EID:

2-s2.0-84885797789
Contributors: Alviano, M.; Dodaro, C.; Faber, W.; Leone, N.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Datalog development tools

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-32925-8_9
EID:

2-s2.0-84867125321
Contributors: Febbraro, O.; Grasso, G.; Leone, N.; Reale, K.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues

Theory and Practice of Logic Programming
2012 | Journal article
DOI: 10.1017/S1471068412000257
EID:

2-s2.0-84864974336
Contributors: Alviano, M.; Faber, W.; Leone, N.; Manna, M.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Distributed ontology based data access via logic programming_

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
EID:

2-s2.0-85006873299
Contributors: Barilaro, R.; Leone, N.; Ricca, F.; Terracina, G.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Efficient query answering over Datalog with existential quantifiers

Proceedings of the 20th Italian Symposium on Advanced Database Systems, SEBD 2012
2012 | Conference paper
EID:

2-s2.0-84873589475
Contributors: Leone, N.; Manna, M.; Terracina, G.; Veltri, P.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Efficiently computable datalog<sup>∃</sup>programs

13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
2012 | Conference paper
EID:

2-s2.0-84893379080
Contributors: Leone, N.; Manna, M.; Terracina, G.; Veltri, P.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Extending ASPIDE with user-defined plugins

CEUR Workshop Proceedings
2012 | Conference paper
EID:

2-s2.0-84881177697
Contributors: Febbraro, O.; Leone, N.; Reale, K.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

JASP: A framework for integrating answer set programming with Java

13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
2012 | Conference paper
EID:

2-s2.0-84893347459
Contributors: Febbraro, O.; Grasso, G.; Leone, N.; Ricca, F.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier

Magic Sets for disjunctive Datalog programs

Artificial Intelligence
2012 | Journal article
DOI: 10.1016/j.artint.2012.04.008
EID:

2-s2.0-84861010794
Contributors: Alviano, M.; Faber, W.; Greco, G.; Leone, N.
Source: Self-asserted source
Nicola Leone via Scopus - Elsevier
Items per page:
Page 1 of 5
How many people are using ORCID?