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 Pacenza

Francesco Pacenza

University of Calabria - Department of Mathematics and Computer Science

Incremental maintenance of overgrounded logic programs with tailored simplifications


Aug 06, 2020
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

* 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

Reasoning in Highly Reactive Environments


Sep 18, 2019
Francesco Pacenza

* EPTCS 306, 2019, pp. 420-426 
* In Proceedings ICLP 2019, arXiv:1909.07646 

  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