3 citations · 3 across the 1 of their papers we have counts for
1 paper
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
Disjunctive finitary programs are a class of logic programs admitting function symbols and hence infinite domains. They have very good computational properties, for example ground…