<div dir="ltr">

<span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">== Neural-Symbolic Learning and Reasoning (</span><span class="gmail-m_-2436132722210731805gmail-il" style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial">NeSy</span><span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">) 2018 @ HLAI 2018 ==</span><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">Executive Summary:</span><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">- What: 13th Intl. Workshop on Neural-Symbolic Learning and Reasoning</span><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">- When: August 23/24, 2018</span><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">- Where: Prague, CZ</span><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">- Website:<span> </span></span><a href="http://www.neural-symbolic.org/NeSy18/" target="_blank" style="color:rgb(17,85,204);font-size:12.8px">http://www.neural-<wbr>symbolic.org/NeSy18/</a><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">- Collocated with: Human-Level AI 2018 (</span><a href="https://www.hlai-conf.org/" target="_blank" style="color:rgb(17,85,204);font-size:12.8px">https://www.hlai-conf.org/</a><span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">)</span><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"> <span> </span></span><br style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><span style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">== LATE BREAKING PAPER SUBMISSION ==</span><div style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><br></div><div style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial">The submission system for late breaking papers has come online at EasyChair:<span> </span><a href="https://easychair.org/conferences/?conf=nesy18" target="_blank" style="color:rgb(17,85,204)">https://easychair.org/<wbr>conferences/?conf=nesy18</a>. Submissions are reviewed on a rolling basis until the final submission deadline.<br> </div><div style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial"><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.</div><div style="font-size:12.8px;text-decoration-style:initial;text-decoration-color:initial">Please submit your article on EasyChair: <a href="https://easychair.org/conferences/?conf=nesy18" target="_blank" style="color:rgb(17,85,204)">https://easychair.<wbr>org/conferences/?conf=nesy18</a>.<br><br><br>== Important Dates ==<br><br>Deadline for full paper submission (CLOSED): June 18, 2018<br>Notification of acceptance/rejection (full papers): July 5, 2018<br>Deadline for late breaking paper submission (OPEN): 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<span> </span><span class="gmail-m_-2436132722210731805gmail-il">NeSy</span>'19 should be addressed to Artur d'Avila Garcez (<a href="mailto:A.Garcez@city.ac.uk">A.Garcez@city.ac.uk</a>) and Tarek R. Besold<span> (<a href="mailto:Tarek-R.Besold@city.ac.uk">Tarek-R.Besold@city.ac.uk</a></span>).</div>

<br></div>