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]

@article{BesoldGSTL17,
  title = {Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples},
  author = {Tarek R. Besold and Artur S. d'Avila Garcez and Keith Stenning and Leendert W. N. van der Torre and Michiel van Lambalgen},
  year = {2017},
  doi = {10.1007/s11023-017-9428-3},
  url = {http://dx.doi.org/10.1007/s11023-017-9428-3},
  researchr = {https://researchr.org/publication/BesoldGSTL17},
  cites = {0},
  citedby = {0},
  journal = {Minds and Machines},
  volume = {27},
  number = {1},
  pages = {37-77},
}