Inductive logic programming at 30 · HackerPapers discussions

Inductive logic programming at 30 — mentioned by YeGoblynQueenne

Sat, 19 Oct 2024 23:24:03 GMT

Oh, I didn't remember that Bratko had a chapter on ILP. I've met him in a couple of ILP conferences so I knew he's published work in ILP though [1]. The techniques described in the book are quite a bit older and, to be honest, they were rather limited, in particular with respect to learning recursion. There's a New Wave of ILP nowadays however and a flourishing of new approaches that followed from MIL, which kinda threw open the gates. There's a recent synopsis of the latest advances in ILP here: https://arxiv.org/pdf/2102.10556 >> With all the hot news in Prolog these days I'd think you…

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

Inductive logic programming at 30 — HN submission

Sun, 23 Jul 2023 11:17:03 GMT

Inductive Logic Programming At 30 (2022)

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

Inductive logic programming at 30 — 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.