![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
NeSy 2022: Cumberland Lodge, Windsor Great Park, UK
- Artur S. d'Avila Garcez, Ernesto Jiménez-Ruiz:
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, UK, September 28-30, 2022. CEUR Workshop Proceedings 3212, CEUR-WS.org 2022 - Tommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini:
Logic Tensor Networks for Top-N Recommendation. 1-14 - Eriq Augustine, Connor Pryor, Charles Dickens, Jay Pujara, William Yang Wang, Lise Getoor:
Visual Sudoku Puzzle Classification: A Suite of Collective Neuro-Symbolic Tasks. 15-29 - Remy Kusters, Yusik Kim, Marine Collery, Christian de Sainte Marie, Shubham Gupta:
Differentiable Rule Induction with Learned Relational Features. 30-44 - Elena Umili, Roberto Capobianco, Giuseppe De Giacomo:
Grounding LTLf Specifications in Images. 45-63 - Matthew Morris, Pasquale Minervini, Phil Blunsom:
Learning Proof Path Selection Policies in Neural Theorem Proving. 64-87 - Joseph Pober, Michael Luck, Odinaldo Rodrigues:
From Subsymbolic to Symbolic: A Blueprint for Investigation. 88-93 - Martin Glauer, Robert West, Susan Michie, Janna Hastings:
ESC-Rules: Explainable, Semantically Constrained Rule Sets. 94-103 - Oscar J. Romero, Anthony Tomasic, Aaron Steinfeld, John Zimmerman:
Propositional Reasoning via Neural Transformer Language Models. 104-119 - Atharv Sonwane, Abhinav Lalwani, Sweta Mahajan, Gautam Shroff, Lovekesh Vig:
Neural Analogical Reasoning. 120-141 - Vishwa Shah, Aditya Sharma, Gautam Shroff, Lovekesh Vig, Tirtharaj Dash, Ashwin Srinivasan:
Knowledge-based Analogical Reasoning in Neuro-symbolic Latent Spaces. 142-154 - Adam Dahlgren Lindström, Savitha Sam Abraham:
CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning. 155-170 - Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable:
Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments. 171-185 - Simon Colton:
Towards Educating Artificial Neural Systems. 186-191 - Till Mossakowski:
Modular Design Patterns for Neural-symbolic Integration: Refinement and Combination. 192-201 - Qiming Bao, Alex Yuxuan Peng, Tim Hartill, Neset Tan, Zhenyun Deng, Michael Witbrock, Jiamou Liu:
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation. 202-217
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.