Login / Signup

$(\alpha,\beta)$ - Lock Resolution Method of Linguistic Truth- Valued Intuitionistic Fuzzy First-order Logic.

Nan LiYanling WangYujie CaoMartinez Carracedo JorgeLixian XuJun Liu
Published in: ISKE (2023)
Keyphrases
  • first order logic
  • alpha beta
  • judgment matrix
  • objective function
  • search algorithm
  • dynamic programming
  • multi dimensional
  • constraint satisfaction
  • inductive logic programming
  • valued logic