activity
20112026
most citedWeak Models of Distributed Computing, with Connections to Modal Logic

31 citations · 83 across the 33 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2022

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

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto +2

We conceptualize explainability in terms of logic and formula size, giving a number of related definitions of explainability in a very general setting. Our main interest is the so-…