Julien Leblay profile picture

Julien Leblay

Is this your author profile? Create an account to customize it!

Stand Alone

Generating Plans from Proofs The Interpolation-Based Approach to Query Reformulation
Generating Plans from Proofs
Generating Plans from Proofs
Generating Plans from Proofs The Interpolation-based Approach to Query Reformulation