Nonmonotonic and inductive logic ... international workshop ; proceedings (Springer, 1991)