Abstract is missing.
- Logic Tensor Networks for Top-N RecommendationTommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini. 1-14 [doi]
- Visual Sudoku Puzzle Classification: A Suite of Collective Neuro-Symbolic TasksEriq Augustine, Connor Pryor, Charles Dickens, Jay Pujara, William Yang Wang, Lise Getoor. 15-29 [doi]
- Differentiable Rule Induction with Learned Relational FeaturesRemy Kusters, Yusik Kim, Marine Collery, Christian de Sainte Marie, Shubham Gupta. 30-44 [doi]
- Grounding LTLf Specifications in ImagesElena Umili, Roberto Capobianco, Giuseppe De Giacomo. 45-63 [doi]
- Learning Proof Path Selection Policies in Neural Theorem ProvingMatthew Morris, Pasquale Minervini, Phil Blunsom. 64-87 [doi]
- From Subsymbolic to Symbolic: A Blueprint for InvestigationJoseph Pober, Michael Luck, Odinaldo Rodrigues. 88-93 [doi]
- ESC-Rules: Explainable, Semantically Constrained Rule SetsMartin Glauer, Robert West, Susan Michie, Janna Hastings. 94-103 [doi]
- Propositional Reasoning via Neural Transformer Language ModelsOscar J. Romero, Anthony Tomasic, Aaron Steinfeld, John Zimmerman. 104-119 [doi]
- Neural Analogical ReasoningAtharv Sonwane, Abhinav Lalwani, Sweta Mahajan, Gautam Shroff, Lovekesh Vig. 120-141 [doi]
- Knowledge-based Analogical Reasoning in Neuro-symbolic Latent SpacesVishwa Shah, Aditya Sharma, Gautam Shroff, Lovekesh Vig, Tirtharaj Dash, Ashwin Srinivasan 0001. 142-154 [doi]
- CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical ReasoningAdam Dahlgren Lindström, Savitha Sam Abraham. 155-170 [doi]
- Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained EnvironmentsMarianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable. 171-185 [doi]
- Towards Educating Artificial Neural SystemsSimon Colton. 186-191 [doi]
- Modular Design Patterns for Neural-symbolic Integration: Refinement and CombinationTill Mossakowski. 192-201 [doi]
- Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution GeneralisationQiming Bao 0001, Alex Yuxuan Peng, Tim Hartill, Neset Tan, Zhenyun Deng, Michael Witbrock, Jiamou Liu. 202-217 [doi]