NeSy 2022
Neural-Symbolic Learning and Reasoning

Table of Contents

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

• Logic Tensor Networks for Top-N Recommendation 1-14
  Tommaso Carraro , Alessandro Daniele , Fabio Aiolli , Luciano Serafini
• Visual Sudoku Puzzle Classification: A Suite of Collective Neuro-Symbolic Tasks 15-29
  Eriq Augustine , Connor Pryor , Charles Dickens , Jay Pujara , William Yang Wang , Lise Getoor
• Differentiable Rule Induction with Learned Relational Features 30-44
  Remy Kusters , Yusik Kim , Marine Collery , Christian de Sainte Marie , Shubham Gupta
• Grounding LTLf Specifications in Images 45-63
  Elena Umili , Roberto Capobianco , Giuseppe De Giacomo
• Learning Proof Path Selection Policies in Neural Theorem Proving 64-87
  Matthew Morris , Pasquale Minervini , Phil Blunsom
• From Subsymbolic to Symbolic: A Blueprint for Investigation (short paper) 88-93
  Joseph Pober , Michael Luck , Odinaldo Rodrigues
• ESC-Rules: Explainable, Semantically Constrained Rule Sets 94-103
  Martin Glauer , Robert West , Susan Michie , Janna Hastings
• Propositional Reasoning via Neural Transformer Language Models 104-119
  Oscar Javier Romero , Anthony Tomasic , Aaron Steinfeld , John Zimmerman
• Neural Analogical Reasoning 120-141
  Atharv Sonwane , Abhinav Lalwani , Sweta Mahajan , Gautam Shroff , Lovekesh Vig
• Knowledge-based Analogical Reasoning in Neuro-symbolic Latent Spaces 142-154
  Vishwa Shah , Aditya Sharma , Gautam Shroff , Lovekesh Vig , Tirtharaj Dash , Ashwin Srinivasan
• CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning 155-170
  Adam Dahlgren Lindström , Savitha Sam Abraham
• Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments 171-185
  Marianna Ganapini , Murray Campbell , Francesco Fabiano , Lior Horesh , Jonathan Lenchner , Andrea Loreggia , Nicholas Mattei , Francesca Rossi , Biplav Srivastava , Kristen Brent Venable
• Towards Educating Artificial Neural Systems (short paper) 186-191
  Simon Colton
• Modular Design Patterns for Neural-symbolic Integration: Refinement and Combination 192-201
  Till Mossakowski
• Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation 202-217
  Qiming Bao , Alex Peng , Tim Hartill , Neset Tan , Zhenyun Deng , Michael Witbrock , Jiamou Liu