Logic List Mailing Archive

NeSy'05 (Neural-Symbolic Learning and Reasoning), Edinburgh July 31, 2005

Call for Participation

Workshop on Neural-Symbolic Learning and Reasoning (NeSy'05)
at IJCAI-05, Edinburgh, Scotland, July 31st, 2005
------------------------------------------------------------

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;
     * Integrated neural-symbolic learning approaches;
     * Extraction of symbolic knowledge from trained neural networks;
     * Integrated neural-symbolic reasoning;
     * Biological inspiration for neural-symbolic integration;
     * Applications in robotics, semantic web, engineering,
       bioinformatics, etc.


Preliminary Programme
---------------------

9.15 =09Opening

9.30 - 10.30 =09Keynote: Ron Sun

=09coffee break

11.00 - 11.15 =09(position paper) Pascal Hitzler, Sebastian Bader, Artur 
Garcez: Ontology Learning as a Use-Case for Neural-Symbolic Integration.

11.20 - 11.45 =09Ernesto Burattini, Edoardo Datteri, Guglielmo Tamburrini:
 
Neuro-symbolic programs for robots.

11.50 - 12.15 =09Laurent Orseau: The Principle of Presence: A Heuristic 
for Growing Knowledge Structured Neural Networks.

=09lunch break

13.45 - 14.10 =09Yuuya Sugita, Jun Tani: Learning Segmentation of Behavior
 
to Situated Combinatorial Semantics.

14.15 - 14.40 =09Sebastian Bader, Pascal Hitzler, Andras Witzel: 
Integrating First-Order Logic Programs and Connectionist Systems - A 
Constructive Approach.

14.45 - 15.00 =09(position paper) Li Su, Howard Bowman, Brad Wyble: 
Symbolic Encoding of Neural Networks using Communicating Automata with 
Applications to Verification of Neural Network Based Controllers.

=09coffee break

15:30 - 15.45 =09(position paper) Henrik Jacobsson, Tom Ziemke: Rethinking
 
Rule Extraction from Recurrent Neural Networks.

15.50 - 16.15 =09Jens Lehmann, Sebastian Bader, Pascal Hitzler: Extracting
 
Reduced Logic Programs from Artificial Neural Networks.

16.20 - 17.20 =09Keynote: Steffen H?lldobler: Logic Programs and 
Connectionist Systems.

17.30 =09Closing


Workshop Organisers
-------------------

Artur d'Avila Garcez (City University London, UK)
Jeff Elman (University of California, San Diego, USA)
Pascal Hitzler (AIFB, University of Karlsruhe, Germany)


Programme Committee
-------------------

Artur d'Avila Garcez (City University London, UK)
Howard Blair (Syracuse University, USA)
Jeff Elman (University of California San Diego, USA)
Dov Gabbay (Kings College London, UK)
Marco Gori (University of Siena, Italy)
Barbara Hammer (University of Osnabr?ck, Germany)
Pascal Hitzler (University Karlsruhe, Germany)
Steffen H?lldobler (TU Dresden, Germany)
Luis Lamb (Federal University of Rio Grande do Sul, Brazil)
John Lloyd (The Australian National University, Australia)
Asim Roy (Arizona State University, USA)
Antony K. Seda (University College Cork, Ireland)
Jude Shavlik (University of Wisconsin, USA)
Rudi Setiono (National University, Singapore)
Alessandro Sperduti (University of Padova, Italy)
Stefan Wermter (University of Sunderland, UK)
Gerson Zaverucha (UFRJ, Brazil)


Keynote speakers
----------------

Steffen H?lldobler (TU Dresden, Germany)
Ron Sun (Rensselaer Polytechnic Institute, USA)


Additional Information
----------------------

General questions concerning the workshop should be addressed to 
nesy@soi.city.ac.uk
Workshop website: http://www.neural-symbolic.org/NeSy05/