default search action

combined dblp search
author search
venue search
publication search

ask others

LNSAI@IJCAI 2024: Jeju Island, Korea

> Home > Conferences and Workshops > LNSAI
> Home > Conferences and Workshops > IJCAI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/lnsai/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lnsai/2024
Gianluca Cima, Marco Console, Víctor Gutiérrez-Basulto, Pascal Hitzler, Maurizio Lenzerini:
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. CEUR Workshop Proceedings 3819, CEUR-WS.org 2024

Full Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lnsai/LimLAK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lnsai/LimLAK24
Mintaek Lim, Seokki Lee, Liyew Woletemaryam Abitew, Sundong Kim:
Abductive Symbolic Solver on Abstraction and Reasoning Corpus.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lnsai/DaveKGM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lnsai/DaveKGM24
Neisarg Dave, Daniel Kifer, C. Lee Giles, Ankur Mali:
Investigating Symbolic Capabilities of Large Language Models.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lnsai/ColeloughR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lnsai/ColeloughR24
Brandon Curtis Colelough, William Regli:
Neuro-Symbolic AI in 2024: A Systematic Review.

Extended Abstracts

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lnsai/KouvarosBB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lnsai/KouvarosBB24
Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell:
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract).
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lnsai/KnorozovaR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lnsai/KnorozovaR24
Nadezda A. Knorozova, Alessandro Ronca:
On The Expressivity of Recurrent Neural Cascades (Extended Abstract).
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lnsai/RamKG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lnsai/RamKG24
Parikshit Ram, Tim Klinger, Alexander G. Gray:
What makes Models Compositional? A Neuro-Symbolic Theoretical View (Extended Abstract).

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.