TY - BOOK AU - Zhang,Songmao AU - Zhang,Yonggang TI - Artificial Intelligence Logic and Applications: The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings T2 - Communications in Computer and Information Science, SN - 9789819978694 U1 - 005.131 23 PY - 2023/// CY - Singapore PB - Springer Nature Singapore, Imprint: Springer KW - Machine theory KW - Computer science KW - Artificial intelligence KW - Mathematics KW - Software engineering KW - Formal Languages and Automata Theory KW - Theory of Computation KW - Artificial Intelligence KW - Mathematics of Computing KW - Software Engineering N1 - AI Logic Foundation -- AI Logic Reasoning -- AI Logic Applications 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 -