Picture for Giuseppe Mazzotta

Giuseppe Mazzotta

Enumerating Minimal Unsatisfiable Cores of LTLf formulas

Add code
Sep 14, 2024
Viaarxiv icon

Quantifying over Optimum Answer Sets

Add code
Aug 14, 2024
Viaarxiv icon

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment

Add code
Jan 04, 2024
Viaarxiv icon

An efficient solver for ASP(Q)

Add code
May 17, 2023
Viaarxiv icon