Merging Qualitative Constraints Networks Using Propositional Logic.

Jean-François Condotta Souhila Kaci Pierre Marquis Nicolas Schwind

Published in: ECSQARU (2009)

Keyphrases

propositional logic
first order logic
belief revision
quantified boolean formulae
lattice theory
possibilistic logic
belief change
propositional satisfiability
proof procedure
davis putnam
satisfiability testing
horn logic
theorem proving
solving hard