Federico Cerutti

Exploiting Parallelism for Hard Problems in Abstract Argumentation

2015 · Proceedings of the AAAI Conference on Artificial Intelligence

Abstract argumentation framework (AF) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentation. Yet, efficient approaches for most of the decision and enumeration problems associated to …

Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation

2016 · arXiv (Cornell University)

Optimization - minimization or maximization - in the lattice of subsets is a frequent operation in Artificial Intelligence tasks. Examples are subset-minimal model-based diagnosis, nonmonotonic reasoning by means of circumscription, or preferred extensions in abstract …