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 Francesco Ricca

Francesco Ricca

University of Calabria

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

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

Partial Compilation of ASP Programs


Jul 24, 2019
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller

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

  Access Paper or Ask Questions

Better Paracoherent Answer Sets with Less Resources


Jul 22, 2019
Giovanni Amendola, Carmine Dodaro, Francesco Ricca

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

  Access Paper or Ask Questions

Beyond NP: Quantifying over Answer Sets


Jul 22, 2019
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski

* 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

Paracoherent Answer Set Semantics meets Argumentation Frameworks


Jul 22, 2019
Giovanni Amendola, Francesco Ricca

* 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

The Seventh Answer Set Programming Competition: Design and Results


Apr 19, 2019
Martin Gebser, Marco Maratea, Francesco Ricca

* 28 pages 

  Access Paper or Ask Questions

The External Interface for Extending WASP


Nov 06, 2018
Carmine Dodaro, Francesco Ricca

* 22 pages, 1 figure, Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Debugging Non-Ground ASP Programs: Technique and Graphical Tools


Aug 01, 2018
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin

* 27 pages, 6 figures, Under consideration in Theory and Practice of Logic Programming (TPLP) 

  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

Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis


Jul 13, 2017
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller

* Theory and Practice of Logic Programming 17 (5-6), pages 780-799, 2017 
* Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017. 16 pages 

  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

An integrated Graphical User Interface for Debugging Answer Set Programs


Nov 15, 2016
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, 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

Taming Primary Key Violations to Query Large Inconsistent Data


Jul 22, 2015
Marco Manna, Francesco Ricca, Giorgio Terracina


  Access Paper or Ask Questions

Anytime Computation of Cautious Consequences in Answer Set Programming


Sep 15, 2014
Mario Alviano, Carmine Dodaro, Francesco Ricca

* To appear in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

The Design of the Fifth Answer Set Programming Competition


Jun 03, 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca

* 10 pages 

  Access Paper or Ask Questions

The Multi-engine ASP Solver ME-ASP: Progress Report


May 05, 2014
Marco Maratea, Luca Pulina, Francesco Ricca


  Access Paper or Ask Questions

Preliminary Report on WASP 2.0


Apr 28, 2014
Mario Alviano, Carmine Dodaro, Francesco Ricca

* The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) 

  Access Paper or Ask Questions

A Multi-Engine Approach to Answer Set Programming


Jun 20, 2013
Marco Maratea, Luca Pulina, Francesco Ricca

* 26 pages, 8 figures 

  Access Paper or Ask Questions

The third open Answer Set Programming competition


Jun 14, 2012
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca

* 37 pages, 12 figures, 1 table - To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Consistent Query Answering via ASP from Different Perspectives: Theory and Practice


Oct 07, 2011
Marco Manna, Francesco Ricca, Giorgio Terracina


  Access Paper or Ask Questions