@article{logicforexplainableai,
  title = {Logic for Explainable AI},
  author = {Adnan Darwiche},
  year = {2023},
  eprint = {2305.05172},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2305.05172v1},
}