The following pages link to Inductive logic programming (Q5895240):
Displaying 50 items.
- Constructing simply recursive programs from a finite set of good examples (Q293131) (← links)
- ILP turns 20. Biography and future challenges (Q439010) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Classic learning (Q676240) (← links)
- Autonomous agents modelling other agents: a comprehensive survey and open problems (Q1639697) (← links)
- The complexity and generality of learning answer set programs (Q1647512) (← links)
- The appropriateness of predicate invention as bias shift operation in ILP (Q1900985) (← links)
- Inductive inference in the limit of empirically adequate theories (Q1902559) (← links)
- Smart office robot collaboration based on multi-agent programming (Q1978438) (← links)
- Beneficial and harmful explanatory machine learning (Q2051274) (← links)
- Top program construction and reduction for polynomial time meta-interpretive learning (Q2051277) (← links)
- Learning programs by learning from failures (Q2051282) (← links)
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons (Q2071318) (← links)
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125) (← links)
- Learning from interpretation transition using differentiable logic programming semantics (Q2127221) (← links)
- Inductive logic programming at 30 (Q2127222) (← links)
- Automated generation of control concepts annotation rules using inductive logic programming. System description (Q2163169) (← links)
- FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data (Q2163174) (← links)
- Some thoughts on knowledge-enhanced machine learning (Q2237522) (← links)
- Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games (Q2285664) (← links)
- On distinguishing sets of structures by first-order sentences of minimal quantifier rank (Q2333677) (← links)
- Lifted graphical models: a survey (Q2347709) (← links)
- Application of abductive ILP to learning metabolic network inhibition from temporal data (Q2433189) (← links)
- Knowledge graphs completion via probabilistic reasoning (Q2663455) (← links)
- Logic explained networks (Q2680793) (← links)
- A comparative study of three neural-symbolic approaches to inductive logic programming (Q2694550) (← links)
- Learning to rank the distinctiveness of behaviour in serial offending (Q2694614) (← links)
- Introducing new predicates to model scientific revolution (Q2713343) (← links)
- GENEX: A tool for testing in ILP (Q2745227) (← links)
- (Q2766588) (← links)
- Inductive Learning of Answer Set Programs (Q2938503) (← links)
- (Q3384892) (← links)
- Induction of Constraint Logic Programs (Q3556991) (← links)
- (Q4004339) (← links)
- Weakening the language bias in LINUS (Q4290132) (← links)
- Predicate invention and utilization (Q4290133) (← links)
- Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (Q4559818) (← links)
- A new algorithm to automate inductive learning of default theories (Q4592724) (← links)
- Learning weak constraints in answer set programming (Q4592994) (← links)
- Iterative Learning of Answer Set Programs from Context Dependent Examples (Q4593062) (← links)
- (Q4843403) (← links)
- (Q5020576) (← links)
- (Q5020582) (← links)
- (Q5020958) (← links)
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data (Q5038469) (← links)
- (Q5091140) (← links)
- White-box Induction From SVM Models: Explainable AI with Logic Programming (Q5140006) (← links)
- (Q5389763) (← links)
- (Q5411270) (← links)
- ILP :- Just Trie It (Q5452082) (← links)