Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?

Benjamin Kiesl Martina Seidl Hans Tompits Armin Biere

Published in: IJCAI (2017)

Keyphrases

propositional logic
belief revision
first order logic
quantified boolean formulae
lattice theory
belief change
possibilistic logic
artificial intelligence
propositional satisfiability
proof procedure
davis putnam
horn logic
temporal logic
valued logic
solving hard
satisfiability testing
expert systems