Abstract is missing.
- A New Concept for Explaining Graph Neural NetworksAnna Himmelhuber, Sonja Zillner, Stephan Grimm, Martin Ringsquandl, Mitchell Joblin, Thomas A. Runkler. 1-5 [doi]
- Neuro-Symbolic Constraint Programming for Structured PredictionPaolo Dragone, Stefano Teso, Andrea Passerini. 6-14 [doi]
- pix2rule: End-to-end Neuro-symbolic Rule LearningNuri Cingillioglu, Alessandra Russo. 15-56 [doi]
- Zero-shot Multi-Domain Dialog State Tracking Using Prescriptive RulesEdgar Altszyler, Pablo Brusco, Nikoletta Basiou, John Byrnes, Dimitra Vergyri. 57-66 [doi]
- Backpropagating through Markov Logic NetworksPatrick Betz, Mathias Niepert, Pasquale Minervini, Heiner Stuckenschmidt. 67-81 [doi]
- Elite BackProp: Training Sparse Interpretable NeuronsTheodoros Kasioumis, Joe Townsend, Hiroya Inakoshi. 82-93 [doi]
- Neural SemiringsPedro Zuidberg Dos Martires. 94-103 [doi]
- Explainable Diabetic Retinopathy Classification Based on Neural-Symbolic LearningSe-In Jang, Michael J. A. Girard, Alexandre H. Thiery. 104-114 [doi]
- Extending Real Logic with Aggregate FunctionsSamy Badreddine, Michael Spranger. 115-125 [doi]
- An Insect-Inspired Randomly, Weighted Neural Network with Random Fourier Features For Neuro-Symbolic Relational LearningJinyung Hong, Theodore P. Pavlic. 126-142 [doi]
- Using Neural Networks to Control Glut in the Active Logic MachineJustin D. Brody, Bobby Austin, Omar Khater, Christopher Maxey, Matthew D. Goldberg, Timothy Clausner, Darsana Josyula, Don Perlis. 143-153 [doi]
- Learning Arithmetic from Handwritten Images with the Aid of SymbolsDaniel L. Silver, Ahmed Galila. 154-164 [doi]
- RecT: A Recursive Transformer Architecture for Generalizable Mathematical ReasoningRohan Deshpande, Jerry Chen, Isabelle Lee. 165-175 [doi]
- Coherent and Consistent Relational Transfer Learning with Auto-encodersHarald Strömfelt, Luke Dickens, Artur d'Avila Garcez, Alessandra Russo. 176-192 [doi]