Institution: | (1) The Abductive Systems Group, Department of Philosophy, University of British Columbia, Vancouver, BC, V6T 1Z1, Canada;(2) Group on Logic, Information and Computation, Department of Informatics, King’s College London, Strand, London, UK |