Nonmonotonic reasoning from conditional knowledge bases with system W

Christian Komo, Christoph Beierle. Nonmonotonic reasoning from conditional knowledge bases with system W. Annals of Mathematics and Artificial Intelligence, 90(1):107-144, 2022. [doi]

Abstract

Abstract is missing.