| Vol-3212 urn:nbn:de:0074-3212-3 Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# NeSy 2022
Neural-Symbolic Learning and Reasoning

### 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, United Kingdom, September 28-30, 2022.

Edited by

### Artur d'Avila Garcez ♠
Ernesto Jiménez-Ruiz ♠ ♣

♠ City, University of London, UK
♣ SIRIUS, University of Oslo, Norway

## 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

2022-09-09: submitted by Ernesto Jiménez-Ruiz, metadata incl. bibliographic data published under Creative Commons CC0
2022-09-13: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|