Even-if Explanations: Formal Foundations, Priorities and Complexity

no code implementations • 17 Jan 2024 • Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Reza Shahbazian, Irina Trubitsyna

After this, we introduce a preference-based framework that enables users to personalize explanations based on their preferences, both in the case of semifactuals and counterfactuals, enhancing interpretability and user-centricity.

counterfactual Decision Making

Proceedings 36th International Conference on Logic Programming (Technical Communications)

no code implementations • 19 Sep 2020 • Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.

Automated Theorem Proving Data Integration +1

On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach

no code implementations • 6 Aug 2020 • Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Although the relationships between AF semantics and Partial Stable Models (PSMs) of logic programs has been deeply investigated, this is not the case for more general frameworks extending AF.

Abstract Argumentation

Using Linear Constraints for Logic Program Termination Analysis

no code implementations • 13 Dec 2015 • Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Despite the significant body of work in this area, current approaches do not include many simple practical programs whose evaluation terminates.