Login / Signup

Polynomial Approximations of Full Propositional Logic via Limited Bivalence.

Marcelo Finger
Published in: JELIA (2004)
Keyphrases
  • propositional logic
  • first order logic
  • belief revision
  • lattice theory
  • quantified boolean formulae
  • possibilistic logic
  • davis putnam
  • horn logic
  • np hard
  • propositional formulas