Learning higher-order logic programs

Learning higher-order logic programs

A key feature of inductive logic programming is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support l...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Cropper, A, Morel, R, Muggleton, S
Format:	Journal article
Sprog:	English
Udgivet:	Springer 2019

Lignende værker

Learning higher-order logic programs through abstraction and invention
af: Cropper, A, et al.
Udgivet: (2016)

Learning efficient logic programs
af: Cropper, A, et al.
Udgivet: (2018)

Learning logic programs by discovering higher-order abstractions
af: Hocquette, C, et al.
Udgivet: (2024)

Learning logic programs by explaining their failures
af: Morel, R, et al.
Udgivet: (2023)

Typed meta-interpretive learning of logic programs
af: Ong, C, et al.
Udgivet: (2019)

Learning efficient logical robot strategies involving composable objects
af: Cropper, A, et al.
Udgivet: (2015)

Inductive logic programming at 30
af: Cropper, A, et al.
Udgivet: (2021)

Learning programs by learning from failures
af: Cropper, A, et al.
Udgivet: (2021)

Learning logic programs by combining programs
af: Cropper, A, et al.
Udgivet: (2023)

Learning logic programs through divide, constrain, and conquer
af: Cropper, A
Udgivet: (2022)

Learning logic programs by discovering where not to search
af: Cropper, A, et al.
Udgivet: (2023)

Learning big logical rules by joining small rules
af: Hocquette, C, et al.
Udgivet: (2024)

Learning MDL logic programs from noisy data
af: Hocquette, C, et al.
Udgivet: (2024)

Inductive logic programming at 30: a new introduction
af: Cropper, A, et al.
Udgivet: (2022)

Higher Order Logic and Hardware Verification
af: Melham, T
Udgivet: (1993)

Inductive logic programming as satisfiability modulo theories
af: Morel, R
Udgivet: (2023)

Hardware Verification using Higher−Order Logic
af: Camilleri, A, et al.
Udgivet: (1986)

Hardware Verification using Higher−Order Logic
af: Camilleri, A, et al.
Udgivet: (1987)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
af: Sadrzadeh, M
Udgivet: (2003)

Translating Dependent Type Theory into Higher Order Logic
af: Jacobs, B, et al.
Udgivet: (1993)

Automating Recursive Type Definitions in Higher Order Logic
af: Melham, T
Udgivet: (1989)

Automating Recursive Type Definitions in Higher Order Logic
af: Melham, T
Udgivet: (1988)

Higher-order constrained Horn clauses for higher-order program verification
af: Jochems, J
Udgivet: (2020)

Learning programs with magic values
af: Hocquette, MEJ, et al.
Udgivet: (2023)

Higher-order perl : transforming programs with programs /
af: Dominus, Mark Jason, 1969-
Udgivet: (2005)

Properties and Propositions: The Metaphysics of Higher-Order Logic, by Robert Trueman
af: Jones, NK
Udgivet: (2023)

A Simple Model of Separation Logic for Higher−Order Store
af: Birkedal, L, et al.
Udgivet: (2008)

Some Research Issues in Higher Order Logic Theorem Proving
af: Melham, T
Udgivet: (1996)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
af: Melham, T
Udgivet: (1989)

Semantics of Separation−logic Typing and Higher−order Frame Rules
af: Birkedal, L, et al.
Udgivet: (2005)

Intensional and higher-order modal logic : with applications to montague semantics /
af: 317500 Gallin, Daniel
Udgivet: (1975)

Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam
af: Stampoulis, Antonis, et al.
Udgivet: (2022)

Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam
af: Stampoulis, Antonis, et al.
Udgivet: (2021)

Using Recursive Types to Reason about Hardware in Higher Order Logic
af: Melham, T
Udgivet: (1988)

Using Recursive Types to Reason about Hardware in Higher Order Logic
af: Melham, T
Udgivet: (1988)

Introduction to HOL: A theorem proving environment for higher order logic
Udgivet: (1993)

Automatic inference for higher-order probabilistic programs
af: Paige, T
Udgivet: (2016)

Learning objects and generative learning for higher order thinking
af: Chuen, Tan Wee, et al.
Udgivet: (2008)

SLD-resolution reduction of second-order horn fragments
af: Tourret, S, et al.
Udgivet: (2019)

Higher order automatic differentiation of higher order functions
af: Huot, M, et al.
Udgivet: (2022)