Artificial Intelligence Logic and Applications
4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Songmao Zhang
Themen in »Artificial Intelligence Logic and Applications«
Theory of computation Logic Programming logic Computing methodologies Knowledge representation and reasoning Vagueness and fuzzy logic Symbolic and algebraic manipulation Computer algebra systems Theory of computation Semantics and reasoning Program semantics Algebraic semantics Software and its engineering Software organization and properties Extra functional properties Software reliability