Alert button
Picture for Francesco Pacenza

Francesco Pacenza

Alert button

University of Calabria - Department of Mathematics and Computer Science

Extending Answer Set Programming with Rational Numbers

Dec 07, 2023
Francesco Pacenza, Jessica Zangari

Figure 1 for Extending Answer Set Programming with Rational Numbers
Viaarxiv icon

Rethinking Answer Set Programming Templates

Jul 12, 2023
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

Figure 1 for Rethinking Answer Set Programming Templates
Figure 2 for Rethinking Answer Set Programming Templates
Figure 3 for Rethinking Answer Set Programming Templates
Viaarxiv icon

Incremental maintenance of overgrounded logic programs with tailored simplifications

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

Viaarxiv icon

Reasoning in Highly Reactive Environments

Sep 18, 2019
Francesco Pacenza

Viaarxiv icon

Incremental Answer Set Programming with Overgrounding

Jul 22, 2019
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

Figure 1 for Incremental Answer Set Programming with Overgrounding
Figure 2 for Incremental Answer Set Programming with Overgrounding
Figure 3 for Incremental Answer Set Programming with Overgrounding
Figure 4 for Incremental Answer Set Programming with Overgrounding
Viaarxiv icon