Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality

Anton Belov João Marques-Silva

Published in: CoRR (2012)

Keyphrases

propositional logic
belief revision
first order logic
propositional formulas
possibilistic logic
lattice theory
artificial intelligence
quantified boolean formulae
satisfiability testing
belief change
proof procedure
davis putnam
logic programming
propositional satisfiability
belief set
horn contraction