Abstract is missing.
- The Connection Graph Proof Procedure as a Logical-Connectionist Model of the MindRobert Kowalski. 1 [doi]
- Neural Sub-Symbolic ReasoningAndreas Wichert. 2-7 [doi]
- CABot3: A Simulated Neural Games AgentChristian R. Huyck, Roman V. Belavkin, Fawad Jamshed, Kailash Nadh, Peter J. Passmore, Emma Byrne, Dan Diaper. 8-13 [doi]
- Compact Crossbar Variable Binding for Neuro-Symbolic ComputationGadi Pinkas, Priscila M. V. Lima, Shimon Cohen. 14-18 [doi]
- Embedding Normative Reasoning into Neural Symbolic SystemsGuido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre. 19-24 [doi]
- Towards Developmental AI: The paradox of Ravenous Intelligent AgentsMichelangelo Diligenti, Marco Gori, Marco Maggini. 25-27 [doi]
- Extracting Argumentative Dialogues from the Neural Network that Computes the Dungean Argumentation SemanticsYoshiaki Goto, Wataru Makiguchi, Hajime Sawamura. 28-33 [doi]
- Visual Intelligence using Neural-Symbolic Learning and ReasoningLeo de Penning. 34-35 [doi]
- Neural-Symbolic Learning: How to Play SoccerSilvano Colombo Tosatto. 36-37 [doi]
- Extracting Both MofN Rules and if-then Rules from the Training Neural NetworksNorbert Tsopzé, Engelbert Mephu Nguifo, Gilbert Tindo. 38 [doi]
- SHERLOCK - An Interface for Neuro-Symbolic NetworksEkaterina Komendantskaya, Qiming Zhang. 39-40 [doi]