Inductive logic programming
From MaRDI portal
Recommendations
Cites work
- 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?)
- A Machine-Oriented Logic Based on the Resolution Principle
- 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
- Generalized subsumption and its applications to induction and redundancy
- 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
(78)- Inductive inference in the limit of empirically adequate theories
- Inverse reinforcement learning through logic constraint inference
- A new algorithm to automate inductive learning of default theories
- Logic program proportions
- 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
- Inductive logic programming at 30
- A differentiable first-order rule learner for inductive logic programming
- GENEX: A tool for testing in ILP
- scientific article; zbMATH DE number 6287326 (Why is no real title available?)
- scientific article; zbMATH DE number 54155 (Why is no real title available?)
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
- Learning to rank the distinctiveness of behaviour in serial offending
- Inductive learning of robot task knowledge from raw data and online expert feedback
- Classic learning
- Knowledge graphs completion via probabilistic reasoning
- \(\alpha\)ILP: thinking visual scenes as differentiable logic programs
- Learning programs with magic values
- Inductive learning of answer set programs
- Learning from interpretation transition using differentiable logic programming semantics
- Constructing simply recursive programs from a finite set of good examples
- Learning differentiable logic programs for abstract visual reasoning
- Learning logic programs by explaining their failures
- Rule Induction and Reasoning over Knowledge Graphs
- Induction of Constraint Logic Programs
- Predicate invention and utilization
- Application of abductive ILP to learning metabolic network inhibition from temporal data
- The appropriateness of predicate invention as bias shift operation in ILP
- Weakening the language bias in LINUS
- Conflict-driven inductive logic programming
- A filtering-based general approach to learning rational constraints of epistemic graphs
- An integrated framework for the diagnosis and correction of rule-based programs
- The complexity and generality of learning answer set programs
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- scientific article; zbMATH DE number 7561484 (Why is no real title available?)
- Inductive Logic Programming
- Learning Distributional Programs for Relational Autocompletion
- Iterative learning of answer set programs from context dependent examples
- An ILP model for a monotone graded classification problem
- 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?)
- Automated generation of control concepts annotation rules using inductive logic programming. System description
- ILP :- Just Trie It
- Beneficial and harmful explanatory machine learning
- Learning programs by learning from failures
- Top program construction and reduction for polynomial time meta-interpretive learning
- Generalization-based similarity
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- scientific article; zbMATH DE number 784360 (Why is no real title available?)
- Smart office robot collaboration based on multi-agent programming
- scientific article; zbMATH DE number 1759257 (Why is no real title available?)
- Some thoughts on knowledge-enhanced machine learning
- scientific article; zbMATH DE number 1568686 (Why is no real title available?)
- Logic explained networks
- 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
- FFNSL: Feed-forward neural-symbolic learner
- scientific article; zbMATH DE number 7447745 (Why is no real title available?)
- White-box induction from SVM models: explainable AI with logic programming
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- scientific article; zbMATH DE number 1696473 (Why is no real title available?)
- Learning weak constraints in answer set programming
- scientific article; zbMATH DE number 2084839 (Why is no real title available?)
- scientific article; zbMATH DE number 2090531 (Why is no real title available?)
- A comparative study of three neural-symbolic approaches to inductive logic programming
- Autonomous agents modelling other agents: a comprehensive survey and open problems
- ILP turns 20. Biography and future challenges
- Lifted graphical models: a survey
- Integrated preference argumentation and applications in consumer behaviour analyses
- ProGolem: a system based on relative minimal generalisation
- Logic-based learning of answer set programs
- Rethinking static analysis by combining discrete and continuous reasoning
- scientific article; zbMATH DE number 67794 (Why is no real title available?)
- Pac-learning non-recursive Prolog clauses
- FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data
- Introducing new predicates to model scientific revolution
- Incremental and iterative learning of answer set programs from mutually distinct examples
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)
