Picture for Sergio Greco

Sergio Greco

University of Calabria

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

Add code
Aug 14, 2024
Viaarxiv icon

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

Add code
May 07, 2024
Viaarxiv icon

Even-if Explanations: Formal Foundations, Priorities and Complexity

Add code
Jan 17, 2024
Viaarxiv icon

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

Add code
Sep 19, 2020
Viaarxiv icon

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

Add code
Aug 06, 2020
Figure 1 for On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
Figure 2 for On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
Viaarxiv icon

Using Linear Constraints for Logic Program Termination Analysis

Add code
Dec 15, 2015
Figure 1 for Using Linear Constraints for Logic Program Termination Analysis
Viaarxiv icon

Greedy Algorithms in Datalog

Add code
Dec 18, 2003
Figure 1 for Greedy Algorithms in Datalog
Viaarxiv icon

Minimal founded semantics for disjunctive logic programs and deductive databases

Add code
Dec 15, 2003
Viaarxiv icon