English Progol Cited by user Felix QW on 30 Nov 2023 Progol is an implementation of inductive logic programming that combines inverse entailment with general-to-specific search through a refinement graph.
English Inductive logic programming Cited by user Felix QW on 27 Nov 2023 Inductive logic programming (ILP) is a subfield of symbolic artificial intelligence which uses logic programming as a uniform representation for examples, background…
English Theta-subsumption Cited by user Felix QW on 26 Nov 2023 Theta-subsumption (θ-subsumption) is an decidable relation between two first-order clauses that guarantees that one clause logically entails the other.