Special Issue on Formal representations in model-based reasoning and abduction.

The various contributions to this special issue are written by interdisciplinary researchers. They aim at increasing knowledge about various logical aspects of model-based reasoning by illustrating some of the most recent results and achievements.