The core of this project is the study of algorithmic graphs. The problems studied are those that can be defined within a logical formalism such as first-order logic. The objective is to combine symbolic tools (the study of logical formalisms), combinatorial methods (the study of graphs and data structures), and machine learning methods. The combination of these fields is known as neuro-symbolic AI.
Share the linkCopyCopiedClose the modal windowShare the URL of this pageI recommend this page:Available at this address:The page will then be accessible from your "My Favorites" menu.Stop the videoPlay the videoMutePlay audioChat: Have a question?Robo Fabrica ChatbotMatomo Traffic StatisticsX (formerly Twitter)
