Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples

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. Minds and Machines, 27(1):37-77, 2017. [doi]

Abstract

Abstract is missing.