Historical milestone · 1995
Inverse entailment and Progol
Reviewed through September 18, 2026
1995 · Historical milestone
Inverse entailment and Progol
- Era
- 1990s
- Theme
- AI for science
- Evidence form
- Derived logic programs from examples plus background knowledge using inverse entailment and hypothesis search
- School / paradigm
- Inductive logic programming
- Institution / context
- Oxford University
- Researchers
- Stephen Muggleton
Researcher index
Stephen Muggleton
Inductive logic programming · Oxford / Imperial
Inverse entailment and Progol
Why it still matters. Combined relational logic, background knowledge, and induction for scientific hypotheses.
Representative source for this researcher — not necessarily the source of this milestone: https://doi.org/10.1007/BF01536314 (opens in a new tab)
Understand
Plain-language record, transferred from the reviewed source module.
Theory or experimental setup. Made relational, knowledge-guided machine learning applicable to scientific domains where structure matters.
Result / historical claim. Search is computationally expensive and depends on carefully specified background predicates and modes.
Apply
Professional implication, only where the reviewed record states one.
The checked-in record does not state a separate professional application for this entry. The topic page places it in the wider research lineage: AI for science.
Verify
Evidence status, stated limitations, and the external sources this record actually carries.
Evidence form. Derived logic programs from examples plus background knowledge using inverse entailment and hypothesis search
Limitation / debate. Neuro-symbolic science, program synthesis, structured priors, and interpretable hypothesis generation.
Source status. The source link below is the verified link our reviewed topic research already carries for this milestone.
Reproduce
A reproduction tutorial is linked only when one exists for this exact record.
A reproduction tutorial is not yet available for this entry. The closest reviewed material is AI for science.
Cite or share
APA-like: This historical record carries a year only, and no author or publisher of record in the checked-in data. An APA reference would have to invent that metadata.
BibTeX: BibTeX requires an author and publication venue. Historical lineage entries store a narrative record and its source link, not structured authorship, so the field would be fabricated.