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 the Creative Commons License Attribution 4.0 International (CC BY 4.0).

LNSAI 2024
Logical Foundations of Neuro-Symbolic AI 2024

Proceedings of the First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024)
co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024)

Jeju Island, South Korea, August 5, 2024.

Edited by

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

* Sapienza University of Rome
** Cardiff University
*** Kansas State University

Table of Contents

Preface
Summary: There were 14 papers submitted for peer-review to this workshop. Out of these, 6 papers were included for this volume, 3 as regular papers and 3 as extended abstracts.

Full Papers

Abductive Symbolic Solver on Abstraction and Reasoning Corpus
Mintaek Lim, Seokki Lee, Liyew Woletemaryam Abitew, Sundong Kim
Investigating Symbolic Capabilities of Large Language Models
Neisarg Dave, Daniel Kifer, C. Lee Giles, Ankur Mali
Neuro-Symbolic AI in 2024: A Systematic Review
Brandon C. Colelough, William Regli

Extended Abstracts

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract)
Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell
On The Expressivity of Recurrent Neural Cascades (Extended Abstract)
Nadezda A. Knorozova, Alessandro Ronca
What makes Models Compositional? A Neuro-Symbolic Theoretical View (Extended Abstract)
Parikshit Ram, Tim Klinger, Alexander G. Gray

2024-10-16: submitted by Gianluca Cima, metadata incl. bibliographic data published under Creative Commons CC0
2024-11-01: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|