A probabilistic approximate logic for neuro-symbolic learning and reasoning

Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott. A probabilistic approximate logic for neuro-symbolic learning and reasoning. J. Log. Algebr. Meth. Program., 124:100719, 2022. [doi]

@article{StehrKT22,
  title = {A probabilistic approximate logic for neuro-symbolic learning and reasoning},
  author = {Mark-Oliver Stehr and Minyoung Kim and Carolyn L. Talcott},
  year = {2022},
  doi = {10.1016/j.jlamp.2021.100719},
  url = {https://doi.org/10.1016/j.jlamp.2021.100719},
  researchr = {https://researchr.org/publication/StehrKT22},
  cites = {0},
  citedby = {0},
  journal = {J. Log. Algebr. Meth. Program.},
  volume = {124},
  pages = {100719},
}