TY - BOOK AU - Zhang, Songmao. AU - Zhang, Yonggang. TI - Artificial Intelligence Logic and Applications SN - 9789819978694 U1 - 5.131 PY - 2023/// CY - Singapore PB - Springer Nature Singapore KW - Artificial intelligence KW - Artificial Intelligence KW - Computer science KW - Formal Languages and Automata Theory KW - Machine theory KW - Mathematics of Computing KW - Software engineering KW - Software Engineering KW - Theory of Computation N2 - This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5-6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions. This volume aims to provide novel ideas, original research achievements, and practical experiences in a broad range of artificial intelligence logic and applications UR - https://doi.org/10.1007/978-981-99-7869-4 ER -