Ellis Horwood series in artifical intelligence