Christoph Beierle, Steven Kutsch, Kai Sauerwald. Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Annals of Mathematics and Artificial Intelligence, 87(1-2):5-41, 2019. [doi]
Abstract is missing.