@article{asemanticframeworkforneuralsymbolic,
  title = {A Semantic Framework for Neuro-Symbolic Computing},
  author = {Simon Odense and Artur d'Avila Garcez},
  year = {2022},
  eprint = {2212.12050},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2212.12050v5},
}