Login / Signup
Explainability via Short Formulas: the Case of Propositional Logic with Implementation.
Reijo Jaakkola
Tomi Janhunen
Antti Kuusisto
Masood Feyzbakhsh Rankooh
Miikka Vilander
Published in:
CoRR (2022)
Keyphrases
</>
propositional logic
first order logic
propositional formulas
belief revision
quantified boolean formulae
possibilistic logic
lattice theory
propositional variables
horn clauses
proof procedure
artificial intelligence
propositional satisfiability
satisfiability testing