Tibor Vamos Hard Problems of Soft Knowledge. 3-10 1993 conf/ifip5-3/1993knowhsem KNOWHSEM db/conf/ifip5-3/knowhsem1993.html#Vamos93