Explainability via short formulas: the case of propositional logic with implementation

DOI10.1613/JAIR.1.17422MaRDI QIDQ6912794zbMATH OpenFDO

Authors Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

Publication date 22 October 2025

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

propositional logiclogic programmingmathematical foundationsexplainability

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Logic in artificial intelligence (68T27)

This page was built for publication: Explainability via short formulas: the case of propositional logic with implementation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6912794)