Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem

From MaRDI portal