Sign in

Quantified Coalition Logic of Knowledge, Belief and Certainty.

Qingliang ChenXiaowei HuangKaile SuAbdul Sattar
Published in: Canadian Conference on AI (2017)
Keyphrases
  • knowledge representation
  • bayesian networks
  • computational complexity
  • logic programming
  • model checking