Live briefing
Everything about Progol
Progol is an implementation of inductive logic programming that combines inverse entailment with general-to-specific search through a refinement graph. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: ProgolA 5-minute orientation
- Pick up a classic book: Pronósticos deportivosThe most-reprinted book on the subject
- Read the landmark paper: Inverse entailment and progolCited 910 times
- Go sideways: Stephen MuggletonA closely related topic
- Go sideways: Inductive logic programmingA closely related topic
🏆 Landmark papers (most cited)
Inverse entailment and progol
Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL
QG/GA: a stochastic search for Progol
“Pengaruh Pemberian Pakan buatan dengan Komposisi Ampas Tahu, Tepung rajungan Dedak dan Progol Terhadap Pertumbuhan Ikan Lele Sangkuriang (Clarias gariepinus ) ’’
📚 Books worth reading
- 📕Pronósticos deportivosMexico. · 1980
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Stephen Muggleton Stephen H. Muggleton (born 6 December 1959, son of Louis Muggleton) is Professor of Machine Learning and Head of the Computational Bioinformatics Laboratory…
- Inductive logic programming Inductive logic programming (ILP) is a subfield of symbolic artificial intelligence which uses logic programming as a uniform representation for examples…
- Aleph (ILP) Aleph (A Learning Engine for Proposing Hypotheses) is an inductive logic programming system introduced by Ashwin Srinivasan in 2001. As of 2022[update]…
- Inductive programming Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses…
- Theta-subsumption Theta-subsumption (θ-subsumption, or just subsumption) is a decidable relation between two first-order clauses that guarantees that one clause logically…
- Golem (ILP) Golem is an inductive logic programming algorithm developed by Stephen Muggleton and Cao Feng in 1990. It uses the technique of relative least general…
- Ross D. King Ross Donald King is a Professor of Machine Intelligence at Chalmers University of Technology. King completed a Bachelor of Science degree in Microbiology…
- Closed-world assumption The closed-world assumption (CWA), in a formal system of logic used for knowledge representation, is the presumption that a statement that is true is also…