[CEUR Workshop Proceedings] Vol-763⫷ Vol-764 ⫸Vol-765
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