Picture for Francesco Pacenza

Francesco Pacenza

University of Calabria - Department of Mathematics and Computer Science

Extending Answer Set Programming with Rational Numbers

Add code
Dec 07, 2023
Viaarxiv icon

Rethinking Answer Set Programming Templates

Add code
Jul 12, 2023
Viaarxiv icon

Incremental maintenance of overgrounded logic programs with tailored simplifications

Add code
Aug 06, 2020
Viaarxiv icon

Reasoning in Highly Reactive Environments

Add code
Sep 18, 2019
Viaarxiv icon

Incremental Answer Set Programming with Overgrounding

Add code
Jul 22, 2019
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