The following pages link to Ute Schmid (Q1405986):
Displaying 10 items.
- Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning. (Q1405987) (← links)
- Ultra-strong machine learning: comprehensibility of programs learned with ILP (Q1621886) (← links)
- Beneficial and harmful explanatory machine learning (Q2051274) (← links)
- Generating contrastive explanations for inductive logic programming based on a near miss approach (Q2163226) (← links)
- Metaphors and heuristic-driven theory projection (HDTP) (Q2368944) (← links)
- Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities (Q2864518) (← links)
- (Q3093353) (← links)
- (Q4412240) (← links)
- (Q4808703) (← links)
- Was the Year 2000 a Leap Year? Step-Wise Narrowing Theories with Metagol (Q5149788) (← links)
