| Vol-764 urn:nbn:de:0074-764-7 Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# NeSy'11
Neural-Symbolic Learning and Reasoning 2011

### Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning

### Barcelona, Spain, July 17, 2011.

Edited by

### Artur d'Avila Garcez *
Pascal Hitzler **
Luis Lamb ***

* City University London, UK
** Kno.e.sis Center, Wright State University, Dayton, OH, U.S.A.
*** Universidade Federal do Rio Grande do Sul, Brazil

## Table of Contents

1. The Connection Graph Proof Procedure as a Logical-Connectionist Model of the Mind 1
   Robert Kowalski
2. Neural Sub-Symbolic Reasoning 2-7
   Andreas Wichert
3. CABot3: A Simulated Neural Games Agent 8-13
   Christian Huyck, Roman Belavkin, Fawad Jamshed, Kailash Nadh, Peter Passmore, Emma Byrne, Dan Diaper
4. Compact Crossbar Variable Binding for Neuro-Symbolic Computation 14-18
   Gadi Pinkas, Priscila Lima, Shimon Cohen
5. Embedding Normative Reasoning into Neural Symbolic Systems 19-24
   Guido Boella, Silvano Colombo Tosatto, Artur d'Avila Garcez, Valerio Genovese, Leon Van Der Torre
6. Towards Developmental AI: The paradox of Ravenous Intelligent Agents 25-27
   Michelangelo Diligenti, Marco Gori, Marco Maggini
7. Extracting Argumentative Dialogues from the Neural Network that Computes the Dungean Argumentation Semantics 28-33
   Yoshiaki Gotou, Wataru Makiguchi, Hajime Sawamura
8. Visual Intelligence using Neural-Symbolic Learning and Reasoning 34-35
   Leo de Penning
9. Neural-Symbolic Learning: How to Play Soccer 36-37
   Silvano Colombo-Tosatto
10. Extracting Both MofN Rules and if-then Rules from the Training Neural Networks 38
    Norbert Tsopze, Engelbert Mephu Nguifo, Gilbert Tindo
11. SHERLOCK - An Interface for Neuro-Symbolic Networks 39-40
    Ekaterina Komendantskaya, Qiming Zhang

Full proceedings as single pdf file.

04-Aug-2011: submitted by Pascal Hitzler
04-Aug-2011: published on CEUR-WS.org