Sixth International Workshop on
Neural-Symbolic Learning and Reasoning

Workshop at AAAI-10, Atlanta, Georgia
Sunday, 11th of July, 2010

NeSy'05 took place at IJCAI-05, Edinburgh, Scotland, 1st of August 2005.
NeSy'06 took place at ECAI2006, Riva del Garda, Italy, 29th of August 2006.
NeSy'07 took place at IJCAI-07, Hydarabad, India, 8th of January 2007.
NeSy'08 took place at ECAI2008, Patras, Greece, 21st of July 2008.
NeSy'09 took place at IJCAI-09, Pasadena, California, 11th of July 2009.


09.00 - 10.00 Paul Thagard (University of Waterloo), How brains make mental models
10:00 - 10:30 Gadi Pinkas (Center for Academic Studies, Israel), Can neurons be logical? Revisiting FOL in symmetric ANN (slides)
coffee break
11:00 - 11:30 Leo de Penning, Artur d'Avila Garcez, Luis Lamb and John-Jules Meyer (TNO Defense Netherlands, City University London, UFRGS Brazil, Utrecht University), An Integrated Neural Symbolic Cognitive Agent Architecture for Training and Assessment in Simulators (slides)
11:30 - 12:00 Sihle Wilson, Ronald Benson and Tyshun Jones (Florida A&M University), Autonomous Passenger Retrieval System for Automobiles (slides)
12:00 - 12:30 Dragos Margineantu (Boeing, Seatle), Testing adaptive and learning models
quick lunch break - bring your sandwiches
13.00 - 14.00 Pedro Domingos (University of Washington), Markov logic networks (slides)
14.00 - 14.30 Kristian Kersting (University of Bonn), Statistical relational mining (slides)
14:30 - 17:00 Football World Cup Final
17:00 - 18:00 Discussion / Future Directions (slides)

Call for Papers and Presentation Abstracts

Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic computation bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges. Neural-symbolic systems combine the statistical nature of learning and the logical nature of reasoning.

The Workshop on Neural-Symbolic Learning and Reasoning is intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration. Topics of interest include:


Researchers and practitioners are invited to submit original papers that have not been submitted for review or published elsewhere. Submitted papers must be written in English and should not exceed 6 pages in the case of research and experience papers, and 3 pages in the case of position papers (including figures, bibliography and appendices) in AAAI-10 format as described in the AAAI-10 author instructions. Submissions are not anonymous. All submitted papers will be judged based on their quality, relevance, originality, significance, and soundness. Papers must be submitted via easychair in PDF format at

Interested parties can also submit half-page presentation abstracts, to be presented in a talk at the workshop.


Accepted papers and presentation abstracts will have to be presented during the workshop. The workshop will include extra time for audience discussion of the presentation allowing the group to have a better understanding of the issues, challenges and ideas being presented.


Accepted papers will be published in official workshop proceedings, which will be distributed during the workshop. Authors of the best papers will be invited to submit a revised and extended version of their papers to the Journal of Logic and Computation, Learning and Reasoning Corner.

Important Dates

Deadline for paper submission: March 29, 2010 April 5, 2010
Notification of paper acceptance: April 19, 2010
Deadline for presentation abstract (half page): April 30, 2010
Notification of abstract acceptance: May 7, 2010
Camera-ready paper due: April 26, 2010
Workshop date: July 11, 2010
AAAI-10 main conference dates: July 11th to 15th, 2010


The workshop is open to all members of the AI community, but the number of attendees may be limited. In case of exceeded capacity preference will be given to participants with papers selected for presentation.

Workshop Organisers

Artur d'Avila Garcez (City University London, UK)
Pascal Hitzler (Wright State University, Dayton, OH, U.S.A.)
Luis Lamb (Universidade Federal do Rio Grande do Sul, Brazil)

Programme Committee (tentative)

Sebastian Bader, University of Rostock, Germany
Howard Blair, Syracuse University, New York, U.S.A.
Claudia d'Amato, University of Bari, Italy
Ben Goertzel, Novamente LLC, U.S.A.
Barbara Hammer, TU Clausthal, Germany
Ioannis Hatzilygeroudis, University of Patras, Greece
Steffen Hölldobler, TU Dresden, Germany
Henrik Jacobsson, Google
Kristian Kersting, Fraunhofer IAIS, Sankt Augustin, Germany
Ekaterina Komendantskaya, Sophia Antipolis, France
Kai-Uwe Kühnberger, University of Osnabrück, Germany
Florian Roehrbein, Albert Einstein College of Medicine, New York, U.S.A.
Anthony K. Seda, University College Cork, Ireland
Hava Siegelmann, University of Massachusetts Amherst, U.S.A.
Ron Sun, Rensselaer Polytechnic Institute, New York, U.S.A.
Frank van der Velde, Leiden University, The Netherlands
Gerson Zaverucha, Federal University of Rio de Janeiro, Brazil

Additional Information

General questions concerning the workshop should be addressed to Artur d'Avila Garcez at
Please also feel free to join the neural-symbolic integration mailing list for announcements and discussions - it's a low traffic mailing list.