1-minimal resolution principle based on lattice-valued propositional logic LP(X).

Hairui Jia Yang Xu Yi Liu Huicong He

Published in: ICMLC (2013)

Keyphrases

propositional logic
minimal models
belief revision
first order logic
valued logic
linear programming
quantified boolean formulae
minimal change
linear program
belief change
lattice theory
possibilistic logic
davis putnam
satisfiability testing
objective function
proof procedure