3 papers
cs.AI2026
A framework for Conditional Reasoning in Answer Set Programming
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
In this paper we introduce a Conditional Answer Set Programming framework (Conditional ASP) for the definition of conditional extensions of Answer Set Programming (ASP). The approa…
cs.LO2025
ASP Chef grows Mustache to look better
Mario Alviano, Wolfgang Faber, Luis Angel Rodriguez Reiners
We present ASP Chef Mustache, an extension of ASP Chef that enhances template-based rendering of ASP solutions using a logic-less templating system inspired by Mustache. Our approa…
cs.LO2024
Temporal Many-valued Conditional Logics: a Preliminary Report
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time T…