Slides for each of the sessions
2pm Opening (Tarek Besold, Artur d’Avila Garcez, Ernesto Jimenez-Ruiz)
Special Track on XAI (Chairs: Roberto Confalonieri + Benedikt Wagner)
2:30pm Special Track on XAI - Spotlight
On the Value of Labeled Data and Symbolic Methods for Hidden Neuron Activation Analysis (Abhilekha Dalal, Rushrukh Rayan, Adrita Barua, Eugene Vasserman, Md Kamruzzaman Sarker and Pascal Hitzler)
ECATS: Explainable-by-design concept-based anomaly detection for time series (Irene Ferfoglia, Gaia Saveri, Laura Nenzi and Luca Bortolussi)
3:10pm Special Track on XAI - Poster pitch
See XAI poster session for list of presenters
3:30pm Coffee break
4:10pm Special Track on XAI - Poster session
On the Value of Labeled Data and Symbolic Methods for Hidden Neuron Activation Analysis (Abhilekha Dalal, Rushrukh Rayan, Adrita Barua, Eugene Vasserman, Md Kamruzzaman Sarker and Pascal Hitzler)
Concept Induction using LLMs: a user experiment for assessment (Adrita Barua, Cara Widmer and Pascal Hitzler)
Error-margin Analysis for Hidden Neuron Activation Labels (Abhilekha Dalal, Rushrukh Rayan and Pascal Hitzler)
LENs for analyzing the quality of life of people with intellectual disability (Diego Fraile-Parra, Vicent Costa and Pilar Dellunde)
ECATS: Explainable-by-design concept-based anomaly detection for time series (Irene Ferfoglia, Gaia Saveri, Laura Nenzi and Luca Bortolussi)
Bring back Semantics to Knowledge Graph Embeddings : An Interpretability Approach (Antoine Domingues, Nitisha Jain, Albert Meroño Peñuela and Elena Simperl)
5:10pm Keynote Catia Pesquita (Chair: Ernesto Jimenez-Ruiz)
9:30am Spotlight (Chair: Frank van Harmelen)
Towards a fully declarative neuro-symbolic language (Tilman Hinnerichs, Robin Manhaeve, Giuseppe Marra and Sebastijan Dumancic)
ULLER: A Unified Language for Learning and Reasoning (Emile van Krieken, Samy Badreddine, Robin Manhaeve and Eleonora Giunchiglia)
On the Independence Assumption in Neurosymbolic Learning (Emile van Krieken, Pasquale Minervini, Edoardo M. Ponti and Antonio Vergari)
The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning (Daniel Cunnington, Mark Law, Jorge Lobo and Alessandra Russo)
11:00am Poster pitch 1 (Chair: Ernesto Jimenez-Ruiz)
See poster session 1 for list of presenters
11:20am Coffee Break
12pm Poster session 1
Towards a fully declarative neuro-symbolic language (Tilman Hinnerichs, Robin Manhaeve, Giuseppe Marra and Sebastijan Dumancic)
ULLER: A Unified Language for Learning and Reasoning (Emile van Krieken, Samy Badreddine, Robin Manhaeve and Eleonora Giunchiglia)
The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning (Daniel Cunnington, Mark Law, Jorge Lobo and Alessandra Russo)
Context Helps: Integrating context information with videos in a graph-based HAR framework (Binxia Xu, Luke Dickens, Antonios Bikakis, Andreas Vlachidis and Daniel Onah)
Assessing Logical Reasoning Capabilities of Encoder-Only Transformer Models (Paulo Pirozelli, Marcos Menon José, Paulo de Tarso Parenti Filho, Anarosa Alves Franco Brandão and Fabio Gagliardi Cozman)
Variable Assignment Invariant Neural Network for Learning Logic Programs (Yin Jun Phua and Katsumi Inoue)
IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements (Maarten C. Stol and Alessandra Mileo)
A semantic loss for ontology classification (Simon Flügel, Martin Glauer, Till Mossakowski and Fabian Neuhaus)
On the use of Neurosymbolic AI for Defending against Cyber Attacks (Gudmund Grov, Jonas Halvorsen, Magnus Wiik Eckhoff, Bjørn Jervell Hansen, Martin Eian and Vasileios Mavroeidis)
Bayesian Inverse Graphics for Few-Shot Concept Learning (Octavio Arriaga, Jichen Guo, Rebecca Adam, Sebastian Houben and Frank Kirchner)
Ethical Reward Machines (Jessica Ciupa and Vaishak Belle)
Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery (Cristina Cornelio and Mohammed Diab)
1pm Lunch
2:30pm Keynote Kristian Kersting (Chair: Luc De Raedt)
3:20pm Spotlight 2 (Chair: Annette ten Teije)
Enhancing Machine Learning Predictions through Knowledge Graph Embeddings (Majlinda Llugiqi, Fajar J. Ekaputra and Marta Sabou)
Lattice-preserving ALC ontology embeddings (Fernando Zhapa-Camacho and Robert Hoehndorf)
4pm Poster pitch 2 (Chair: Ernesto Jimenez-Ruiz)
See poster session 2 for list of presenters
4:20pm Coffee break
5pm Poster session 2
Enhancing Machine Learning Predictions through Knowledge Graph Embeddings (Majlinda Llugiqi, Fajar J. Ekaputra and Marta Sabou)
Lattice-preserving ALC ontology embeddings (Fernando Zhapa-Camacho and Robert Hoehndorf)
Disentangling Visual Priors: Unsupervised Learning of Scene Interpretations with Compositional Autoencoder (Krzysztof Krawiec and Antoni Nowinowski)
Enhancing Neuro-Symbolic Integration with Focal Loss: A Study on Logic Tensor Networks (Luca Piano, Francesco Manigrasso, Alessandro Russo and Lia Morra)
Probing LLMs for logical reasoning (Francesco Manigrasso, Stefan Schouten, Lia Morra and Peter Bloem)
Terminating Differentiable Tree Experts (Jonathan Thomm, Michael Hersche, Giacomo Camposampiero, Aleksandar Terzic, Bernhard Scholkopf and Abbas Rahimi)
Enhancing Geometric Ontology Embeddings for EL++ with Negative Sampling and Deductive Closure Filtering (Olga Mashkova, Fernando Zhapa-Camacho and Robert Hoehndorf)
Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation (Jakub Bednarek and Krzysztof Krawiec)
Embed2Rule - Scalable Neuro-Symbolic Learning via Latent Space Weak-Labelling (Yaniv Aspis, Mohammad Albinhassan, Jorge Lobo and Alessandra Russo)
Modeling Patterns for Neural-Symbolic Reasoning Using Energy-based Models (Charles Dickens, Connor Pryor and Lise Getoor)
Soft-Unification in Deep Probabilistic Logic (Jaron Maene and Luc De Raedt)
9:30am Spotlight 3 (Chair: Lia Morra)
Towards Learning Abductive Reasoning using VSA Distributed Representations (Giacomo Camposampiero, Michael Hersche, Aleksandar Terzić, Roger Wattenhofer, Abu Sebastian and Abbas Rahimi)
Valid Text-to-SQL Generation with Unification-based DeepStochLog (Ying Jiao, Luc De Raedt and Giuseppe Marra)
ViPro: Enabling and Controlling Video Prediction for Complex Dynamical Scenarios using Procedural Knowledge (Patrick Takenaka, Johannes Maucher and Marco Huber)
Leveraging Neurosymbolic AI for Slice Discovery (Michele Collevati, Thomas Eiter and Nelson Higuera)
11am Poster pitch 3 (Chair: Ernesto Jimenez-Ruiz)
See poster session 3 for list of presenters
11:20am Coffee Break
12pm Poster session 3
Towards Learning Abductive Reasoning using VSA Distributed Representations (Giacomo Camposampiero, Michael Hersche, Aleksandar Terzić, Roger Wattenhofer, Abu Sebastian and Abbas Rahimi)
Valid Text-to-SQL Generation with Unification-based DeepStochLog (Ying Jiao, Luc De Raedt and Giuseppe Marra)
ViPro: Enabling and Controlling Video Prediction for Complex Dynamical Scenarios using Procedural Knowledge (Patrick Takenaka, Johannes Maucher and Marco Huber)
Leveraging Neurosymbolic AI for Slice Discovery (Michele Collevati, Thomas Eiter and Nelson Higuer)
WineGraph: A Graph Representation For Food-Wine Pairing (Zuzanna Gawrysiak, Agata Żywot and Agnieszka Lawrynowicz)
Logic Supervised Learning for Time Series - Continual Learning for Appliance Detection (Benjamin Duppe)
Towards Understanding the Impact of Graph Structure on Knowledge Graph Embeddings (Brandon Dave, Antrea Christou and Cogan Shimizu)
Commonsense Ontology Micropatterns (Andrew Eells, Brandon Dave, Pascal Hitzler and Cogan Shimizu)
Metacognitive AI: Framework and the Case for a Neurosymbolic Approach (Hua Wei, Paulo Shakarian, Christian Lebiere, Bruce Draper, Nikhil Krishnaswamy and Sergei Nirenburg)
Enhancing Logical Tensor Networks: Integrating Uninorm-Based Fuzzy Operators for Complex Reasoning (Paulo Vitor de Campos Souza, Gianluca Apriceno and Mauro Dragoni)
Large-Scale Knowledge Integration for Enhanced Molecular Property Prediction (Yasir Ghunaim and Robert Hoehndorf)
Towards Understanding Graph Neural Networks: Functional-Semantic Activation Mapping (Kislay Raj and Alessandra Mileo)
CCN+: A neuro-symbolic framework for deep learning with requirements (Eleonora Giunchiglia, Alex Tatomir, Mihaela Cătălina Stoian and Thomas Lukasiewicz)
1pm Lunch
2:30pm Keynote Willem Zuidema (Chair: Eleonora Giunchiglia)
3:20pm Spotlight 4 (Chair: Sebastian Bader)
Simple and Effective Transfer Learning for Neuro-Symbolic Integration (Alessandro Daniele, Tommaso Campari, Sagar Malhotra and Luciano Serafini)
Parameter Learning Using Approximate Model Counting (Lucile Dierckx, Alexandre Dubray and Siegfried Nijssen)
4pm Poster pitch 4 (Chair: Ernesto Jimenez-Ruiz)
See poster session 4 for list of presenters
4:20pm Coffee break
5pm Poster session 4
Simple and Effective Transfer Learning for Neuro-Symbolic Integration (Alessandro Daniele, Tommaso Campari, Sagar Malhotra and Luciano Serafini)
Parameter Learning using Approximate Model Counting (Lucile Dierckx, Alexandre Dubray and Siegfried Nijssen)
Exploiting Computation in Superposition via Multiple-Input-Multiple-Output Neural Networks (Nicolas Menet, Michael Hersche, Geethan Karunaratne, Abu Sebastian and Abbas Rahimi)
Mitigating Data Sparsity via Neuro-Symbolic Knowledge Transfer (Tommaso Carraro, Alessandro Daniele, Fabio Aiolli and Luciano Serafini)
Learning General Policies for Planning through GPT Models (Nicholas Rossetti, Massimiliano Tummolo, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina, Mattia Chiari and Matteo Olivato)
On the Hardness of Probabilistic Neurosymbolic Learning (Jaron Maene, Vincent Derkinderen and Luc De Raedt)
On the Independence Assumption in Neurosymbolic Learning (Emile van Krieken, Pasquale Minervini, Edoardo M. Ponti and Antonio Vergari)
Neurosymbolic AI on Knowledge Graphs: Characterization, Payoff, and Pitfalls (Lauren Nicole DeLong and Jacques D. Fleuriot)
How Realistic Is Your Synthetic Data? Constraining Deep Generative Models For Tabular Data (Mihaela C. Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz and Eleonora Giunchiglia)
Indoor and Outdoor 3D Scene Graph Generation via Language-Enabled Spatial Ontologies (Jared Strader, Nathan Hughes, William Chen, Alberto Speranzon and Luca Carlone)
Parallel Sessions (1): Special Track on Generative AI (Chair: Pranava Madhyastha)
9:30am Intro + Quick Glance
9:35am Special Track on GenAI - Spotlight
TIC: Translate-Infer-Compile for accurate “text to plan” using LLMs and logical intermediate representations (Sudhir Agarwal and Anu Sreepathy)
ProSLM: A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering (Priyesh Vakharia, Abigail Kufeldt, Max Meyers and Leilani Gilpin)
Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language (Hossein Rajaby Faghihi, Aliakbar Nafar, Andrzej Uszok, Hamid Reza Karimian and Parisa Kordjamshidi)
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models (Weizhi Tang and Vaishak Belle)
11:00am Special Track on GenAI - Poster pitch
See GenAI poster session for list of presenters
Parallel Sessions (2): NeSy Library (Chair: Emile van Krieken + Eleonora Giunchiglia)
9:30am Tutorial
11:20am Coffee Break
12pm Special Track on GenAI - Poster presentation
Reasoning in Transformers -- Mitigating Spurious Correlations and Reasoning Shortcuts (Daniel Enström, Viktor Kjellberg and Moa Johansson)
TIC: Translate-Infer-Compile for accurate “text to plan” using LLMs and logical intermediate representations (Sudhir Agarwal and Anu Sreepathy)
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models (Weizhi Tang and Vaishak Belle)
Can Large Language Models put 2 and 2 together? Probing for Entailed Arithmetical Relationships (Dagmara Panas, Vaishak Belle and Sohan Seth)
Assessing LLMs suitability for knowledge graph tasks (Vasile Ionut Remus Iga and Gheorghe Cosmin Silaghi)
ProSLM: A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering (Priyesh Vakharia, Abigail Kufeldt, Max Meyers and Leilani Gilpin)
Experiments with LLMs for Converting Language to Logic (Tanel Tammet, Martin Verrev, Priit Järv and Dirk Draheim)
Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language (Hossein Rajaby Faghihi, Aliakbar Nafar, Andrzej Uszok, Hamid Reza Karimian and Parisa Kordjamshidi)
Enhancing GPT-based Planning Policies by Model-based Plan Validation (Nicholas Rossetti, Massimiliano Tummolo, Alfonso Emilio Gerevini, Matteo Olivato, Luca Putelli and Ivan Serina)
1pm Best paper and Outstanding reviewer awards and Closing (Artur Garcez)
BEST PAPER AWARD:
Simple and Effective Transfer Learning for Neuro-Symbolic Integration Alessandro Daniele, Tommaso Campari, Sagar Malhotra and Luciano Serafini
OUTSTANDING REVIEWER 1: David Tena Cucala
OUTSTANDING REVIEWER 2: Michele Collevati
TEST OF TIME AWARD:
Inference, Learning and Laws of Nature. S. Frandina, M. Gori, M. Lippi, M. Maggini, S. Melacci. NeSy13@IJCAI, Beijing, China, Aug 2013.