Amvik eBook Solutions

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

This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China fr

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in No

Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., t