Stable models give meaning to logic programs containing negative assertions.
The state then serves as the background knowledge for a top-down ILP learner. Introduction A semantics of a logic program can be thought of as a function which produces the entire set of facts which are logically implied by the program. Doc 304 of inductive logic programming - Muggleton, Logic et al. Doc 1 Justification Based Truth Maintenance System - Doyle, maintenance et al.