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

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Cropper, A, Morel, R, Muggleton, S
स्वरूप:	Journal article
भाषा:	English
प्रकाशित:	Springer 2019

समान संसाधन

Learning higher-order logic programs through abstraction and invention
द्वारा: Cropper, A, और अन्य
प्रकाशित: (2016)

Learning efficient logic programs
द्वारा: Cropper, A, और अन्य
प्रकाशित: (2018)

Learning logic programs by discovering higher-order abstractions
द्वारा: Hocquette, C, और अन्य
प्रकाशित: (2024)

Learning logic programs by explaining their failures
द्वारा: Morel, R, और अन्य
प्रकाशित: (2023)

Inductive logic programming at 30
द्वारा: Cropper, A, और अन्य
प्रकाशित: (2021)

Learning efficient logical robot strategies involving composable objects
द्वारा: Cropper, A, और अन्य
प्रकाशित: (2015)

Typed meta-interpretive learning of logic programs
द्वारा: Ong, C, और अन्य
प्रकाशित: (2019)

Learning logic programs by combining programs
द्वारा: Cropper, A, और अन्य
प्रकाशित: (2023)

Learning programs by learning from failures
द्वारा: Cropper, A, और अन्य
प्रकाशित: (2021)

Learning logic programs through divide, constrain, and conquer
द्वारा: Cropper, A
प्रकाशित: (2022)

Learning logic programs by discovering where not to search
द्वारा: Cropper, A, और अन्य
प्रकाशित: (2023)

Learning big logical rules by joining small rules
द्वारा: Hocquette, C, और अन्य
प्रकाशित: (2024)

Learning MDL logic programs from noisy data
द्वारा: Hocquette, C, और अन्य
प्रकाशित: (2024)

Extensional Semantics for Higher-Order Logic Programs with Negation
द्वारा: Panos Rondogiannis, और अन्य
प्रकाशित: (2018-06-01)

Inductive logic programming at 30: a new introduction
द्वारा: Cropper, A, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (1986)

Hardware Verification using Higher−Order Logic
द्वारा: Camilleri, A, और अन्य
प्रकाशित: (1987)

A Probabilistic Higher-order Fixpoint Logic
द्वारा: Yo Mitani, और अन्य
प्रकाशित: (2021-12-01)

Superposition for Lambda-Free Higher-Order Logic
द्वारा: Alexander Bentkamp, और अन्य
प्रकाशित: (2021-04-01)

Logical Reasoning for Higher-Order Functions with Local State
द्वारा: Nobuko Yoshida, और अन्य
प्रकाशित: (2008-10-01)

The Complexity of Model Checking Higher-Order Fixpoint Logic
द्वारा: Roland Axelsson, और अन्य
प्रकाशित: (2007-06-01)

Translating Dependent Type Theory into Higher Order Logic
द्वारा: Jacobs, B, और अन्य
प्रकाशित: (1993)

Automating Recursive Type Definitions in Higher Order Logic
द्वारा: Melham, T
प्रकाशित: (1989)

Automating Recursive Type Definitions in Higher Order Logic
द्वारा: Melham, T
प्रकाशित: (1988)

Learning programs with magic values
द्वारा: Hocquette, MEJ, और अन्य
प्रकाशित: (2023)

Properties and Propositions: The Metaphysics of Higher-Order Logic, by Robert Trueman
द्वारा: Jones, NK
प्रकाशित: (2023)

Misleading Higher-Order Evidence, Conflicting Ideals, and Defeasible Logic
द्वारा: Aleks Knoks
प्रकाशित: (2021-12-01)

Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam
द्वारा: Stampoulis, Antonis, और अन्य
प्रकाशित: (2022)

Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam
द्वारा: Stampoulis, Antonis, और अन्य
प्रकाशित: (2021)

A Simple Model of Separation Logic for Higher−Order Store
द्वारा: Birkedal, L, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2005)

Intensional and higher-order modal logic : with applications to montague semantics /
द्वारा: 317500 Gallin, Daniel
प्रकाशित: (1975)

Higher-order constrained Horn clauses for higher-order program verification
द्वारा: Jochems, J
प्रकाशित: (2020)

Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic
द्वारा: Chunna Zhao, और अन्य
प्रकाशित: (2022-08-01)

Higher-order perl : transforming programs with programs /
द्वारा: Dominus, Mark Jason, 1969-
प्रकाशित: (2005)