Balder ten Cate profile picture

Balder ten Cate

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

Stand Alone

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Web Reasoning and Rule Systems
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