ILP-Based Reasoning for Weighted Abduction