Explanatory Nonmonotonic Reasoning: Advances in Logic: Volume 4