6 citations · 17 across the 20 of their papers we have counts for
1 paper · 1 filter
Yi Bi, Jia-Huai You, Zhiyong Feng
An FOL-program consists of a background theory in a decidable fragment of first-order logic and a collection of rules possibly containing first-order formulas. The formalism stems…