System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases

C. Beierle,Tobias Falke,Steven Kutsch,G. Kern-Isberner
DOI: https://doi.org/10.1016/j.ijar.2017.07.005
IF: 4.452
2017-11-01
International Journal of Approximate Reasoning
Abstract:
What problem does this paper attempt to address?