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]

Abstract

Abstract is missing.