1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2004★ 1 cited
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…
cs.LO2003
Minimal founded semantics for disjunctive logic programs and deductive databases
Filippo Furfaro, Gianluigi Greco, Sergio Greco
In this paper, we propose a variant of stable model semantics for disjunctive logic programming and deductive databases. The semantics, called minimal founded, generalizes stable m…