<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">=== Call for Participation for the ===<br><br>10th International Workshop on<br>Neural-Symbolic Learning and Reasoning (NeSy’15)<br>July 27, 2015 - <a href="http://www.neural-symbolic.org/NeSy15/">http://www.neural-symbolic.org/NeSy15/</a><br> <br>(Held in conjunction with IJCAI-15, Buenos Aires, Argentina, http://www.ijcai-15.org/)<br> <div><br></div><div><br></div><div>=== The Workshop's Mission Statement ===</div><div><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. Topics of interest include:<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 learning 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></div><div> <br><br>=== Keynote Speakers of NeSy'15 ===<br><br>Dan Roth, University of Illinois at Urbana-Champaign.<br>Gary F. Marcus, New York University (NYU).<br><br></div><div><br><br>=== Workshop Schedule (July 27, 2015) ===<br><br>09:00 - 09:30: Opening, welcome, short introductory round<br>09:30 - 10:10: Invited paper presentation George Konidaris et al.: "Symbol Acquisition for Probabilistic High-Level Planning"<br>10:10 - 10:40: Contributed paper presentation Rodrigo de Salvo Braz et al.: "Probabilistic Inference Modulo Theories"<br><br>10:40 - 11:00: Coffee break<br><br>11:00 - 12:00: Keynote lecture Gary Marcus<br>12:00 - 12:40: Invited paper presentation Dana Angluin et al.: "Learning Regular Languages via Alternating Automata"<br><br>12:40 - 14:00: Lunch break<br><br>14:00 - 15:00: Keynote lecture Dan Roth<br>15:00 - 15:30: Contributed paper presentation Luis Palacios et al.: "A Connectionist Network for Skeptical Abduction"<br><br>15:30 - 16:00: Coffee break<br><br>16:00 - 16:30: Contributed paper presentation Tarek R. Besold: "Same same, but different? Exploring differences in complexity between logic and neural networks"<br>16:30 - 17:00: Contributed paper presentation Ondrej Vadinsky: "Towards an Artificially Intelligent System: Possibilities of General Evaluation of Hybrid Paradigm"<br>17:00 - 17:30: Closing discussion<br>17:30: Farewell, end of workshop<br><br>17:40 - 18:00: Association Neural-Symbolic Learning and Reasoning (NeSy) Business Meeting<br><br>Evening: Dinner and drinks with interested workshop participants (self-pay)<br><br></div><div><br><br>=== Workshop Organizers ===<br><br>Tarek R. Besold (Institute of Cognitive Science, University of Osnabrueck, Germany)<br>Thomas Icard (Stanford University, U.S.A.)<br>Luis Lamb (Universidade Federal do Rio Grande do Sul, Brazil)<br>Risto Miikulainen (University of Texas at Austin, U.S.A.)<br><br><div><br></div><div><br>=== Program Committee ===<br><br>Artur D'Avila Garcez, City University London, UK <br>Ross Gayler, Melbourne, Australia <br>Ramanathan V. Guha, Google Inc., U.S.A. <br>Pascal Hitzler, Wright State University, U.S.A. <br>Steffen Hoelldobler, Technical University of Dresden, Germany <br>Frank Jaekel, University of Osnabrueck, Germany <br>Kai-Uwe Kuehnberger, University of Osnabrueck, Germany <br>Christopher Potts, Stanford University, U.S.A. <br>Ron Sun, Rensselaer Polytechnic Insitute, U.S.A. <br>Jakub Szymanik, University of Amsterdam, The Netherlands <br>Gerson Zaverucha, Federal University of Rio de Janeiro, Brazil<br><br><br><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>~~~~~~~~~~~~~~~~~~~~~~~~~~~~</div><div><br></div><div>Tarek R. Besold</div><div>Institute of Cognitive Science</div><div>University of Osnabrück (Germany)</div><div>tarek.besold@uni-osnabrueck.de</div><div><a href="https://sites.google.com/site/tarekbesold/">https://sites.google.com/site/tarekbesold/</a></div></div></span></div></span></div></span></div></span></div></span></span>
</div>
<br></div></div></body></html>