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...

Bibliografiset tiedot
Päätekijät:	Cropper, A, Morel, R, Muggleton, S
Aineistotyyppi:	Journal article
Kieli:	English
Julkaistu:	Springer 2019

Samankaltaisia teoksia

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

Learning efficient logic programs
Tekijä: Cropper, A, et al.
Julkaistu: (2018)

Learning logic programs by discovering higher-order abstractions
Tekijä: Hocquette, C, et al.
Julkaistu: (2024)

Learning logic programs by explaining their failures
Tekijä: Morel, R, et al.
Julkaistu: (2023)

Typed meta-interpretive learning of logic programs
Tekijä: Ong, C, et al.
Julkaistu: (2019)

Learning efficient logical robot strategies involving composable objects
Tekijä: Cropper, A, et al.
Julkaistu: (2015)

Inductive logic programming at 30
Tekijä: Cropper, A, et al.
Julkaistu: (2021)

Learning programs by learning from failures
Tekijä: Cropper, A, et al.
Julkaistu: (2021)

Learning logic programs by combining programs
Tekijä: Cropper, A, et al.
Julkaistu: (2023)

Learning logic programs through divide, constrain, and conquer
Tekijä: Cropper, A
Julkaistu: (2022)

Learning logic programs by discovering where not to search
Tekijä: Cropper, A, et al.
Julkaistu: (2023)

Learning big logical rules by joining small rules
Tekijä: Hocquette, C, et al.
Julkaistu: (2024)

Learning MDL logic programs from noisy data
Tekijä: Hocquette, C, et al.
Julkaistu: (2024)

Inductive logic programming at 30: a new introduction
Tekijä: Cropper, A, et al.
Julkaistu: (2022)

Higher Order Logic and Hardware Verification
Tekijä: Melham, T
Julkaistu: (1993)

Inductive logic programming as satisfiability modulo theories
Tekijä: Morel, R
Julkaistu: (2023)

Hardware Verification using Higher−Order Logic
Tekijä: Camilleri, A, et al.
Julkaistu: (1986)

Hardware Verification using Higher−Order Logic
Tekijä: Camilleri, A, et al.
Julkaistu: (1987)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
Tekijä: Sadrzadeh, M
Julkaistu: (2003)

Translating Dependent Type Theory into Higher Order Logic
Tekijä: Jacobs, B, et al.
Julkaistu: (1993)

Automating Recursive Type Definitions in Higher Order Logic
Tekijä: Melham, T
Julkaistu: (1989)

Automating Recursive Type Definitions in Higher Order Logic
Tekijä: Melham, T
Julkaistu: (1988)

Higher-order constrained Horn clauses for higher-order program verification
Tekijä: Jochems, J
Julkaistu: (2020)

Learning programs with magic values
Tekijä: Hocquette, MEJ, et al.
Julkaistu: (2023)

Higher-order perl : transforming programs with programs /
Tekijä: Dominus, Mark Jason, 1969-
Julkaistu: (2005)

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

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

Some Research Issues in Higher Order Logic Theorem Proving
Tekijä: Melham, T
Julkaistu: (1996)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
Tekijä: Melham, T
Julkaistu: (1989)

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

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

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

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

Using Recursive Types to Reason about Hardware in Higher Order Logic
Tekijä: Melham, T
Julkaistu: (1988)

Using Recursive Types to Reason about Hardware in Higher Order Logic
Tekijä: Melham, T
Julkaistu: (1988)

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

Automatic inference for higher-order probabilistic programs
Tekijä: Paige, T
Julkaistu: (2016)

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

SLD-resolution reduction of second-order horn fragments
Tekijä: Tourret, S, et al.
Julkaistu: (2019)

Higher order automatic differentiation of higher order functions
Tekijä: Huot, M, et al.
Julkaistu: (2022)