Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases

From MaRDI portal
Publication:2297769