2 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025★ 2 cited
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…