Logic List Mailing Archive

NeSy 2016: Neural-Symbolic Learning and Reasoning

16-17 Jul 2016
New York NY, U.S.A.

== 11th INTERNATIONAL WORKSHOP ON NEURAL-SYMBOLIC LEARNING AND REASONING (NeSy?16) ==

Location: New York City, USA
Date: July 16 & 17, 2016
Website: http://www.neural-symbolic.org/NeSy16/ <http://www.neural-symbolic.org/NeSy16/>

---------------
NeSy?16 is part of HLAI 2016, the Joint Multi-Conference on Human-Level 
Artificial Intelligence (http://www.hlai2016.org 
<http://www.hlai2016.org/>)
---------------



== REGISTRATION ==

Registration is handled via the Online Store of the City University London 
and 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 go to http://www.neural-symbolic.org/NeSy16/ 
<http://www.neural-symbolic.org/NeSy16/> in order to register for NeSy?16.



== KEYNOTE SPEAKERS ==

Leon Bottou                       (Facebook AI Research, U.S.A.)
Gary Marcus                      (New York University & Geometric Intelligence Inc., U.S.A.)



== INVITED SPEAKERS ==

Andrea Passerini               (University of Trento, Italy)
Thomas Trappenberg        (Dalhousie University, Canada)



== WORKSHOP TOPIC ==

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



== Workshop Organisers ==

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

== 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 Hölldobler		(TU Dresden, Germany)
Thomas Icard			(Stanford University, U.S.A.)
Kristian Kersting		(TU Dortmund, Germany)
Kai-Uwe Kühnberger	(Universität Osnabrück, 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 
TarekRichard.Besold@unibz.it <mailto:TarekRichard.Besold@unibz.it>. For 
additional information, please see the workshop website at 
http://www.neural-symbolic.org/NeSy16/ 
<http://www.neural-symbolic.org/NeSy16/>. For additional information on 
HLAI 2016 in general, please see the general website at 
http://www.hlai2016.org <http://www.hlai2016.org/> or the HLAI 2016 
Facebook page at http://www.facebook.com/hlaiconference/ 
<http://www.facebook.com/hlaiconference/>. The neural-symbolic integration 
mailing list will be used for announcements and discussions.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam