NeSy C

16 papers

YearTitle / Authors
2022CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning.
Adam Dahlgren Lindström, Savitha Sam Abraham
2022Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments.
Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, K. Brent Venable
2022Differentiable Rule Induction with Learned Relational Features.
Remy Kusters, Yusik Kim, Marine Collery, Christian de Sainte Marie, Shubham Gupta
2022ESC-Rules: Explainable, Semantically Constrained Rule Sets.
Martin Glauer, Robert West, Susan Michie, Janna Hastings
2022From Subsymbolic to Symbolic: A Blueprint for Investigation.
Joseph Pober, Michael Luck, Odinaldo Rodrigues
2022Grounding LTLf Specifications in Images.
Elena Umili, Roberto Capobianco, Giuseppe De Giacomo
2022Knowledge-based Analogical Reasoning in Neuro-symbolic Latent Spaces.
Vishwa Shah, Aditya Sharma, Gautam Shroff, Lovekesh Vig, Tirtharaj Dash, Ashwin Srinivasan
2022Learning Proof Path Selection Policies in Neural Theorem Proving.
Matthew Morris, Pasquale Minervini, Phil Blunsom
2022Logic Tensor Networks for Top-N Recommendation.
Tommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini
2022Modular Design Patterns for Neural-symbolic Integration: Refinement and Combination.
Till Mossakowski
2022Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation.
Qiming Bao, Alex Yuxuan Peng, Tim Hartill, Neset Tan, Zhenyun Deng, Michael Witbrock, Jiamou Liu
2022Neural Analogical Reasoning.
Atharv Sonwane, Abhinav Lalwani, Sweta Mahajan, Gautam Shroff, Lovekesh Vig
2022Proceedings 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, UK, September 28-30, 2022.
Artur S. d'Avila Garcez, Ernesto Jiménez-Ruiz
2022Propositional Reasoning via Neural Transformer Language Models.
Oscar J. Romero, Anthony Tomasic, Aaron Steinfeld, John Zimmerman
2022Towards Educating Artificial Neural Systems.
Simon Colton
2022Visual Sudoku Puzzle Classification: A Suite of Collective Neuro-Symbolic Tasks.
Eriq Augustine, Connor Pryor, Charles Dickens, Jay Pujara, William Yang Wang, Lise Getoor