Affiliation:

University of Calabria

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation

Using ASP(Q) to Handle Inconsistent Prioritized Data (Extended Abstract)

Towards an End-to-End ASP-Based System for Handling Inconsistent Prioritized Data

Optimal Correction Sets for Argumentative Causal Discovery

Using ASP(Q) to Handle Inconsistent Prioritized Data

Probabilistic Reasoning within Answer Set Programming with Quantifiers

2-ASP(Q) Solving Based on CEGAR