activity
19982026
most citedThe DLV System for Knowledge Representation and Reasoning

1.2k citations · 1.7k across the 17 of their papers we have counts for

collaborators

17 papers

cs.AI2026

Applying Answer Set Programming with Fuzzy Membership Functions: a Case Study

Luca Ferragina, Ilenia Galati, Lorena Gullone +1

Human reasoning often operates through qualitative concepts expressed by linguistic labels such as high, low, expensive, or cheap, whose interpretation depends on context and is us…

cs.DB2023

Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability

Hubie Chen, Gianluigi Greco, Stefan Mengel +1

Counting the number of answers to conjunctive queries is a fundamental problem in databases that, under standard assumptions, does not have an efficient solution. The issue is inhe…

cs.AI2017

Tree Projections and Constraint Optimization Problems: Fixed-Parameter Tractability and Parallel Algorithms

Georg Gottlob, Gianlugi Greco, Francesco Scarcello

Tree projections provide a unifying framework to deal with most structural decomposition methods of constraint satisfaction problems (CSPs). Within this framework, a CSP instance i…

cs.GT2017

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…

cs.DB2016★ 1 cited

Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries and Constraint Satisfaction Problems

Gianluigi Greco, Francesco Scarcello

Structural decomposition methods have been developed for identifying tractable classes of instances of fundamental problems in databases, such as conjunctive queries and query cont…

cs.GT2014★ 14 cited

Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints

Gianluigi Greco, Enrico Malizia, Luigi Palopoli +1

Coalitional games serve the purpose of modeling payoff distribution problems in scenarios where agents can collaborate by forming coalitions in order to obtain higher worths than b…