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:
HYDRA/RCRA@LPNMR (2022)
Keyphrases
</>
propositional logic
propositional formulas
first order logic
belief revision
possibilistic logic
belief change
lattice theory
propositional variables
domain knowledge
predicate calculus
davis putnam
proof procedure
satisfiability testing
quantified boolean formulae
horn logic