The Fourth International Workshop on Nonmonotonic Reasoning