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 Calimeri

Francesco Calimeri

Department of Mathematics and Computer Science, University of Calabria, Italy

A Machine Learning guided Rewriting Approach for ASP Logic Programs


Sep 22, 2020
Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri

* EPTCS 325, 2020, pp. 261-267 
* In Proceedings ICLP 2020, arXiv:2009.09158 

  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

A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders


Oct 21, 2019
Francesco Calimeri, Francesco Cauteruccio, Luca Cinelli, Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Francoise Durand-Dubief, Dominique Sappey-Marinier

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

  Access Paper or Ask Questions

Incremental Answer Set Programming with Overgrounding


Jul 22, 2019
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, 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

Optimizing Answer Set Computation via Heuristic-Based Decomposition


Jan 11, 2019
Francesco Calimeri, Simona Perri, Jessica Zangari

* 28 pages, 6 figures, 4 tables, BEST PAPER AWARD at PADL 2018 (Los Angeles, CA, USA), Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report


Sep 15, 2017
Stefano Germano, Francesco Calimeri, Eliana Palermiti

* 11 pages, 3 figures 

  Access Paper or Ask Questions

A Framework for Easing the Development of Applications Embedding Answer Set Programming


Jul 21, 2017
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari


  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

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

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

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