Uniform Guarded Fragments

von Jaakkola, Reijo
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Short Boolean Formulas as Explanations in Practice

von Jaakkola, Reijo
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)