Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces