“…International Workshop on Nonmonotonic and Inductive Inference University of Karlsruhe…”