Inductive logic programming
From MaRDI portal
Recommendations
Cites work
- A difference method for a nonlinear system of elliptic equations with mixed derivatives
- A formal theory of inductive inference. Part II
- A general lower bound on the number of examples needed for learning
- A Machine-Oriented Logic Based on the Resolution Principle
- Generalized subsumption and its applications to induction and redundancy
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 3947593 (Why is no real title available?)
- scientific article; zbMATH DE number 3956409 (Why is no real title available?)
- scientific article; zbMATH DE number 3967882 (Why is no real title available?)
- scientific article; zbMATH DE number 3978351 (Why is no real title available?)
- scientific article; zbMATH DE number 41463 (Why is no real title available?)
- scientific article; zbMATH DE number 67617 (Why is no real title available?)
- scientific article; zbMATH DE number 3074489 (Why is no real title available?)
- Information, randomness and incompleteness. Papers on algorithmic information theory
- Language identification in the limit
- Qualitative simulation
- Quantifying inductive bias: AI learning algorithms and Valiant's learning framework
- Systems of Logic Based on Ordinals†
Cited in
(84)- Autonomous agents modelling other agents: a comprehensive survey and open problems
- The complexity and generality of learning answer set programs
- The appropriateness of predicate invention as bias shift operation in ILP
- Inductive inference in the limit of empirically adequate theories
- Smart office robot collaboration based on multi-agent programming
- Beneficial and harmful explanatory machine learning
- Top program construction and reduction for polynomial time meta-interpretive learning
- Learning programs by learning from failures
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
- Learning from interpretation transition using differentiable logic programming semantics
- Inductive logic programming at 30
- Automated generation of control concepts annotation rules using inductive logic programming. System description
- FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data
- Some thoughts on knowledge-enhanced machine learning
- Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games
- On distinguishing sets of structures by first-order sentences of minimal quantifier rank
- Lifted graphical models: a survey
- Application of abductive ILP to learning metabolic network inhibition from temporal data
- Knowledge graphs completion via probabilistic reasoning
- Logic explained networks
- A comparative study of three neural-symbolic approaches to inductive logic programming
- Learning to rank the distinctiveness of behaviour in serial offending
- Introducing new predicates to model scientific revolution
- GENEX: A tool for testing in ILP
- scientific article; zbMATH DE number 1696473 (Why is no real title available?)
- Constructing simply recursive programs from a finite set of good examples
- Inductive learning of answer set programs
- On finding a first-order sentence consistent with a sample of strings
- Induction of Constraint Logic Programs
- ProGolem: a system based on relative minimal generalisation
- scientific article; zbMATH DE number 54155 (Why is no real title available?)
- scientific article; zbMATH DE number 67794 (Why is no real title available?)
- Weakening the language bias in LINUS
- Predicate invention and utilization
- scientific article; zbMATH DE number 615131 (Why is no real title available?)
- ILP turns 20. Biography and future challenges
- scientific article; zbMATH DE number 1759257 (Why is no real title available?)
- Incremental and iterative learning of answer set programs from mutually distinct examples
- A new algorithm to automate inductive learning of default theories
- Learning weak constraints in answer set programming
- Iterative learning of answer set programs from context dependent examples
- scientific article; zbMATH DE number 2084839 (Why is no real title available?)
- scientific article; zbMATH DE number 1568686 (Why is no real title available?)
- scientific article; zbMATH DE number 2090531 (Why is no real title available?)
- scientific article; zbMATH DE number 784360 (Why is no real title available?)
- scientific article; zbMATH DE number 7453129 (Why is no real title available?)
- scientific article; zbMATH DE number 7453141 (Why is no real title available?)
- scientific article; zbMATH DE number 7455700 (Why is no real title available?)
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- Learning definable hypotheses on trees
- White-box induction from SVM models: explainable AI with logic programming
- An ILP model for a monotone graded classification problem
- Inductive Logic Programming
- scientific article; zbMATH DE number 6287326 (Why is no real title available?)
- ILP :- Just Trie It
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Pac-learning non-recursive Prolog clauses
- An integrated framework for the diagnosis and correction of rule-based programs
- Learning logic programs by explaining their failures
- Learning Distributional Programs for Relational Autocompletion
- FFNSL: Feed-forward neural-symbolic learner
- Integrated preference argumentation and applications in consumer behaviour analyses
- Inverse reinforcement learning through logic constraint inference
- \(\alpha\)ILP: thinking visual scenes as differentiable logic programs
- Learning programs with magic values
- Rule Induction and Reasoning over Knowledge Graphs
- A filtering-based general approach to learning rational constraints of epistemic graphs
- Logic-based learning of answer set programs
- Rethinking static analysis by combining discrete and continuous reasoning
- A differentiable first-order rule learner for inductive logic programming
- Classic learning
- Generalization-based similarity
- Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
- Learning concepts definable in first-order logic with counting
- Logic program proportions
- Inductive learning of robot task knowledge from raw data and online expert feedback
- Learning differentiable logic programs for abstract visual reasoning
- Conflict-driven inductive logic programming
- The parameterized complexity of learning monadic second-order logic
- Learning aggregate queries defined by first-order logic with counting
- From monotonic graph neural networks to Datalog and back: expressive power and practical applications
- Machine learning for constraint-based configuration: a survey
- An empirical comparison of cost functions in inductive logic programming
This page was built for publication: Inductive logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5895240)
