ML Anthology

Explainability via Short Formulas: The Case of Propositional Logic with Implementation

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
JAIR 2025
doi:10.1613/JAIR.1.17422 /jair/2025/jaakkola2025jair-explainability/
JAIR Semantic Scholar

Cite

Text

Jaakkola et al. "Explainability via Short Formulas: The Case of Propositional Logic with Implementation." Journal of Artificial Intelligence Research, 2025. doi:10.1613/JAIR.1.17422

Markdown

[Jaakkola et al. "Explainability via Short Formulas: The Case of Propositional Logic with Implementation." Journal of Artificial Intelligence Research, 2025.](https://mlanthology.org/jair/2025/jaakkola2025jair-explainability/) doi:10.1613/JAIR.1.17422

BibTeX

@article{jaakkola2025jair-explainability,
  title     = {{Explainability via Short Formulas: The Case of Propositional Logic with Implementation}},
  author    = {Jaakkola, Reijo and Janhunen, Tomi and Kuusisto, Antti and Rankooh, Masood Feyzbakhsh and Vilander, Miikka},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2025},
  doi       = {10.1613/JAIR.1.17422},
  volume    = {83},
  url       = {https://mlanthology.org/jair/2025/jaakkola2025jair-explainability/}
}