Some Remarks on Counting Propositional Logic.

Melissa Antonelli

Published in: CoRR (2022)

Keyphrases

propositional logic
first order logic
belief revision
quantified boolean formulae
lattice theory
possibilistic logic
proof procedure
solving hard
propositional satisfiability
davis putnam
machine learning
artificial intelligence
relational databases
fuzzy sets
orders of magnitude