International Workshop on Non-Monotonic Reasoning