9 citations · 18 across the 5 of their papers we have counts for
5 papers
A Logic Framework for P2P Deductive Databases
Luciano Caroprese, Ester Zumpano
This paper presents a logic framework for modeling the interaction among deductive databases in a P2P (Peer to Peer) environment. Each peer joining a P2P system provides or imports…
A Measure of Arbitrariness in Abductive Explanations
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski +1
We study the framework of abductive logic programming extended with integrity constraints. For this framework, we introduce a new measure of the simplicity of an explanation based…
The View-Update Problem for Indefinite Databases
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski +1
This paper introduces and studies a declarative framework for updating views over indefinite databases. An indefinite database is a database with null values that are represented,…
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…