NeSy

Publications

2023

Fernando Zhapa-Camacho, Robert Hoehndorf
From Axioms over Graphs to Vectors, and Back Again: Evaluating the Properties of Graph-based Ontology Embeddings. NeSy (2023)
Elena Umili, Francesco Argenziano, Aymeric Barbin, Roberto Capobianco
Visual Reward Machines. NeSy (2023)
Mouloud Iferroudjene, Victor Charpenay, Antoine Zimmermann
FB15k-CVT: A Challenging Dataset for Knowledge Graph Embedding Models. NeSy (2023)
Luca Salvatore Lorello, Marco Lippi
The Challenge of Learning Symbolic Representations. NeSy (2023)
Mihaela C. Stoian, Eleonora Giunchiglia, Thomas Lukasiewicz
Exploiting T-norms for Deep Learning in Autonomous Driving. NeSy (2023)
Anna Breit, Laura Waltersdorfer, Fajar J. Ekaputra, Marta Sabou, Andreas Ekelhart, Andreea Iana, Heiko Paulheim, Jan Portisch, Artem Revenko, Frank van Harmelen, Annette ten Teije
Combining Machine Learning and Semantic Web: A Systematic Mapping Study. NeSy (2023)
David Herron, Ernesto Jiménez-Ruiz, Tillman Weyde
On the Benefits of OWL-based Knowledge Graphs for Neural-Symbolic Systems. NeSy (2023)
Jingyuan Sha, Hikaru Shindo, Kristian Kersting, Devendra Singh Dhami
Neural-Symbolic Predicate Invention: Learning Relational Concepts from Visual Scenes. NeSy (2023)
Abhinav Kumar Thakur, Filip Ilievski, Hông-Ân Sandlin, Zhivar Sourati, Luca Luceri, Riccardo Tommasini, Alain Mermoud
Explainable Classification of Internet Memes. NeSy (2023)
Maurizio Proietti, Francesca Toni
A Roadmap for Neuro-argumentative Learning. NeSy (2023)
Katrin Schreiberhuber, Marta Sabou, Fajar J. Ekaputra, Peter Knees, Peb Ruswono Aryan, Alfred Einfalt, Ralf Mosshammer
Causality Prediction with Neural-Symbolic Systems: A Case Study in Smart Grids. NeSy (2023)
Marc Otto, Octavio Arriaga, Chandandeep Singh, Jichen Guo, Frank Kirchner
PhysWM: Physical World Models for Robot Learning. NeSy (2023)
Flavio Petruzzellis, Alberto Testolin, Alessandro Sperduti
A Hybrid System for Systematic Generalization in Simple Arithmetic Problems. NeSy (2023)
Michael Hersche, Mustafa Zeqiri, Luca Benini, Abu Sebastian, Abbas Rahimi
Solving Raven's Progressive Matrices via a Neuro-vector-symbolic Architecture. NeSy (2023)
Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini
Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions. NeSy (2023)
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch
A Modular Neurosymbolic Approach for Visual Graph Question Answering. NeSy (2023)
Johanna Ott, Arthur Ledaguenel, Céline Hudelot, Mattis Hartwig
How to Think About Benchmarking Neurosymbolic AI? NeSy (2023)
Moa Johansson, Nicholas Smallbone
Exploring Mathematical Conjecturing with Large Language Models. NeSy (2023)
Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Liò, Frédéric Precioso, Mateja Jamnik, Giuseppe Marra
Interpretable Neural-Symbolic Concept Reasoning. NeSy (2023)
Davide Beretta, Stefania Monica, Federico Bergenti
Preliminary Results on a State-Driven Method for Rule Construction in Neural-Symbolic Reinforcement Learning. NeSy (2023)
Wen-Chi Yang, Giuseppe Marra, Gavin Rens, Luc De Raedt
Safe Reinforcement Learning via Probabilistic Logic Shields. NeSy (2023)
Michael Hersche, Zuzanna Opala, Geethan Karunaratne, Abu Sebastian, Abbas Rahimi
Decoding Superpositions of Bound Symbols Represented by Distributed Representations. NeSy (2023)
Cristina Cornelio, Jan Stühmer, Shell Xu Hu, Timothy M. Hospedales
Learning Where and When to Reason in Neuro-Symbolic Inference. NeSy (2023)
Eleonora Misino, Giuseppe Marra, Emanuele Sansone
VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming. NeSy (2023)
Kwun Ho Ngan, James Phelan, Esma Mansouri-Benssassi, Joe Townsend, Artur S. d'Avila Garcez
Closing the Neural-Symbolic Cycle: Knowledge Extraction, User Intervention and Distillation from Convolutional Neural Networks. NeSy (2023)
Gabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Marco Gori, Pietro Liò, Marco Maggini, Stefano Melacci
Logic Explained Networks. NeSy (2023)
Alessandro Oltramari, Jonathan Francis, Filip Ilievski, Kaixin Ma, Roshanak Mirzaee
Generalizable Neuro-Symbolic Systems for Commonsense Question Answering. NeSy (2023)
Sofoklis Kyriakopoulos, Artur S. d'Avila Garcez
Continual Reasoning: Non-monotonic Reasoning in Neurosymbolic AI using Continual Learning. NeSy (2023)
Daniel L. Silver, Tom M. Mitchell
The Roles of Symbols in Neural-based AI: They are Not What You Think! NeSy (2023)
Emanuele Marconato, Stefano Teso, Andrea Passerini
Neuro-Symbolic Reasoning Shortcuts: Mitigation Strategies and their Limitations. NeSy (2023)
Lucile Dierckx, Rosana Veroneze, Siegfried Nijssen
RL-Net: Interpretable Rule Learning with Neural Networks. NeSy (2023)
Rory Ward, Muhammad Jaleed Khan, John G. Breslin, Edward Curry
Knowledge-Guided Colorization: Overview, Prospects and Challenges. NeSy (2023)
Kristian J. Hammond, David B. Leake
Large Language Models Need Symbolic AI. NeSy (2023)
N'Dah Jean Kouagou, Stefan Heindorf, Caglar Demir, Axel-Cyrille Ngonga Ngomo
Neural Class Expression Synthesis. NeSy (2023)
Matthew S. Brown, M. Wasil Wahi-Anwar, Youngwon Choi, Morgan Daly, Liza Shrestha, Koon-Pong Wong, Jonathan G. Goldin, Dieter R. Enzmann
Implementing Trustworthy AI in Real-world Medical Imaging using the SimpleMind Software Environment. NeSy (2023)
Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. NeSy (2023)
Emanuele Marconato, Andrea Passerini, Stefano Teso
GlanceNets: Interpretable, Leak-proof Concept-based Models. NeSy (2023)
Jedrzej Potoniec
Is the Proof Length a Good Indicator of Hardness for Reason-able Embeddings? NeSy (2023)
Lia Morra, Alberto Azzari, Letizia Bergamasco, Marco Braga, Luigi Capogrosso, Federico Delrio, Giuseppe Di Giacomo, Simone Eiraudo, Giorgia Ghione, Rocco Giudice, Alkis Koudounas, Luca Piano, Daniele Rege Cambrin, Matteo Risso, Marco Rondina, Alessandro Sebastian Russo, Marco Russo, Francesco Taioli, Lorenzo Vaiani, Chiara Vercellino
Designing Logic Tensor Networks for Visual Sudoku Puzzle Classification. NeSy (2023)
Mattijs Baert, Sam Leroux, Pieter Simoens
Learning Logic Constraints From Demonstration. NeSy (2023)
Manuel Eberhardinger, Johannes Maucher, Setareh Maghsudi
Towards Explainable Decision Making with Neural Program Synthesis and Library Learning. NeSy (2023)
Ouns El Harzli, Samy Badreddine, Tarek R. Besold
What's Wrong with Gradient-based Complex Query Answering? NeSy (2023)
Vitor A. C. Horta, Robin Sobczyk, Maarten C. Stol, Alessandra Mileo
Semantic Interpretability of Convolutional Neural Networks by Taxonomy Extraction. NeSy (2023)
Roxana Pop, Egor V. Kostylev
Inductive Future Time Prediction on Temporal Knowledge Graphs with Interval Time. NeSy (2023)
Gaia Saveri, Luca Bortolussi
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. NeSy (2023)
Kareem Ahmed, Stefano Teso, Kai-Wei Chang, Guy Van den Broeck, Antonio Vergari
Semantic Probabilistic Layers for Neuro-Symbolic Learning. NeSy (2023)
Francesco S. Carzaniga, Michael Hersche, Kaspar Schindler, Abbas Rahimi
VSA-based Positional Encoding Can Replace Recurrent Networks in Emergent Symbol Binding. NeSy (2023)
Alberto Speranzon, Christian H. Debrunner, David Rosenbluth, Mauricio Castillo-Effen, Anthony R. Nowicki, Kevin Alcedo, Andrzej Banaszuk
Challenge Problems in Developing a Neuro-Symbolic OODA Loop. NeSy (2023)

volume 3432, 2023

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023. NeSy 3432 (2023)

volume 3212, 2022

Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), Cumberland Lodge, Windsor Great Park, UK, September 28-30, 2022. NeSy 3212 (2022)