Higher-order Logic Learning and lambda-Progol.

DOI10.4230/LIPICS.ICLP.2010.281zbMATH Open1237.68207OpenAlexW1555745504MaRDI QIDQ2883107

Niels Pahlavi

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_2961.html

zbMATH Keywords

higher-order logicinductive logic programming\(\lambda\)Prolog\(\lambda\)Progolhigher-order logic learningProgol

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Logic programming (68N17)

Related Items (1)

Integrating multiple learning strategies in first order logics

This page was built for publication: Higher-order Logic Learning and lambda-Progol.