Search Results for author:
Found 5 papers, 0 papers with code
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping
It has been extended in several directions, including the possibility to express supports, leading to the development of the Bipolar Argumentation Framework (BAF), and recursive attacks and supports, resulting in the Recursive BAF (Rec-BAF).
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation
Explainable Artificial Intelligence and Formal Argumentation have received significant attention in recent years.
Even-if Explanations: Formal Foundations, Priorities and Complexity
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.
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
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.
Using Linear Constraints for Logic Program Termination Analysis
Despite the significant body of work in this area, current approaches do not include many simple practical programs whose evaluation terminates.
