LNSAI 2024

Welcome to the First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024)

This is an in-person workshop co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), which will be held in person from 03 to 09 August 2024 in Jeju Island, South Korea

At least one author of each accepted paper must register for the workshop and travel to the IJCAI venue in person. Note that the workshop fee is separate from the main conference fee. Click here for more information

Multiple submissions of the same paper to more IJCAI workshops are forbidden

The CEUR Proceedings of the Workshop are available here

Aims and Scope

Deductive and Inductive Reasoning are the two pillars of Artificial Intelligence (AI) systems that deal with data. Deductive Reasoning techniques are based on symbolic manipulation of information and usually infer new knowledge using automated logic-based procedures. On the contrary, Inductive Reasoning techniques learn patterns often using sub-symbolic representations such as Artificial Neural Networks. Using these representations, the former can derive accurate and explainable knowledge but are susceptible to noisy data, whereas the latter are robust to data diversity but generate predictions that can be potentially imprecise and generally opaque. Due to these characteristics, deductive and inductive reasoning techniques excel at solving and struggle with completely different, and often complementary, families of problems.

As a result, we are currently experiencing a new era of AI where symbolic and neural techniques are being combined to leverage the best from both of them. It is therefore extremely important that such promising synergy is accurately formalized at its core, and more specifically grounded on formal methods, based on some form of logic.