Original: https://ceur-ws.org/Vol-3819/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-3819/ | Year: 2024

Vol-3819
urn:nbn:de:0074-3819-1

Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under https://creativecommons.org/licenses/by/4.0/.

LNSAI 2024

Proceedings of the First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024)
co-located with IJCAI 2024

Jeju Island, South Korea, August 5, 2024.

Edited by

Gianluca Cima
Marco Console
Víctor Gutiérrez-Basulto
Pascal Hitzler
Maurizio Lenzerini

Table of Contents

PDF
Abductive Symbolic Solver on Abstraction and Reasoning Corpus PDF
Sundong Kim, Seokki Lee, Mintaek Lim, Liyew Woletemaryam Abitew
Investigating Symbolic Capabilities of Large Language Models PDF
Daniel Kifer, C. Lee Giles, Ankur Mali, Neisarg Dave
Neuro-Symbolic AI in 2024: A Systematic Review PDF
William C. Regli, Brandon Curtis Colelough
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract) PDF
Panagiotis Kouvaros, Cosmo De Bonis-Campbell, Elena Botoeva
On The Expressivity of Recurrent Neural Cascades (Extended Abstract) PDF
Alessandro Ronca, Nadezda Alexandrovna Knorozova
What makes Models Compositional? A Neuro-Symbolic Theoretical View (Extended Abstract) PDF
Parikshit Ram, Tim Klinger, Alexander G. Gray

2024-11-01: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|