Two Remarks on Counting Propositional Logic.

Melissa Antonelli

Published in: BEWARE@AI*IA (2022)

Keyphrases

propositional logic
first order logic
belief revision
lattice theory
quantified boolean formulae
possibilistic logic
propositional formulas
solving hard
davis putnam
belief change
propositional satisfiability
satisfiability testing
relational databases