NeSy 2021
Neural-Symbolic Learning and Reasoning

Table of Contents

• Preface
  Summary: There were 19 papers submitted for peer-review to this workshop. Out of these, 14 papers were accepted for this volume.

• A New Concept for Explaining Graph Neural Networks (short paper) 1-5
  Anna Himmelhuber , Sonja Zillner , Stephan Grimm , Martin Ringsquandl , Mitchell Joblin , Thomas Runkler
• Neuro-Symbolic Constraint Programming for Structured Prediction (short paper) 6-14
  Paolo Dragone , Stefano Teso , Andrea Passerini
• pix2rule: End-to-end Neuro-symbolic Rule Learning 15-56
  Nuri Cingillioglu , Alessandra Russo
• Zero-shot Multi-Domain Dialog State Tracking Using Prescriptive Rules 57-66
  Edgar Altszyler , Pablo Brusco , Nikoletta Basiou , John Byrnes , Dimitra Vergyri
• Backpropagating through Markov Logic Networks 67-81
  Patrick Betz , Mathias Niepert , Pasquale Minervini , Heiner Stuckenschmidt
• Elite BackProp: Training Sparse Interpretable Neurons 82-93
  Theodoros Kasioumis , Joe Townsend , Hiroya Inakoshi
• Neural Semirings 94-103
  Pedro Zuidberg Dos Martires
• Explainable Diabetic Retinopathy Classification Based on Neural-Symbolic Learning 104-114
  Se-In Jang , Michaël J. A. Girard , Alexandre H. Thiery
• Extending Real Logic with Aggregate Functions 115-125
  Samy Badreddine , Michael Spranger
• An Insect-Inspired Randomly, Weighted Neural Network with Random Fourier Features For Neuro-Symbolic Relational Learning 126-142
  Jinyung Hong , Theodore P. Pavlic
• Using Neural Networks to Control Glut in the Active Logic Machine 143-153
  Justin D. Brody , Bobby Austin , Omar Khater , Christopher J. Maxey , Matthew D. Goldberg , Timothy Clausner , Darsana Josyula , Don Perlis
• Learning Arithmetic from Handwritten Images with the Aid of Symbols 154-164
  Daniel L. Silver , Ahmed Galila
• RecT: A Recursive Transformer Architecture for Generalizable Mathematical Reasoning 165-175
  Rohan Deshpande , Jerry Chen , Isabelle Lee
• Coherent and Consistent Relational Transfer Learning with Auto-encoders 176-192
  Harald Strömfelt , Luke Dickens , Artur d'Avila Garcez , Alessandra Russo