%0 Journal Article %1 journals/ijar/BeierleFKK17 %A Beierle, Christoph %A Falke, Tobias %A Kutsch, Steven %A Kern-Isberner, Gabriele %D 2017 %J Int. J. Approx. Reason. %K %P 120-143 %T System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases. %U http://dblp.uni-trier.de/db/journals/ijar/ijar90.html#BeierleFKK17 %V 90

@article{journals/ijar/BeierleFKK17, added-at = {2023-12-14T14:42:18.000+0100}, author = {Beierle, Christoph and Falke, Tobias and Kutsch, Steven and Kern-Isberner, Gabriele}, biburl = {https://www.bibsonomy.org/bibtex/2cf628dac30cbe50b52a7ccaff4ee476b/admin}, ee = {https://doi.org/10.1016/j.ijar.2017.07.005}, interhash = {e24decb8c6d80c0e0401fb1da4babc8f}, intrahash = {cf628dac30cbe50b52a7ccaff4ee476b}, journal = {Int. J. Approx. Reason.}, keywords = {}, pages = {120-143}, timestamp = {2023-12-14T14:42:18.000+0100}, title = {System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases.}, url = {http://dblp.uni-trier.de/db/journals/ijar/ijar90.html#BeierleFKK17}, volume = 90, year = 2017 }