Inverse entailment and progol

Stephen Muggleton

doi:https://doi.org/10.1007/bf03037227

Inverse entailment and progol

1995 · New Generation Computing · 1,417 citations · 3 from inside this corpus

No abstract in the source record.

8 of 8 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.

this paper works it cites works citing it node size = global citations · hover for the full title

Citation edge evidence

Each row is directed from the citing work to the cited work. Source status remains readable without the interactive graph.

Knowledge Graph Embedding: A Survey of Approaches and Applications→Inverse entailment and progolLegacy edge — source detail unavailable
A Review of Relational Machine Learning for Knowledge Graphs→Inverse entailment and progolLegacy edge — source detail unavailable
Machine learning: a review of classification and combining techniques→Inverse entailment and progolLegacy edge — source detail unavailable
Inverse entailment and progol→Foundations of Logic ProgrammingLegacy edge — source detail unavailable
Inverse entailment and progol→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
Inverse entailment and progol→Language identification in the limitLegacy edge — source detail unavailable
Inverse entailment and progol→Programming in PrologLegacy edge — source detail unavailable
Inverse entailment and progol→Inductive Logic Programming: Theory and methodsLegacy edge — source detail unavailable
Inductive Logic Programming: Theory and methods→Language identification in the limitLegacy edge — source detail unavailable
Inductive Logic Programming: Theory and methods→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
Knowledge Graph Embedding: A Survey of Approaches and Applications→A Review of Relational Machine Learning for Knowledge GraphsLegacy edge — source detail unavailable

What this paper cites, inside the corpus

Paper	Year	Cited
Foundations of Logic Programming	1984	4,174
A Machine-Oriented Logic Based on the Resolution Principle	1965	3,929
Language identification in the limit	1967	3,590
Programming in Prolog	1984	1,761
Inductive Logic Programming: Theory and methods	1994	1,554

What cites it, inside the corpus

Paper	Year	Cited
Knowledge Graph Embedding: A Survey of Approaches and Applications	2017	2,703
A Review of Relational Machine Learning for Knowledge Graphs	2015	1,681
Machine learning: a review of classification and combining techniques	2006	1,562

Links

Download BibTeX · Download RIS · DOI · OpenAlex record

Topics

Machine Learning and Algorithms	Computer Science
Natural Language Processing Techniques	Computer Science
Topic Modeling	Computer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

supports1 author record(s) attached.
supports55 reference(s) recorded.
neutralThe DOI carries no year to check against.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:59+00:00.

sha256 59007f057c7dae86…