Tarek R. Besold Artur S. d'Avila Garcez Keith Stenning Leendert W. N. van der Torre Michiel van Lambalgen Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples. 37-77 2017 27 Minds Mach. 1 https://doi.org/10.1007/s11023-017-9428-3 db/journals/mima/mima27.html#BesoldGSTL17