This two part-volume LNCS constitutes the refereed post proceedings of 16th International Conference, ICAART 2024, in Rome, Italy in February 2024.
The 24 full papers and 13 short papers included in this book were carefully reviewed and selected from 375 submissions. They cover all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.
Ana Paula Rocha
Machine Learning Deep Learning Neural Networks Data Science Multi-Agent Systems Natural Language Processing Industrial Applications of AI AI and Creativity Data Mining Agent Models and Architectures Knowledge Representation and Reasoning Explainable Artificial Intelligence Autonomous Systems Interpretable Artificial Intelligence Planning and Scheduling