Vol-3818⫷ Vol-3819 ⫸Vol-3820
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 |