Email Gateway (Feb 14 2024 at 13:03): Email Gateway (Feb 14 2024 at 13:03):From: Jacques Fleuriot <Jacques.Fleuriot@ed.ac.uk>
* Mathematics in Artificial Intelligence: A Special Issue of the journal Mathematics in Computer Science *
The journal Mathematics in Computer Science invites researchers and practitioners to contribute to a special issue focused on Mathematics in Artificial Intelligence, encompassing a wide range of topics that explore the interplay between mathematics and AI.
Relevant themes for the Isabelle mailing list include, but are not limited to:
• Neurosymbolic AI, with a focus on the interplay between deep learning and automated reasoning:
– Integration of symbolic reasoning with machine learning
– Explainable AI and interpretable deep learning models
– Knowledge representation in neurosymbolic systems
– Combining deep learning and mechanical theorem proving or model checking
– Hybrid neurosymbolic approaches
Submissions
Articles should then submitted via EasyChair: https://easychair.org/my/conference?conf=mai2024 by the deadline (31st of March 2024).
More information (about guidelines, other important dates etc.) is available at: https://aiml.inf.ed.ac.uk/mai2024
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
Last updated: Apr 28 2024 at 20:16 UTC