Abductive reasoning through Filtering
Splitting a Logic Program