A Well-Founded Semantics for FOL-Programs

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…