Pages that link to "Item:Q1128483"
From MaRDI portal
The following pages link to Schema induction for logic program synthesis (Q1128483):
Displaying 8 items.
- Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning. (Q1405987) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- Logic program synthesis as problem reduction using combining forms (Q1857307) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- (Q4539642) (← links)
- Completing open logic programs by constructive induction (Q4935596) (← links)
- Schema-Guided Synthesis of Imperative Programs by Constraint Solving (Q5458801) (← links)
- Logic Based Program Synthesis and Transformation (Q5713946) (← links)