2 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.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…