1 paper
S. Argamon-Engelson, M. Koppel
In this paper we consider the problem of `theory patching', in which we are given a domain theory, some of whose components are indicated to be possibly flawed, and a set of labele…