Quantitative BAN Logic Based on Belief Degree

Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen. Quantitative BAN Logic Based on Belief Degree. In Yixiang Chen, Songmao Zhang, editors, Artificial Intelligence Logic and Applications - The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings. Volume 1657 of Communications in Computer and Information Science, pages 19-34, Springer, 2022. [doi]

@inproceedings{LiWXC22,
  title = {Quantitative BAN Logic Based on Belief Degree},
  author = {Kaixuan Li and Hengyang Wu and Jinyi Xu and Yixiang Chen},
  year = {2022},
  doi = {10.1007/978-981-19-7510-3_2},
  url = {https://doi.org/10.1007/978-981-19-7510-3_2},
  researchr = {https://researchr.org/publication/LiWXC22},
  cites = {0},
  citedby = {0},
  pages = {19-34},
  booktitle = {Artificial Intelligence Logic and Applications - The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings},
  editor = {Yixiang Chen and Songmao Zhang},
  volume = {1657},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-981-19-7510-3},
}