Abductive inference computation, philosophy, technology (Cambridge Univ. Press, 1996)