Picture for Simona Perri

Simona Perri

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

LLASP: Fine-tuning Large Language Models for Answer Set Programming

Add code
Jul 26, 2024
Viaarxiv icon

Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming

Add code
Oct 22, 2023
Viaarxiv icon

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)

Add code
Aug 26, 2022
Figure 1 for A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
Figure 2 for A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
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

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

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

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

Add code
Jul 21, 2017
Figure 1 for A Framework for Easing the Development of Applications Embedding Answer Set Programming
Figure 2 for A Framework for Easing the Development of Applications Embedding Answer Set Programming
Viaarxiv icon

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates

Add code
Jan 18, 2014
Figure 1 for Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Figure 2 for Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Figure 3 for Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Figure 4 for Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Viaarxiv icon