9 citations · 18 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 9 cited
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…
cs.LO2014★ 5 cited
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…