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

書目詳細資料
Main Authors:	Cropper, A, Morel, R, Muggleton, S
格式:	Journal article
語言:	English
出版:	Springer 2019

相似書籍

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

Learning efficient logic programs
由: Cropper, A, et al.
出版: (2018)

Learning logic programs by discovering higher-order abstractions
由: Hocquette, C, et al.
出版: (2024)

Learning logic programs by explaining their failures
由: Morel, R, et al.
出版: (2023)

Typed meta-interpretive learning of logic programs
由: Ong, C, et al.
出版: (2019)

Learning efficient logical robot strategies involving composable objects
由: Cropper, A, et al.
出版: (2015)

Inductive logic programming at 30
由: Cropper, A, et al.
出版: (2021)

Learning programs by learning from failures
由: Cropper, A, et al.
出版: (2021)

Learning logic programs by combining programs
由: Cropper, A, et al.
出版: (2023)

Learning logic programs through divide, constrain, and conquer
由: Cropper, A
出版: (2022)

Learning logic programs by discovering where not to search
由: Cropper, A, et al.
出版: (2023)

Learning big logical rules by joining small rules
由: Hocquette, C, et al.
出版: (2024)

Learning MDL logic programs from noisy data
由: Hocquette, C, et al.
出版: (2024)

Inductive logic programming at 30: a new introduction
由: Cropper, A, et al.
出版: (2022)

Higher Order Logic and Hardware Verification
由: Melham, T
出版: (1993)

Inductive logic programming as satisfiability modulo theories
由: Morel, R
出版: (2023)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
由: Sadrzadeh, M
出版: (2003)

Hardware Verification using Higher−Order Logic
由: Camilleri, A, et al.
出版: (1986)

Hardware Verification using Higher−Order Logic
由: Camilleri, A, et al.
出版: (1987)

Translating Dependent Type Theory into Higher Order Logic
由: Jacobs, B, et al.
出版: (1993)

Automating Recursive Type Definitions in Higher Order Logic
由: Melham, T
出版: (1989)

Automating Recursive Type Definitions in Higher Order Logic
由: Melham, T
出版: (1988)

Higher-order constrained Horn clauses for higher-order program verification
由: Jochems, J
出版: (2020)

Learning programs with magic values
由: Hocquette, MEJ, et al.
出版: (2023)

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

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

Some Research Issues in Higher Order Logic Theorem Proving
由: Melham, T
出版: (1996)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
由: Melham, T
出版: (1989)

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

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

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

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

Using Recursive Types to Reason about Hardware in Higher Order Logic
由: Melham, T
出版: (1988)

Using Recursive Types to Reason about Hardware in Higher Order Logic
由: Melham, T
出版: (1988)

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

Automatic inference for higher-order probabilistic programs
由: Paige, T
出版: (2016)

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

SLD-resolution reduction of second-order horn fragments
由: Tourret, S, et al.
出版: (2019)

Design patterns as higher-order datatype-generic programs
由: Gibbons, J
出版: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
由: Gibbons, J
出版: (2010)