-Resolution in Lattice-valued Propositional Logic LP(X).

Yi Liu Hairui Jia Yang Xu

Published in: Int. J. Comput. Intell. Syst. (2013)

Keyphrases

propositional logic
valued logic
belief revision
linear programming
first order logic
possibilistic logic
quantified boolean formulae
lattice theory
linear program
proof procedure
davis putnam
belief change
horn logic
artificial intelligence
propositional satisfiability
expert systems
optimal solution