Pages that link to "Item:Q4939536"
From MaRDI portal
The following pages link to Inductive synthesis of recursive logic programs: achievements and prospects (Q4939536):
Displaying 9 items.
- On the semantics of deliberation in IndiGolog -- from theory to implementation (Q596477) (← links)
- Inductive expansion: A calculus for verifying and synthesizing functional and logic programs (Q757077) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- Top program construction and reduction for polynomial time meta-interpretive learning (Q2051277) (← links)
- Learning higher-order logic programs (Q2203320) (← links)
- Inducing constructor systems from example-terms by detecting syntactical regularities (Q2864518) (← links)
- (Q3334984) (← links)
- Analytical Inductive Functional Programming (Q3617432) (← links)
- (Q3706479) (← links)