activity
20242026
most citedCyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping

3 citations · 5 across the 7 of their papers we have counts for

collaborators
Showing cs.AIShow all

5 papers · 1 filter

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…

cs.AI2026

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…

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…