Artificial Intelligence Logic and Applications - Yixiang Chen, Songmao Zhang (Springer, 2022)