Artificial Intelligence Logic and Applications
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.
| ISBN: | 9789811975097 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 287 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Chen, Yixiang Zhang, Songmao |
| Verlag: | Springer Singapore |
| Veröffentlicht: | 11.12.2022 |
| Untertitel: | The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings |
| Schlagworte: | Algebraic semantics Computer Science Computing methodologies Program semantics Semantics and reasoning Software reliability Theory and algorithms for application domains Theory of computation Vagueness and fuzzy logic |