Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation
Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura
- Anthology ID:
- DBLP:series/synthesis/2016Benedikt
- Volume:
- 2016
- Year:
- 2016
- Venue:
- synthesis_series
- Publisher:
- Morgan & Claypool Publishers
- URL:
- https://doi.org/10.2200/S00703ED1V01Y201602DTM043
- DOI:
- 10.2200/S00703ED1V01Y201602DTM043
- DBLP:
- series/synthesis/2016Benedikt
