Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner. Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. In Zdravko Markov, Ingrid Russell, editors, Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, Key Largo, Florida, May 16-18, 2016. pages 626-631, AAAI Press, 2016. [doi]
Abstract is missing.