Pages that link to "Item:Q1431696"
From MaRDI portal
The following pages link to Programming by demonstration using version space algebra (Q1431696):
Displaying 6 items.
- A new representation and associated algorithms for generalized planning (Q543617) (← links)
- Version spaces and the consistency problem (Q814597) (← links)
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Programming by predicates: a formal model for interactive synthesis (Q2303879) (← links)
- Principles for interactive acquisition and validation of workflows (Q3566579) (← links)
- Applying machine learning to programming by demonstration (Q4661884) (← links)