NeSy'15
Tenth International Workshop on
Neural-Symbolic Learning and Reasoning

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.

Keynote Speakers

Dan Roth, University of Illinois at Urbana-Champaign.
Gary F. Marcus, New York University (NYU).

Workshop Proceedings

Proceedings - all papers (.pdf)

Workshop Schedule

• 09:00 - 09:30: Opening, welcome, short introductory round
• 09:30 - 10:10: Invited paper presentation George Konidaris et al.: "Symbol Acquisition for Probabilistic High-Level Planning"
• 10:10 - 10:40: Contributed paper presentation Rodrigo de Salvo Braz et al.: "Probabilistic Inference Modulo Theories"
• 10:40 - 11:00: Coffee break
• 11:00 - 12:00: Keynote lecture Gary Marcus
• 12:00 - 12:40: Invited paper presentation Dana Angluin et al.: "Learning Regular Languages via Alternating Automata"
• 12:40 - 14:00: Lunch break
• 14:00 - 15:00: Keynote lecture Dan Roth
• 15:00 - 15:30: Contributed paper presentation Luis Palacios et al.: "A Connectionist Network for Skeptical Abduction"
• 15:30 - 16:00: Coffee break
• 16:00 - 16:30: Contributed paper presentation Tarek R. Besold: "Same same, but different? A research program exploring differences in complexity between logic and neural networks"
• 16:30 - 17:00: Contributed paper presentation Ondrej Vadinsky: "Towards an Artificially Intelligent System: Possibilities of General Evaluation of Hybrid Paradigm"
• 17:00 - 17:30: Closing discussion
• 17:30: Farewell, end of workshop
• 17:40 - 18:00: Association Neural-Symbolic Learning and Reasoning (NeSy) Business Meeting
• Evening: Dinner and drinks with interested workshop participants (self-pay)

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:

• 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.

Submission

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, or 4 pages in the case of position papers (including figures, bibliography and appendices). All submitted papers will be judged based on their relevance, originality, significance, technical quality and organisation. Papers must be submitted through EasyChair at https://easychair.org/conferences/?conf=nesy15.

Presentation

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

Publication

Accepted papers will be published in official workshop proceedings (which will be distributed during the workshop) and will be made available from this webpage. 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, Oxford University Press.

Important Dates

Deadline for paper submission: May 06, 2015
Notification of paper acceptance: May 27, 2015
Camera-ready paper due: June 14, 2015
Workshop date: July 27, 2015
IJCAI-15 main conference: July 25-31, 2015

Admission

The workshop is open to anybody, please register via IJCAI-15.

Workshop Organisers

Tarek R. Besold (Institute of Cognitive Science, University of Osnabrueck, Germany)
Thomas Icard (Stanford University, U.S.A.)
Luis Lamb (Universidade Federal do Rio Grande do Sul, Brazil)
Risto Miikulainen (University of Texas at Austin, U.S.A.)

Programme Committee

Artur D'Avila Garcez, City University London, UK
Ross Gayler, Melbourne, Australia
Ramanathan V. Guha, Google Inc., U.S.A.
Pascal Hitzler, Wright State University, U.S.A.
Steffen Hoelldobler, Technical University of Dresden, Germany
Frank Jaekel, University of Osnabrueck, Germany
Kai-Uwe Kuehnberger, University of Osnabrueck, Germany
Christopher Potts, Stanford University, U.S.A.
Ron Sun, Rensselaer Polytechnic Insitute, U.S.A.
Jakub Szymanik, University of Amsterdam, The Netherlands
Gerson Zaverucha, Federal University of Rio de Janeiro, Brazil

Additional Information

General questions concerning the workshop should be addressed to Luis Lamb at LuisLamb@acm.org.
Please also feel free to join the neural-symbolic integration mailing list for announcements and discussions - it's a low traffic mailing list.