Inductive logic programming at 30
From MaRDI portal
Publication:2127222
Cites work
- 10.1162/153244304773633861
- Automating string processing in spreadsheets using input-output examples
- Beneficial and harmful explanatory machine learning
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- Completing causal networks by meta-level abduction
- Conflict-driven answer set solving: from theory to practice
- Efficient program synthesis using constraint satisfaction in inductive logic programming
- Exploiting answer set programming with external sources for meta-interpretive learning
- Foundations of inductive logic programming
- scientific article; zbMATH DE number 43887 (Why is no real title available?)
- scientific article; zbMATH DE number 1753155 (Why is no real title available?)
- Identification of biological transition systems using meta-interpreted logic programs
- ILP turns 20. Biography and future challenges
- Incremental learning of event definitions with inductive logic programming
- Inductive general game playing
- Inductive learning of answer set programs
- Inductive logic programming
- Inductive Logic Programming
- Inductive Logic Programming: Theory and methods
- Learning efficient logic programs
- Learning explanatory rules from noisy data
- Learning from interpretation transition
- Learning higher-order logic programs
- Learning programs by learning from failures
- Logical and Relational Learning
- Logical reduction of metarules
- Making sense of sensory input
- Markov logic networks
- Meta-interpretive learning from noisy images
- Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
- Meta-interpretive learning: application to grammatical inference
- Nonmonotonic abductive inductive learning
- Online learning of event definitions
- Probabilistic Inductive Logic Programming
- Relational reinforcement learning for planning with exogenous effects
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
- Statistical relational artificial intelligence: logic, probability, and computation
- Structure learning of probabilistic logic programs by searching the clause space
- The appropriateness of predicate invention as bias shift operation in ILP
- The complexity and generality of learning answer set programs
- The Game of Bridge: A Challenge for ILP
- Top program construction and reduction for polynomial time meta-interpretive learning
- Top-down induction of first-order logical decision trees
- Ultra-strong machine learning: comprehensibility of programs learned with ILP
Cited in
(15)- Theorem proving as constraint solving with coherent logic
- Automated generation of control concepts annotation rules using inductive logic programming. System description
- A comparative study of three neural-symbolic approaches to inductive logic programming
- Machine learning and logic: a new frontier in artificial intelligence
- \(\alpha\)ILP: thinking visual scenes as differentiable logic programs
- Scalable neural-probabilistic answer set programming
- A differentiable first-order rule learner for inductive logic programming
- Explainable and interpretable machine learning and data mining
- Nominal anti-unification modulo equational theories
- Equational generalization problems with atom-variables
- A nominal approach to equational problems in languages with binders
- Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
- Learning possibilistic dynamic systems from state transitions
- Learning concepts definable in first-order logic with counting
- Learning aggregate queries defined by first-order logic with counting
Describes a project that uses
Uses Software
This page was built for publication: Inductive logic programming at 30
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2127222)
