Connectionists: Call for Participation: NeSy'15, the 10th International Workshop on Neural-Symbolic Learning and Reasoning (@IJCAI-15)

[Tarek R. Besold]

=== Call for Participation for the ===

10th International Workshop on
Neural-Symbolic Learning and Reasoning (NeSy’15)
July 27, 2015 - http://www.neural-symbolic.org/NeSy15/
 
(Held in conjunction with IJCAI-15, Buenos Aires, Argentina, http://www.ijcai-15.org/)
 


=== The Workshop's Mission Statement ===

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:

·     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 learning 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.

 

=== Keynote Speakers of NeSy'15 ===

Dan Roth, University of Illinois at Urbana-Champaign.
Gary F. Marcus, New York University (NYU).



=== Workshop Schedule (July 27, 2015) ===

09:00 - 09:30: Opening, welcome, short introductory round
09:30 - 10:10: Invited paper presentation George Konidaris et al.: "Symbol Acquisition for Probabilistic High-Level Planning"
10:10 - 10:40: Contributed paper presentation Rodrigo de Salvo Braz et al.: "Probabilistic Inference Modulo Theories"

10:40 - 11:00: Coffee break

11:00 - 12:00: Keynote lecture Gary Marcus
12:00 - 12:40: Invited paper presentation Dana Angluin et al.: "Learning Regular Languages via Alternating Automata"

12:40 - 14:00: Lunch break

14:00 - 15:00: Keynote lecture Dan Roth
15:00 - 15:30: Contributed paper presentation Luis Palacios et al.: "A Connectionist Network for Skeptical Abduction"

15:30 - 16:00: Coffee break

16:00 - 16:30: Contributed paper presentation Tarek R. Besold: "Same same, but different? Exploring differences in complexity between logic and neural networks"
16:30 - 17:00: Contributed paper presentation Ondrej Vadinsky: "Towards an Artificially Intelligent System: Possibilities of General Evaluation of Hybrid Paradigm"
17:00 - 17:30: Closing discussion
17:30: Farewell, end of workshop

17:40 - 18:00: Association Neural-Symbolic Learning and Reasoning (NeSy) Business Meeting

Evening: Dinner and drinks with interested workshop participants (self-pay)



=== Workshop Organizers ===

Tarek R. Besold (Institute of Cognitive Science, University of Osnabrueck, Germany)
Thomas Icard (Stanford University, U.S.A.)
Luis Lamb (Universidade Federal do Rio Grande do Sul, Brazil)
Risto Miikulainen (University of Texas at Austin, U.S.A.)



=== Program Committee ===

Artur D'Avila Garcez, City University London, UK 
Ross Gayler, Melbourne, Australia 
Ramanathan V. Guha, Google Inc., U.S.A. 
Pascal Hitzler, Wright State University, U.S.A. 
Steffen Hoelldobler, Technical University of Dresden, Germany 
Frank Jaekel, University of Osnabrueck, Germany 
Kai-Uwe Kuehnberger, University of Osnabrueck, Germany 
Christopher Potts, Stanford University, U.S.A. 
Ron Sun, Rensselaer Polytechnic Insitute, U.S.A. 
Jakub Szymanik, University of Amsterdam, The Netherlands 
Gerson Zaverucha, Federal University of Rio de Janeiro, Brazil


~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Tarek R. Besold
Institute of Cognitive Science
University of Osnabrück (Germany)
tarek.besold at uni-osnabrueck.de
https://sites.google.com/site/tarekbesold/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/connectionists/attachments/20150707/3b5d0eb3/attachment.html>