Inductive logic programming at 30: a new introduction · HackerPapers discussions

Inductive logic programming at 30: a new introduction — mentioned by ux266478

Tue, 25 Aug 2026 12:38:53 GMT

More broadly, the field has been focused on inductive logic programming since the 90s. More or less, one can think of it like synthesizing a logic program to describe and generalize background knowledge and examples. An automated approach to building the knowledgebase of an expert system. It works disturbingly well, especially with modern approaches. https://arxiv.org/pdf/2008.07912 https://en.wikipedia.org/wiki/Inductive_logic_programming

Paper and discussion history. A mention is not an endorsement.

Inductive logic programming at 30: a new introduction — mentioned by bhntr3

Sun, 07 May 2023 22:31:24 GMT

I finished my master's thesis in Inductive Logic Programming recently at Oxford. I'd say that the field has continued improving since Aleph, which was written in the late 90s. Anyone interested could also take a look at Popper (https://github.com/logic-and-learning-lab/Popper) or this overview of the first 30 years of ILP (https://arxiv.org/abs/2008.07912)

Paper and discussion history. A mention is not an endorsement.

Inductive logic programming at 30: a new introduction — mentioned by YeGoblynQueenne

Sat, 12 Mar 2022 14:36:09 GMT

I study Inductive Logic Programming (ILP) which is a kind of inductive program synthesis. Inductive program synthesis is learning from partial specifications, where deductive program synthesis is learning from complete specifications (compilation can be seen as a form of deductive program synthesis, for example). ILP studies algorithms that learn logic programs from examples. "Logic programs" as in programs in a language of the Logic Programming paradigm, such as Prolog or Answer Set Programming (ASP). If you're interested in program synthesis, this is the staple modern reference: Program…

Paper and discussion history. A mention is not an endorsement.

Inductive logic programming at 30: a new introduction — HN submission

Tue, 28 Sep 2021 21:07:16 GMT

Inductive logic programming at 30: a new introduction

8 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Inductive logic programming at 30: a new introduction — HN submission

Mon, 31 May 2021 11:26:29 GMT

Inductive logic programming at 30: a new introduction

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.