Abductive reasoning through Filtering
A Logic for Default Reasoning