Picture for Jessica Zangari

Jessica Zangari

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

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

I-DLV-sr: A Stream Reasoning System based on I-DLV

Add code
Aug 05, 2021
Figure 1 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Figure 2 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Figure 3 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Figure 4 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Viaarxiv icon

A Machine Learning guided Rewriting Approach for ASP Logic Programs

Add code
Sep 22, 2020
Figure 1 for A Machine Learning guided Rewriting Approach for ASP Logic Programs
Figure 2 for A Machine Learning guided Rewriting Approach for ASP Logic Programs
Figure 3 for A Machine Learning guided Rewriting Approach for ASP Logic Programs
Viaarxiv icon

Incremental maintenance of overgrounded logic programs with tailored simplifications

Add code
Aug 06, 2020
Viaarxiv icon

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

Add code
Aug 05, 2020
Viaarxiv icon

Precomputing Datalog evaluation plans in large-scale scenarios

Add code
Jul 29, 2019
Figure 1 for Precomputing Datalog evaluation plans in large-scale scenarios
Figure 2 for Precomputing Datalog evaluation plans in large-scale scenarios
Figure 3 for Precomputing Datalog evaluation plans in large-scale scenarios
Figure 4 for Precomputing Datalog evaluation plans in large-scale scenarios
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

Enhancing magic sets with an application to ontological reasoning

Add code
Jul 19, 2019
Figure 1 for Enhancing magic sets with an application to ontological reasoning
Figure 2 for Enhancing magic sets with an application to ontological reasoning
Viaarxiv icon

Optimizing Answer Set Computation via Heuristic-Based Decomposition

Add code
Jan 11, 2019
Figure 1 for Optimizing Answer Set Computation via Heuristic-Based Decomposition
Figure 2 for Optimizing Answer Set Computation via Heuristic-Based Decomposition
Figure 3 for Optimizing Answer Set Computation via Heuristic-Based Decomposition
Figure 4 for Optimizing Answer Set Computation via Heuristic-Based Decomposition
Viaarxiv icon