40 citations · 61 across the 6 of their papers we have counts for
6 papers
Max Pooling with Vision Transformers reconciles class and shape in weakly supervised semantic segmentation
Simone Rossetti, Damiano Zappia, Marta Sanzari +2
Weakly Supervised Semantic Segmentation (WSSS) research has explored many directions to improve the typical pipeline CNN plus class activation maps (CAM) plus refinements, given th…
Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program
Francesco Lupia, Angelo Mendicelli, Andrea Ribichini +2
In allocation problems, a given set of goods are assigned to agents in such a way that the social welfare is maximised, that is, the largest possible global worth is achieved. When…
On the Complexity of Finding Second-Best Abductive Explanations
Paolo Liberatore, Marco Schaerf
While looking for abductive explanations of a given set of manifestations, an ordering between possible solutions is often assumed. The complexity of finding/verifying optimal solu…
Space Efficiency of Propositional Knowledge Representation Formalisms
M. Cadoli, F. M. Donini, P. Liberatore +1
We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece…
On the size of data structures used in symbolic model checking
Paolo Liberatore, Marco Schaerf
Temporal Logic Model Checking is a verification method in which we describe a system, the model, and then we verify whether some properties, expressed in a temporal logic formula,…
Compilability of Abduction
Paolo Liberatore, Marco Schaerf
Abduction is one of the most important forms of reasoning; it has been successfully applied to several practical problems such as diagnosis. In this paper we investigate whether th…