ABDUCTIVE REASONING IN A MULTI-THEORY FRAMEWORK