<div dir="ltr">

== Neural-Symbolic Learning and Reasoning (NeSy) 2018 @ HLAI 2018 ==<br><br><br>Executive Summary:<br><br><div>- 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><div>- Collocated with: Human-Level AI 2018 (<a href="https://www.hlai-conf.org/">https://www.hlai-conf.org/</a>)<br><div>  <br></div><div><br></div><div>== Keynote Speakers ==</div><div><br></div>- Hava Siegelmann, DARPA & University of Massachusetts Amherst.<br>

<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">- Paul Smolensky, Johns Hopkins University & Microsoft Research</span>

<br></div><div>- Luciano Serafini, Fondazione Bruno Kessler.<br>- Thomas Lukasiewicz, University of Oxford<br>

<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">- Simo Dragicevic, CEO, BetBuddy Ltd.</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">

<br><div><br></div><div>== The Workshop ==<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><br></div><div>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><br></div><div>== 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: June 11, 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</div><div><br></div><div><br></div><div>== Additional Information ==</div><div><br></div><div>General questions concerning the workshop 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></div></div>