Advances in Reasoning-Based Image Processing