Login / Signup

α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic system.

Weitao Xu
Published in: ISKE (2017)
Keyphrases
  • propositional logic
  • computational complexity
  • knowledge base
  • combinatorial optimization
  • first order logic
  • belief revision