Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Nicola Leone

Nicola Leone

University of Calabria

Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming


Oct 02, 2020
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Proceedings 36th International Conference on Logic Programming (Technical Communications)


Sep 19, 2020
Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi

* EPTCS 325, 2020 

  Access Paper or Ask Questions

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification


Aug 06, 2020
Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna

* Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages 

  Access Paper or Ask Questions

ASP-Core-2 Input Language Format


Nov 11, 2019
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub


  Access Paper or Ask Questions

Precomputing Datalog evaluation plans in large-scale scenarios


Jul 29, 2019
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari

* Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages 

  Access Paper or Ask Questions

Enhancing magic sets with an application to ontological reasoning


Jul 19, 2019
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari

* Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages 

  Access Paper or Ask Questions

On the Computation of Paracoherent Answer Sets


Jul 21, 2017
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca


  Access Paper or Ask Questions

Driving CDCL Search


Nov 16, 2016
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin

* Paper presented at the 1st Workshop on Trends and Applications of Answer Set Programming (TAASP 2016), Klagenfurt, Austria, 26 September 2016, 15 pages, LaTeX, 5 figures 

  Access Paper or Ask Questions

Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)


Aug 02, 2016
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn Shchekotykhin

* Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 3 PDF figures 

  Access Paper or Ask Questions

Ontology-driven Information Extraction


Dec 18, 2015
Weronika T. Adrian, Nicola Leone, Marco Manna


  Access Paper or Ask Questions

Complexity and Compilation of GZ-Aggregates in Answer Set Programming


Jul 14, 2015
Mario Alviano, Nicola Leone

* Theory and Practice of Logic Programming 15 (2015) 574-587 

  Access Paper or Ask Questions

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates


Jan 18, 2014
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri

* Journal Of Artificial Intelligence Research, Volume 42, pages 487-527, 2011 

  Access Paper or Ask Questions

Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues


Oct 08, 2012
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna

* Theory and Practice of Logic Programming 12 (4-5): 701-718, 2012 
* 18 pages, 1 figure, 1 table, 1 procedure, presented at ICLP 2012 

  Access Paper or Ask Questions

Magic Sets for Disjunctive Datalog Programs


Apr 27, 2012
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone

* 67 pages, 19 figures, preprint submitted to Artificial Intelligence 

  Access Paper or Ask Questions

Design and Implementation of Aggregate Functions in the DLV System


Feb 21, 2008
Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa

* 34 pages, 7 figures. This article has been accepted for publication in Theory and Practice of Logic Programming, Cambridge University Press 

  Access Paper or Ask Questions

Experimenting with recursive queries in database and logic programming systems


Apr 24, 2007
Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta

* To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)


Apr 05, 2004
Francesco Calimeri, Nicola Leone

* 7 pages 

  Access Paper or Ask Questions

Parametric Connectives in Disjunctive Logic Programming


Nov 07, 2003
Simona Perri, Nicola Leone


  Access Paper or Ask Questions

Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation


Oct 24, 2003
Simona Perri, Francesco Scarcello, Nicola Leone

* 36 pages; will be published in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

The DLV System for Knowledge Representation and Reasoning


Sep 10, 2003
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello

* ACM Transactions on Computational Logic 7(3):499-562, 2006 
* 56 pages, 9 figures, 6 tables 

  Access Paper or Ask Questions

Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming


Jan 16, 2002
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer

* Theory and Practice of Logic Programming 3(4/5):463-498, 2003 
* 34 pages, appeared as a Technical Report at KBS of the Vienna University of Technology, see http://www.kr.tuwien.ac.at/research/reports/ 

  Access Paper or Ask Questions

A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity


Dec 05, 2001
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

* Artificial Intelligence 144:157-211, 2003 
* 48 pages, appeared as a Technical Report at KBS of the Vienna University of Technology, see http://www.kr.tuwien.ac.at/research/reports/ 

  Access Paper or Ask Questions

Disjunctive Logic Programs with Inheritance


Jun 28, 2001
Francesco Buccafurri, Wolfgang Faber, Nicola Leone

* Theory and Practice of Logic Programming 2(3):293-321, 2002 
* 28 pages; will be published in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

DLV - A System for Declarative Problem Solving


Mar 08, 2000
Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer

* 6 pages, 1 figure, 1 table 

  Access Paper or Ask Questions