Abductive Reasoning Logical Investigations into Discovery and Explanation | EKB DL