Logic List Mailing Archive

NeSy 2015: Neural-Symbolic Learning and Reasoning

25-27 Jul 2015
Buenos Aires, Argentina

== 10th INTERNATIONAL WORKSHOP ON NEURAL-SYMBOLIC LEARNING AND REASONING (NeSy?15) ==

July 25, 26, or 27, 2015
In conjunction with IJCAI-15 (Buenos Aires, Argentina)


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.


== 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, use the IJCAI style, and should not 
exceed 6 pages in the case of research and experience papers, and 4 pages 
in the case of position papers (including figures, bibliography and 
appendices). All submitted papers will be judged based on their quality, 
relevance, originality, significance, and soundness. Papers must be 
submitted through EasyChair (please see 
http://www.neural-symbolic.org/NeSy15/ for details).


== PRESENTATION ==

Selected papers will 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.


== PUBLICATION ==

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.


== IMPORTANT DATES ==

Deadline for submission: April 27, 2015
Notification of acceptance: May 20, 2015
Camera-ready paper due: May 30, 2015
Workshop day: July 25, 26, or 27, 2015
IJCAI-14 main conference dates: July 28-31, 2015


== WORKSHOP ORGANIZERS ==

Tarek Besold       		(Universität Osnabrück, Germany)
Thomas Icard		(Stanford University, USA)
Luis Lamb			(Universidade Federal do Rio Grande do Sul, Brazil)
Risto Miikkulainen	(The University of Texas at Austin, USA)


== PROGRAMME COMMITTEE ==

Artur d?Avila Garcez		(City University London, UK)
Ross Gayler				(Melbourne, Australia)
Ramanathan V. Guha		(Google Inc., USA)
Pascal Hitzler			(Wright State University, USA)
Steffen Hölldobler		(TU Dresden, Germany)
Frank Jäkel				(Universität Osnabrück, Germany)
Kai-Uwe Kühnberger		(Universität Osnabrück, Germany)
Alan Perotti				(University of Turin, Italy)
Christopher Potts			(Stanford University, USA)
Ron Sun				(Rensselaer Polytechnic Institute, USA)
Jakub Szymanik			(University of Amsterdam, The Netherlands)
Gerson Zaverucha 		(Federal University of Rio de Janeiro, Brazil)


== KEYNOTE SPEAKER ==

Dan Roth			(University of Illinois at Urbana-Champaign, USA)


== ADDITIONAL INFORMATION ==

General questions concerning the workshop should be addressed to Luis Lamb at LuisLamb@acm.org
For additional information, please see the workshop website at http://www.neural-symbolic.org/NeSy15/
The neural-symbolic integration mailing list will be used for announcements and discussions.


~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Tarek R. Besold
Institute of Cognitive Science
University of Osnabrück (Germany)
tbesold@uni-osnabrueck.de