NeSy Sessions (All times are BST)
Location: Sandby
Wednesday 28th, 14:50 – 17:00 BST
|
14:50 – 15:50: NeSy Session 1 Location: Sandby Chair: Alessandra Russo |
|---|
|
14:50 – 15:10
Conference Track Eriq Augustine, Connor Pryor, Charles Dickens, Jay Pujara, William Yang Wang and Lise Getoor Visual Sudoku Puzzle Classification: A Suite of Collective Neuro-Symbolic Tasks.
15:10 – 15:30
Conference Track Elena Umili, Roberto Capobianco and Giuseppe De Giacomo Grounding LTLf specifications in images.
15:30 – 15:50
Conference Track Tommaso Carraro, Alessandro Daniele, Fabio Aiolli and Luciano Serafini Logic Tensor Networks for Top-N Recommendation. |
|
16:00 – 17:00: NeSy Session 2 Location: Sandby Chair: Artur d'Avila Garcez |
|---|
|
16:00 – 16:30
Invited Talk Forough Arabshahi NeSy Invited talk.
16:30 – 16:50
Conference Track Matthew Morris, Pasquale Minervini and Phil Blunsom Learning Proof Path Selection Policies in Neural Theorem Proving.
16:50 – 17:00
Conference Track Joseph Pober, Michael Luck and Odinaldo Rodrigues From Subsymbolic to Symbolic: A Blueprint for Investigation (short paper). |
Thursday 29th, 09:50 – 12:00 BST
|
09:50 – 10:50: NeSy Session 3 Location: Sandby Chair: Ernesto Jimenez-Ruiz |
|---|
|
09:50 – 10:10
Conference Track Marianna Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava and Kristen Brent Venable Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments.
10:10 – 10:30
Conference Track Remy Kusters, Yusik Kim, Marine Collery, Christian de Sainte Marie and Shubham Gupta Differentiable rule induction with learned relational features.
10:30 – 10:50
Conference Track Till Mossakowski Modular design patterns for neural-symbolic integration: refinement and combination. |
|
11:00 – 12:00: NeSy Session 4 Location: Sandby Chair: Ernesto Jimenez-Ruiz |
|---|
|
11:00 – 11:30
Invited Talk Hannes Leitgeb NeSy Invited talk.
11:30 – 11:50
Conference Track Martin Glauer, Robert West, Susan Michie and Janna Hastings ESC-Rules: Explainable, Semantically Constrained Rule Sets.
11:50 – 12:00
Conference Track Simon Colton Towards Educating Artificial Neural Systems (short paper). |
Thursday 29th, 14:40 – 17:00 BST
|
14:40 – 15:50: NeSy Session 5 Location: Sandby Chair: Subramanian Ramamoorthy |
|---|
|
14:40 – 15:00
General Track Qiming Bao, Alex Peng, Tim Hartill, Neset Tan, Zhenyun Deng, Michael Witbrock and Jiamou Liu Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation.
15:00 – 15:30
Invited Talk William Cohen NeSy Invited talk: Knowledge Bases That Can Answer Users’ Questions.
15:30 – 15:50
Conference Track Atharv Sonwane, Abhinav Lalwani, Sweta Mahajan, Gautam Shroff and Lovekesh Vig Neural Analogical Reasoning. |
|
16:00: – 17:00: NeSy Session 6 Location: Sandby Chair: Subramanian Ramamoorthy |
|---|
|
16:00 – 16:20
Conference Track Vishwa Shah, Aditya Sharma, Gautam Shroff, Lovekesh Vig, Tirtharaj Dash and Ashwin Srinivasan Knowledge-based Analogical Reasoning in Neuro-symbolic Latent Spaces.
16:20 – 16:40
Conference Track Oscar Javier Romero, Anthony Tomasic, Aaron Steinfeld and John Zimmerman Propositional Reasoning via Neural Transformer Language Models.
16:40 – 17:00
Conference Track Adam Dahlgren Lindström and Savitha Sam Abraham CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning. |
Friday 30th, 11:20 – 12:00 BST
|
11:20 – 12:00: NeSy Challenge Location: Sandby Chair: Pranava Madhyastha |
|---|
|
11:20 - 11:40
Pranava Madhyastha Towards a benchmark suite for neural-symbolic approaches for learning and reasoning.
11:40 - 12:00
Discussion. |