Login / Signup

可计算性逻辑中CoL2系统的可判定性分析 (Research on Decidability of CoL2 in Computability Logic).

Xingxiang LiJunfeng Luan
Published in: 计算机科学 (2015)
Keyphrases
  • description logics
  • computational properties
  • logic programming
  • query answering
  • multi valued
  • database
  • real time
  • information retrieval
  • genetic algorithm
  • data structure
  • truth values