Automatic Differentiation in Prolog

Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi. Automatic Differentiation in Prolog. TPLP, 23(4):900-917, July 2023. [doi]

@article{SchrijversBR23,
  title = {Automatic Differentiation in Prolog},
  author = {Tom Schrijvers and Birthe van den Berg and Fabrizio Riguzzi},
  year = {2023},
  month = {July},
  doi = {10.1017/s1471068423000145},
  url = {https://doi.org/10.1017/s1471068423000145},
  researchr = {https://researchr.org/publication/SchrijversBR23},
  cites = {0},
  citedby = {0},
  journal = {TPLP},
  volume = {23},
  number = {4},
  pages = {900-917},
}