Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner. FO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases. Int. J. Approx. Reasoning, 90:120-143, 2017. [doi]
Abstract is missing.