81 citations · 95 across the 7 of their papers we have counts for
7 papers
Querying Data Exchange Settings Beyond Positive Queries
Marco Calautti, Sergio Greco, Cristian Molinaro +1
Data exchange, the problem of transferring data from a source schema to a target schema, has been studied for several years. The semantics of answering positive queries over the ta…
Understanding the growth of the Fediverse through the lens of Mastodon
Lucio La Cava, Sergio Greco, Andrea Tagarelli
Open-source, Decentralized Online Social Networks (DOSNs) are emerging as alternatives to the popular yet centralized and profit-driven platforms like Facebook or Twitter. In DOSNs…
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi +1
Recently there has been an increasing interest in frameworks extending Dung's abstract Argumentation Framework (AF). Popular extensions include bipolar AFs and AFs with recursive a…
Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols
Marco Calautti, Sergio Greco, Francesca Spezzano +1
Recently, there has been an increasing interest in the bottom-up evaluation of the semantics of logic programs with complex terms. The presence of function symbols in the program m…
NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems
Sergio Greco, Cristian Molinaro, Irina Trubitsyna +1
This paper presents a logic language for expressing NP search and optimization problems. Specifically, first a language obtained by extending (positive) Datalog with intuitive and…
Optimization of Bound Disjunctive Queries with Constraints
G. Greco, S. Greco, I. Trubtsyna +1
"To Appear in Theory and Practice of Logic Programming (TPLP)" This paper presents a technique for the optimization of bound queries over disjunctive deductive databases with const…