Meta-interpretive learning: application to grammatical inference

No abstract is available for this paper.

• Publication year

  2013

• Venue

  Machine-mediated learning

• Publication date

  2013-05-01

• Fields of study

  Linguistics, Computer Science

• Identifiers
  DOI 10.1007/s10994-013-5358-3
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Latest Advances in Inductive Logic Programming

  2014cited by this paper
• Plane-based object categorisation using relational learning

  2013cited by this paper
• Plane-based object categorisation using relational learning

  2013cited by this paper
• Answer Set Solving in Practice

  2012influential reference
• Unsatisfiability-based optimization in clasp

  2012cited by this paper
• ILP turns 20 - Biography and future challenges

  2012cited by this paper
• Declarative Modeling for Machine Learning and Data Mining

  2012cited by this paper
• MC-TopLog: Complete Multi-clause Learning Guided by a Top Theory

  2011influential reference
• Proceedings of the 21st international conference on Inductive Logic Programming

  2011cited by this paper
• Logic Programming and Nonmonotonic Reasoning

  2011cited by this paper
• ILP turns 20

  2011cited by this paper
• Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework

  2011influential reference
• SOLAR: An automated deduction system for consequence finding

  2010cited by this paper
• Machine intelligence

  2009cited by this paper
• Discovering Rules by Meta-level Abduction

  2009cited by this paper
• TopLog: ILP Using a Logic Program Declarative Bias

  2008cited by this paper
• A Polynomial Algorithm for the Inference of Context Free Languages

  2008cited by this paper
• clasp : A Conflict-Driven Answer Set Solver

  2007cited by this paper
• A bibliographical study of grammatical inference

  2005cited by this paper
• A version space approach to learning context-free grammars

  2004cited by this paper
• Machine Learning: ECML 2000

  2003cited by this paper
• RNA Modeling by Combining Stochastic Context-Free Grammars and n-Gram Models

  2002cited by this paper
• Consistent Identification in the Limit of Rigid Grammars from Strings Is NP-hard

  2002cited by this paper
• Learning Regular Languages from Simple Positive Examples

  2001cited by this paper
• Experiments in Inductive Chart Parsing

  2001cited by this paper
• A-System: Problem Solving through Abduction

  2001cited by this paper
• Theory Completion Using Inverse Entailment

  2000influential reference
• Learning Context-Free Grammars with a Simplicity Bias

  2000cited by this paper
• Proceedings of the Ninth International Workshop on Inductive Logic Programming (ILP'99)

  1999cited by this paper
• Predicate Invention and Learning from Positive Examples Only

  1998cited by this paper
• Foundations of Inductive Logic Programming

  1997cited by this paper
• Stochastic Logic Programs

  1996influential reference
• Advances in Inductive Logic Programming

  1996cited by this paper
• Inverse entailment and progol

  1995influential reference
• An Efficient Probabilistic Context-Free Parsing Algorithm that Computes Prefix Probabilities

  1994cited by this paper
• Efficient Learning of Context-Free Grammars from Positive Structural Examples

  1992cited by this paper
• Learnability and the Vapnik-Chervonenkis dimension

  1989cited by this paper
• Machine Invention of First Order Predicates by Inverting Resolution

  1988cited by this paper
• Inductive acquisition of expert knowledge

  1986cited by this paper
• J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979

  1980cited by this paper
• Gedanken-Experiments on Sequential Machines

  1956cited by this paper

• Efficient data structures for fast and low-cost first-order logic rule mining

  2026cites this paper
• SIB: Sorted‐Integers‐Based Index for Compact and Fast Caching in Top‐Down Logic Rule Mining Targeting KB Compression

  2025cites this paper
• Efficient Pruning via Entailment Cardinality Estimation for Fast Top-Down Logic Rule Mining

  2025cites this paper
• COLREG-Compliant Machine Learning for Safe and Legal Autonomous Maritime Navigation

  2025cites this paper
• From model-based learning to model-free behaviour with Meta-Interpretive Learning

  2025cites this paper
• Self-Supervised Inductive Logic Programming

  2025influential citation
• Inductive Synthesis of Inductive Heap Predicates

  2025cites this paper
• Modular Machine Learning: An Indispensable Path towards New-Generation Large Language Models

  2025cites this paper
• A Symbolic Rule Integration Framework with Logic Transformer for Inductive Relation Prediction

  2024cites this paper
• Estimation-based optimizations for the semantic compression of RDF knowledge bases

  2024cites this paper
• Explainable Game Strategy Rule Learning from Video

  2023cites this paper
• Towards One-Shot Learning for Text Classification using Inductive Logic Programming

  2023influential citation
• Conceptual Framework for Autonomous Cognitive Entities

  2023cites this paper
• Hypothesizing an algorithm from one example: the role of specificity

  2023cites this paper
• Languages with Decidable Learning: A Meta-theorem

  2023cites this paper
• Symbolic Minimization on Relational Data

  2023cites this paper
• Explanatory machine learning for sequential human teaching

  2022influential citation
• Neural Meta-Symbolic Reasoning and Learning

  2022cites this paper
• Horn rule discovery with batched caching and rule identifier for proficient compressor of knowledge data

  2022cites this paper
• Learning programs with magic values

  2022influential citation
• Learning Automata-Based Complex Event Patterns in Answer Set Programming

  2022cites this paper
• Toward a practical legal rule revision in legal debugging

  2022cites this paper
• Data-Driven Revision of Conditional Norms in Multi-Agent Systems

  2022cites this paper
• Think Big, Teach Small: Do Language Models Distil Occam's Razor?

  2021cites this paper
• Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks

  2021cites this paper
• Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Explaining Biases in Machine Learning

  2021cites this paper
• Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs

  2021cites this paper
• EvoLearner: Learning Description Logics with Evolutionary Algorithms

  2021cites this paper
• Statistical exploratory analysis of mask-fill reproduction operators of Genetic Algorithms

  2021cites this paper
• Top program construction and reduction for polynomial time Meta-Interpretive learning

  2021cites this paper
• Inductive logic programming at 30

  2021cites this paper
• Inducing Rules about Distributed Robotic Systems for Fault Detection & Diagnosis

  2021cites this paper
• Learning formulas in finite variable logics

  2021influential citation
• Learning CNF Theories Using MDL and Predicate Invention

  2021cites this paper
• One down, 699 to go: or, synthesising compositional desugarings

  2021cites this paper
• Learning programs by learning from failures

  2021cites this paper
• The Complexity of Data-Driven Norm Synthesis and Revision

  2021cites this paper
• Meta-interpretive learning as metarule specialisation

  2021cites this paper
• Learning Higher-Order Logic Programs From Failures

  2021cites this paper
• A Critical Review of Inductive Logic Programming Techniques for Explainable AI

  2021cites this paper
• Learning Higher-Order Programs without Meta-Interpretive Learning

  2021cites this paper
• Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems

  2020cites this paper
• Abductive Knowledge Induction From Raw Data

  2020influential citation
• Data migration using datalog program synthesis

  2020cites this paper
• Learning programs by learning from failures

  2020cites this paper
• Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings

  2020cites this paper
• Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning

  2020cites this paper
• Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis

  2020cites this paper
• Inductive logic programming at 30: a new introduction

  2020influential citation
• Beneficial and harmful explanatory machine learning

  2020cites this paper
• Turning 30: New Ideas in Inductive Logic Programming

  2020cites this paper
• What are the possibilities of machine learning techniques on the mechanical characterization of biological tissues?

  2020cites this paper
• Logic Tensor Networks

  2020cites this paper
• The Use of Max-Sat for Optimal Choice of Automated Theory Repairs

  2020cites this paper
• Artificial Intelligence XXXVII: 40th SGAI International Conference on Artificial Intelligence, AI 2020, Cambridge, UK, December 15–17, 2020, Proceedings

  2020cites this paper
• Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Fair and Explainable Automatic Recruitment

  2020cites this paper
• Representing and Learning Grammars in Answer Set Programming

  2019cites this paper
• Inductive general game playing

  2019cites this paper
• Meta-Interpretive Learning Using HEX-Programs

  2019cites this paper
• Towards meta-interpretive learning of programming language semantics

  2019cites this paper
• Playgol: learning programs through play

  2019cites this paper
• Machine Discovery of Comprehensible Strategies for Simple Games Using Meta-interpretive Learning

  2019cites this paper
• Logical reduction of metarules

  2019cites this paper
• Typed Meta-interpretive Learning of Logic Programs

  2019cites this paper
• Learning Inference Rules from Data

  2019cites this paper
• One-shot Information Extraction from Document Images using Neuro-Deductive Program Synthesis

  2019influential citation
• Learning higher-order logic programs

  2019cites this paper
• Meta-Interpretive Learning Versus Inductive Metalogic Programming : A Comparative Analysis in Inductive Logic Programming

  2019influential citation
• Efficient predicate invention using shared "NeMuS"

  2019cites this paper
• Can Meta-Interpretive Learning outperform Deep Reinforcement Learning of Evaluable Game strategies?

  2019cites this paper
• Which background knowledge is relevant? (cid:63)

  2018cites this paper
• Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis

  2018cites this paper
• Meta-Interpretive Learning from noisy images

  2018influential citation
• Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning

  2018influential citation
• Automatic discovery of concepts and actions

  2018cites this paper
• Identification of biological transition systems using meta-interpreted logic programs

  2018cites this paper
• Answer Set Programming in Linguistics

  2018cites this paper
• Was the Year 2000 a Leap Year? Step-Wise Narrowing Theories with Metagol

  2018cites this paper
• How Much Can Experimental Cost Be Reduced in Active Learning of Agent Strategies?

  2018cites this paper
• Tensor-Based Abduction in Horn Propositional Programs

  2018cites this paper
• Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming ( Work in Progress ) ⋆

  2018cites this paper
• Biomonitoring for the 21st Century: Integrating Next-Generation Sequencing Into Ecological Network Analysis

  2018cites this paper
• There's no harm in having too much: A comprehensive toolbox of methods in trophic ecology

  2018cites this paper
• Ultra-Strong Machine Learning: comprehensibility of programs learned with ILP

  2018cites this paper
• Inductive learning of answer set programs

  2018cites this paper
• Generating Context-Free Grammars using Classical Planning

  2017cites this paper
• Edinburgh Research Explorer Next-Generation Global Biomonitoring

  2017cites this paper
• Best-effort inductive logic programming via fine-grained cost-based hypothesis generation

  2017cites this paper
• Edinburgh Research Explorer Next-Generation Global Biomonitoring

  2017cites this paper
• Meta-Interpretive Learning: Achievements and Challenges (Invited Paper)

  2017influential citation
• Program Synthesis

  2017cites this paper
• CSCI 699 : Introduction to Software Synthesis Units : 4 Fall 2017 – Monday , Wednesday — 10 : 00 am – 11 : 50 am Location : WPH 603 Instructor :

  2017cites this paper
• SPARK: Static Program Analysis Reasoning and Retrieving Knowledge

  2017cites this paper
• Next-Generation Global Biomonitoring: Large-scale, Automated Reconstruction of Ecological Networks.

  2017cites this paper
• Inductive Learning in Shared Neural Multi-Spaces

  2017cites this paper
• Improving scalability of inductive logic programming via pruning and best-effort optimisation

  2017cites this paper
• Constraint-Based Synthesis of Datalog Programs

  2017cites this paper
• Learning Explanatory Rules from Noisy Data

  2017cites this paper
• Ultra-Strong Machine Learning – Comprehensibility of Programs Learned with ILP

  2017cites this paper
• Sketched Answer Set Programming

  2017cites this paper