3 citations · 5 across the 6 of their papers we have counts for
6 papers
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…
LLM-based Argument Mining meets Argumentation and Description Logics: a Unified Framework for Reasoning about Debates
Gianvincenzo Alfano, Sergio Greco, Lucio La Cava +2
Large Language Models (LLMs) achieve strong performance in analyzing and generating text, yet they struggle with explicit, transparent, and verifiable reasoning over complex texts…
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…
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…
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…
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi +1
Recently there has been an increasing interest in frameworks extending Dung's abstract Argumentation Framework (AF). Popular extensions include bipolar AFs and AFs with recursive a…