| 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|