23-24 Aug 2018
Prague, Czech Republic
== Neural-Symbolic Learning and Reasoning (NeSy) 2018 @ HLAI 2018 == Executive Summary: - What: 13th Intl. Workshop on Neural-Symbolic Learning and Reasoning - When: August 23/24, 2018 - Where: Prague, CZ - Website: http://www.neural-symbolic.org/NeSy18/ - Collocated with: Human-Level AI 2018 (https://www.hlai-conf.org/) == LATE BREAKING PAPER SUBMISSION == The submission system for late breaking papers has come online at EasyChair: https://easychair.org/conferences/?conf=nesy18. Submissions are reviewed on a rolling basis until the final submission deadline. == Keynote Speakers == - Hava Siegelmann, DARPA & University of Massachusetts Amherst. - Paul Smolensky, Johns Hopkins University & Microsoft Research - Luciano Serafini, Fondazione Bruno Kessler. - Thomas Lukasiewicz, University of Oxford - Simo Dragicevic, CEO, BetBuddy Ltd. == The Event == 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 but are not limited to: - 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 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. == Presentation == 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. == Publication == 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. == Submission Format == Researchers and practitioners are invited to submit original papers that have not been submitted for review or published elsewhere: 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. Please submit your article on EasyChair: https://easychair.org/conferences/?conf=nesy18. == Important Dates == Deadline for full paper submission (CLOSED): June 18, 2018 Notification of acceptance/rejection (full papers): July 5, 2018 Deadline for late breaking paper submission (OPEN): August 1, 2018 Notification of acceptance/rejection (late breaking papers): on continuous basis, latest by August 8, 2018 Workshop dates: August 23-24, 2018 == Additional Information == General questions concerning NeSy'19 should be addressed to Tarek R. Besold at Tarek-R.Besold@city.ac.uk. -- [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