activity
20042026
most citedChecking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols

11 citations · 26 across the 12 of their papers we have counts for

collaborators

12 papers

cs.AI2026

Double Rectified Linear Unit-based Modular Semantics for Quantitative Bipolar Argumentation Framework

Gianvincenzo Alfano, Sergio Greco, Lucio La Cava +2

Quantitative Bipolar Argumentation Frameworks (QBAFs) provide an alternative approach to computing argument acceptability in Bipolar Argumentation Frameworks (BAFs). Each argument…

eess.IV2025

A Total Variation Regularized Framework for Epilepsy-Related MRI Image Segmentation

Mehdi Rabiee, Sergio Greco, Reza Shahbazian +1

Focal Cortical Dysplasia (FCD) is a primary cause of drug-resistant epilepsy and is difficult to detect in brain {magnetic resonance imaging} (MRI) due to the subtle and small-scal…

cs.AI2024★ 3 cited

Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi +1

Dung's Abstract Argumentation Framework (AF) has emerged as a key formalism for argumentation in Artificial Intelligence. It has been extended in several directions, including the…

cs.AI2024★ 1 cited

Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi +1

Explainable Artificial Intelligence and Formal Argumentation have received significant attention in recent years. Argumentation-based systems often lack explainability while suppor…

cs.AI2024★ 1 cited

Even-if Explanations: Formal Foundations, Priorities and Complexity

Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio +3

EXplainable AI has received significant attention in recent years. Machine learning models often operate as black boxes, lacking explainability and transparency while supporting de…

cs.DB2023★ 1 cited

Querying Data Exchange Settings Beyond Positive Queries

Marco Calautti, Sergio Greco, Cristian Molinaro +1

Data exchange, the problem of transferring data from a source schema to a target schema, has been studied for several years. The semantics of answering positive queries over the ta…