2010 HigherOrderLogicLearningandLamb

• (Pahlavi, 2010) ⇒ Niels Pahlavi. (2010). “Higher-order Logic Learning and Lambda-Progol.” In: Proceedings of Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010). ISBN:978-3-939897-17-0 doi:10.4230/LIPIcs.ICLP.2010.281

Subject Headings: Prolog ILP System; Lambda-Progol; Rule Induction Task; Inductive Logic Programming System.

Cited By

• http://scholar.google.com/scholar?q=%222010%22+Higher-order+Logic+Learning+and+Lambda-Progol

Quotes

Author Keywords

• Inductive Logic Programming; Progol; Higher-order Logic; Higher-order Logic Learning; λProlog

Abstract

We present our research produced about Higher-order Logic Learning (HOLL), which consists of adapting First-order Logic Learning (FOLL), like Inductive Logic Programming (ILP), within a Higher-order Logic (HOL) context. We describe a first working implementation of lambda-Progol, a HOLL system adapting the ILP system Progol and the HOL formalism lambda-Prolog. We compare lambda-Progol and Progol on the learning of recursive theories showing that HOLL can, in these cases, outperform FOLL

References

;

	Author	volume	Date Value	title	type	journal	titleUrl	doi	note	year
2010 HigherOrderLogicLearningandLamb	Niels Pahlavi			Higher-order Logic Learning and Lambda-Progol				10.4230/LIPIcs.ICLP.2010.281		2010