<div dir="ltr">


















== Neural-Symbolic Learning and Reasoning (NeSy) 2018 @ HLAI 2018 ==<br><br><br>Executive Summary:<br><br>- What: 13th Intl. Workshop on Neural-Symbolic Learning and Reasoning<br>- When: August 23/24, 2018<br>- Where: Prague, CZ<br>- Website: <a href="http://www.neural-symbolic.org/NeSy18/">http://www.neural-symbolic.org/NeSy18/</a><br>- Collocated with: Human-Level AI 2018 (<a href="https://www.hlai-conf.org/">https://www.hlai-conf.org/</a>)<br><br>  <br>== EXTENDED DEADLINE ==<div><br></div><div>The submission deadline for full papers has been extended by one week, i.e., until June 18, 2018.<br> </div><div><br><br>== Keynote Speakers ==<br><br>- Hava Siegelmann, DARPA & University of Massachusetts Amherst.<br>- Paul Smolensky, Johns Hopkins University & Microsoft Research<br>- Luciano Serafini, Fondazione Bruno Kessler.<br>- Thomas Lukasiewicz, University of Oxford<br>- Simo Dragicevic, CEO, BetBuddy Ltd.<br><br> <br><br>== The Event ==<br><br>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.<br><br>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.<br><br>Topics of interest include but are not limited to:<br><br>- The representation of symbolic knowledge by connectionist systems;<br>- Neural Learning theory;<br>- Integration of logic and probabilities, e.g., in neural networks, but also more generally;<br>- Structured learning and relational learning in neural networks;<br>- Logical reasoning carried out by neural networks;<br>- Integrated neural-symbolic approaches;<br>- Extraction of symbolic knowledge from trained neural networks;<br>- Integrated neural-symbolic reasoning;<br>- Neural-symbolic cognitive models;<br>- Biologically-inspired neural-symbolic integration;<br>- Applications in robotics, simulation, fraud prevention, natural language processing, semantic web, software engineering, fault diagnosis, bioinformatics, visual intelligence, etc.<br><br><br>== Presentation ==<br><br>Accepted full and late breaking papers will be presented during the workshop. The workshop will include extra time for discussion of the presentations allowing the group to have a better understanding of the issues, challenges, and ideas being presented.<br><br><br>== Publication ==<br><br>Accepted full papers will be published in a post-workshop volume of the IfCoLog Journal of Applied Logic (JAL). For the inclusion of accepted late breaking papers, a second in-depth review will be required following the workshop.<br><br>== Submission Format ==<br><br>Researchers and practitioners are invited to submit original papers that have not been submitted for review or published elsewhere:<br><br>Authors of contributed papers are encouraged to use the LaTex article style, a 12pt font, and to submit a paper with no more than 12 pages plus references.<br>Papers should be submitted as electronic attachments in pdf format by email to the College Publications managing director, Ms Jane Spurr (<a href="mailto:jal@kcl.ac.uk">jal@kcl.ac.uk</a>). The email message should include the author(s) names and affiliations, the title of the paper and the name of the NeSy'18 co-chair best suited to handle the submission. Please use the phrase "NeSy18 JAL submission" in the subject line.<br><br><br>== Important Dates ==<br><br>Deadline for full paper submission (EXTENDED): June 18, 2018<br>Notification of acceptance/rejection (full papers): July 5, 2018<br>Deadline for late breaking paper submission: August 1, 2018<br>Notification of acceptance/rejection (late breaking papers): on continuous basis, latest by August 8, 2018<br>Workshop dates: August 23-24, 2018<br><br> <br><br>== Additional Information ==<br><br>General questions concerning NeSy'19 should be addressed to Tarek R. Besold at <a href="mailto:Tarek-R.Besold@city.ac.uk">Tarek-R.Besold@city.ac.uk</a>.</div></div>