NeSy'16
Eleventh International Workshop on
Neural-Symbolic Learning and Reasoning

Workshop at HLAI 2016, New York City, USA
July 16-17, 2016

Previous events in the series:
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.
NeSy'10 took place at AAAI-10, Atlanta, Georgia, 11th of July 2010.
NeSy'11 took place at IJCAI-11, Barcelona, Catalonia (Spain), 17th of July 2011.
NeSy'12 took place at AAAI-12, Toronto, Ontaria, Canada, 23rd of July 2012.
NeSy'13 took place at IJCAI-13, Beijing, China, 5th of August 2013.
NeSy'15 took place at IJCAI-15, Buenos Aires, Argentina, 27th of July 2015.

Pre-Proceedings

Pre-Proceedings - all papers/abstracts (pdf)

Keynote Speakers

Leon Bottou, Facebook AI Research.
Gary F. Marcus, New York University (NYU) & Geometric Intelligence, Inc.

Invited Speakers

Andrea Passerini, University of Trento.
Thomas Trappenberg, Dalhousie University.

Registration

Registration is handled via the Online Store of the City University London.

Early-bird registration is open until June 25, 2016, at a price of 75,- GBP (approx. US$110). Late registration from June 26, 2016, is possible at a price of 125,- GBP (approx. US$180).

Registration for NeSy'16 covers the participation in the workshop itself and the indicated keynote lectures, as well as an entrance ticket to the general HLAI 2016 reception and poster session on the evening of July 17, 2016.

Please follow this link to the registration page for NeSy'16, the 11th International Workshop on Neural-Symbolic Learning and Reasoning.

Workshop Location

As part of HLAI 2016, NeSy'16 is hosted by THE NEW SCHOOL at the University Center, 63 Fifth Avenue, New York, NY.

Workshop Schedule

Saturday, July 16, 2016:

14:00 - 14:30: Welcome
14:30 - 15:30: Keynote lecture Leon Bottou: Rereading "Perceptrons"
15:30 - 16:00: Coffee break
16:00 - 16:30: Contributed paper presentation L. Serafini and A. d'Avila Garcez: "Logic Tensor Networks - Deep Learning and Logical Reasoning from Data and Knowledge"
16:30 - 17:00: Contributed paper presentation T. Ager, O. Kuzelka, and S. Schockaert: "Inducing Symbolic Rules from Entity Embeddings using Auto-encoders"
17:00 - 18:00: Invited presentation Andrea Passerini: Learning Modulo Theory - Reasoning and Learning in Hybrid Domains

Sunday, July 17, 2016:

09:00 - 10:00: Joint HLAI keynote lecture Gary F. Marcus
10:00 - 10:30: Coffee break
10:30 - 11:30: Invited presentation Thomas Trappenberg: Deep Learning with Shared Concept Space
11:30 - 12:00: Contributed paper presentation F. van der Velde: "Learning sequential control in a Neural Blackboard Architecture for in situ concept reasoning"
12:00 - 12:30: Contributed paper presentation D. Patten and H. Blair: "Heterotic Continuous Time Real-valued/Boolean-valued Networks"
12:30 - 14:00: Lunch break
14:00 - 15:00: Joint HLAI keynote lecture David Aha
15:00 - 15:30: Coffee break
15:30 - 16:00: Contributed paper presentation E. De S. Mota and Y. B. Diniz: "Shared Multi-Space Representation for Neural-Symbolic Reasoning"
16:00 - 16:30: Contributed paper presentation B. Grosof: "High-Power Logical Representation via Rulelog, for Neural-Symbolic"
16:30 - 17:00: Contributed paper presentation O. Yilmaz, A. d'Avila Garcez, and D. Silver: "A Proposal for Common Dataset in Neural-Symbolic Reasoning Studies"
17:00 - 17:30: Closing discussion
17:30 - 18:00: Break
18:00 - 20:00: Joint HLAI poster session/reception

NeSy'16 Sponsors

City University London — Research Centre for Machine Learning

Association Neural-Symbolic Learning and Reasoning

Lodging

Some recommendations concerning hotels and other accommodation options can be found following this link.

Call for Papers

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 integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.

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 but are not limited to:

The representation of symbolic knowledge by connectionist systems;
Neural Learning theory;
Integration of logic and probabilities, e.g., in neural networks, but also more generally;
Structured learning and relational learning in neural networks;
Logical reasoning carried out by neural networks;
Integrated neural-symbolic approaches;
Extraction of symbolic knowledge from trained neural networks;
Integrated neural-symbolic reasoning;
Neural-symbolic cognitive models;
Biologically-inspired neural-symbolic integration;
Applications in robotics, simulation, fraud prevention, natural language processing, semantic web, software engineering, fault diagnosis, bioinformatics, visual intelligence, etc.

Publication

Accepted papers will be published in official workshop proceedings within the CEUR-Ws.org series. Authors of the best papers will be invited to submit a revised and extended version of their papers to the newly-established corresponding special track of the Journal of Artificial Intelligence Research (JAIR).
Accepted abstracts will also be included in the official workshop proceedings. If judged appropriate after presentation and discussion during the workshop, full papers based on the abstracts may also be invited to the JAIR track.

Important Dates

Deadline for paper submission (EXTENDED): May 29, 2016
Notification of paper acceptance/rejection: June 15, 2016
Deadline for abstract submission: June 20, 2016
Notification of abstract acceptance/rejection: June 24, 2016
Camera-ready paper due: July 1, 2016
Workshop date: July 16-17, 2016
HLAI 2016 conference: July 16-19, 2016

Admission

The workshop is open to anybody, registration information will be available from this website soon.

Workshop Organisers

Tarek R. Besold (Free University of Bozen-Bolzano, Italy)
Luis Lamb (Universidade Federal do Rio Grande do Sul, Brazil)
Luciano Serafini (Fondazione Bruno Kessler, Italy)
Whitney Tabor (University of Connecticut, U.S.A.)

Programme Committee

Antoine Bordes, Facebook AI Research, U.S.A.
Artur D'Avila Garcez, City University London, UK
James Davidson, Google Inc., U.S.A.
Robert Frank, Yale University, U.S.A.
Ross Gayler, Melbourne, Australia
Ramanathan Guha, Google Inc., U.S.A.
Steffen Hoelldobler, Technical University of Dresden, Germany
Thomas Icard, Stanford University, U.S.A.
Kristian Kersting, Technical University of Dortmund, Germany
Kai-Uwe Kuehnberger, University of Osnabrueck, Germany
Simon Levy, Washington and Lee University, U.S.A.
Stephen Muggleton, Imperial College London, UK
Isaac Noble, Google Inc., U.S.A.
Andrea Passerini, University of Trento, Italy
Christopher Potts, Stanford University, U.S.A.
Daniel L. Silver, Acadia University, Canada
Ron Sun, Rensselaer Polytechnic Institute, U.S.A.
Jakub Szymanik, University of Amsterdam, The Netherlands
Serge Thill, University of Skovde, Sweden
Michael Witbrock, Cycorp & Lucid.ai, U.S.A.
Frank van der Velde, University of Twente, The Netherlands

Additional Information

General questions concerning the workshop should be addressed to Tarek R. Besold at TarekRichard.Besold@unibz.it.
Further information concerning the overall HLAI 2016 event is available from the official HLAI webpage or from the HLAI 2016 Facebook page.
Please also feel free to join the neural-symbolic integration mailing list for announcements and discussions - it's a low traffic mailing list.
Finally, you might want to have a look at other resources and information related to neural-symbolic integration collected on www.neural-symbolic.org.

NeSy'16Eleventh International Workshop onNeural-Symbolic Learning and Reasoning