Nicola Leone
Orcid: 0000-0002-9742-1252Affiliations:
- TU Wien, Vienna, Austria
According to our database1,
Nicola Leone
authored at least 236 papers
between 1991 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Theory Pract. Log. Program., July, 2023
Algorithms, March, 2023
2022
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).
CoRR, 2022
Proceedings of the Practical Aspects of Declarative Languages, 2022
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
2021
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming.
Theory Pract. Log. Program., 2021
2020
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification.
Theory Pract. Log. Program., 2020
2019
Theory Pract. Log. Program., 2019
Theory Pract. Log. Program., 2019
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Large Scale DLV: Preliminary Results.
Proceedings of the 34th Italian Conference on Computational Logic, 2019
An ASP-based Approach for Optimizing DLV Evaluation.
Proceedings of the 34th Italian Conference on Computational Logic, 2019
2018
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
The AI System DLV: Ontologies, Reasoning, and More.
Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018
2017
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper).
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).
Theory Pract. Log. Program., 2016
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
On the Application of Answer Set Programming to the Conference Paper Assignment Problem.
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
2015
Theory Pract. Log. Program., 2015
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications.
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments.
Proceedings of the Artificial Intelligence and Soft Computing, 2015
2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
2013
Theory Pract. Log. Program., 2013
A graphic tool for ontology reasoning under Datalog<sup>∃</sup>.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013
Development Tools for Datalog.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013
Query Answering over Disjunctive Datalog with Existential Quantifiers.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
2012
Theory Pract. Log. Program., 2012
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.
Theory Pract. Log. Program., 2012
Trans. Large Scale Data Knowl. Centered Syst., 2012
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012
Proceedings of the 9th Italian Convention on Computational Logic, 2012
2011
J. Comput. Syst. Sci., 2011
J. Artif. Intell. Res., 2011
AI Commun., 2011
Artif. Intell., 2011
Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis.
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
Theory Pract. Log. Program., 2010
Proceedings of the Practical Aspects of Declarative Languages, 2010
Proceedings of the Practical Aspects of Declarative Languages, 2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation.
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Theory Pract. Log. Program., 2008
Theory Pract. Log. Program., 2008
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.
J. Algorithms, 2008
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Il Milione (i.e. 2^6), 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
J. Comput. Syst. Sci., 2007
J. Appl. Log., 2007
Ann. Math. Artif. Intell., 2007
Ann. Math. Artif. Intell., 2007
Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
2006
ACM Trans. Comput. Log., 2006
Fundam. Informaticae, 2006
Towards a Semantic Information Extraction Approach from Unstructured Documents.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006
Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features.
Proceedings of the Business Process Management Workshops, 2006
2005
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.
Theory Pract. Log. Program., 2005
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.
Intelligenza Artificiale, 2005
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005
Boosting Information Integration: The INFOMIX System.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Answer Set Programming, 2005
2004
ACM Trans. Comput. Log., 2004
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.
IEEE Trans. Knowl. Data Eng., 2004
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
CoRR, 2004
On Weighted Hypertree Decompositions.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
2003
Theory Pract. Log. Program., 2003
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width.
J. Comput. Syst. Sci., 2003
Artif. Intell., 2003
A logic programming approach to knowledge-state planning, II: The DLV<sup>K</sup> system.
Artif. Intell., 2003
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.
Proceedings of the IJCAI-03, 2003
2002
Artif. Intell., 2002
Cost-based Query Decompositions.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002
Pruning operators for answer set programming systems.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
2001
Join Ordering Techniques for Knowledge Base Systems.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Logic for Programming, 2001
Experimenting with Heuristics for Answer Set Programming.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.
Proceedings of the Answer Set Programming, 2001
Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001
2000
Using the dlv System for Planning and Diagnostic Reasoning.
Proceedings of the 14. Workshop Logische Programmierung, 2000
1999
New Gener. Comput., 1999
Ann. Pure Appl. Log., 1999
Ann. Math. Artif. Intell., 1999
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999
1998
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases.
Theor. Comput. Sci., 1998
The KR System dlv: Progress Report, Comparisons and Benchmarks.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
Disjunctive Ordered Logic: Semantics and Expressiveness.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998
On the Complexity of Search Queries.
Proceedings of the Fundamentals of Information Systems, 1998
1997
IEEE Trans. Knowl. Data Eng., 1997
Inf. Comput., 1997
Ann. Math. Artif. Intell., 1997
The dlv System: Model Generator and Advanced Frontends (system description).
Proceedings of the Twelfth Workshop Logic Programming, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Logic Programming and Knowledge Representation, 1997
The Architecture of a Disjunctive Deductive Database System.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
Adding Weak Constraints to Disjunctive Datalog.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Stable Models and Their Computation for Logic Programming with Inheritance and True Negation.
J. Log. Program., 1996
Proceedings of the Logic in Databases, 1996
Proceedings of the Logic in Databases, 1996
Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996
Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
Computing Disjunctive Ordered Logic.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
J. Log. Program., 1995
On Modularity Properties of Partial Semantics for Disjunctive Logic Programs.
Proceedings of the 11. Workshop Logische Programmierung, 1995
Proceedings of the Logic Programming, 1995
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995
Proceedings of the Database and Expert Systems Applications, 1995
Curbing Theories: Fixpoint Semantics and Complexity Issues.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati Relazionali Remote.
Proceedings of the Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati", 1994
A non-deterministic semantics for ordered logic programs.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
New Gener. Comput., 1993
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993
Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase.
Proceedings of the Convegno SEBD'93, 1993
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993
Adding Set Terms to Ordered Logic Programs.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1992
IEEE Trans. Knowl. Data Eng., 1992
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries.
Comput. J., 1992
Stable Model Semantics and its Computation for Ordered Logic Programs.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
Proceedings of the Advanced Information Systems Engineering, 1992
1991
Proceedings of the Advanced Information Systems Engineering, 1991