Proceeding
AILA 2025 Proceeding
Artificial Intelligence Logic and Applications
5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings
Conference proceedings
Editors: Marcello Bonsangue, Yixiang Chen
About this book
This book constitutes the proceedings of the 5th International Conference on Artificial Intelligence Logic and Applications, AILA 2025, held in Xi'an, China, during August 16–17, 2025. The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 submissions. The papers are organized in the following topical sections: Explainable AI; Knowledge Systems; Norms and Metrics; Probabilistic and Fuzzy Systems; Optimization and Efficiency; Specification and Verification.
More Detail
http://link.springer.com/openurl.asp?genre=issue&issn=1865-0929&volume=2668
AILA 2024 Proceeding
Artificial Intelligence Logic and Applications
4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings
Conference proceedings
Editors: Songmao Zhang, Luis Soares Barbosa
About this book
This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10–11, 2024. The 16 full papers and the 11 short papers included in this volume were carefully reviewed and selected from 45 submissions. The papers cover the following topics: AI logic foundation; AI logic reasoning; AI logic applications.
More Detail
AILA 2023 Proceeding
Artificial Intelligence Logic and Applications
The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings
Conference proceedings
Editors: Songmao Zhang, Yonggang Zhang
About this book
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.
More Detail
AILA 2022 Proceeding
Artificial Intelligence Logic and Applications
The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings
Conference proceedings
Editors: Yixiang Chen, Songmao Zhang
About this book
This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26–28, 2022. The 20 full papers presented in this volume were carefully reviewed and selected from a total of 27 submissions. The papers in the volume are organised according to the following topical headings: program logic; fuzzy logic; applications; author index.
More Detail