56 citations · 99 across the 11 of their papers we have counts for
1 paper · 1 filter
Piero A. Bonatti
Open logic programs and open entailment have been recently proposed as an abstract framework for the verification of incomplete specifications based upon normal logic programs and…