Logic and Knowledge, 16-19 June. tr 2010, 4 (9).