Connectionists: NeSy'05 at IJCAI-05: Call for Participation

[Pascal Hitzler]

[Apologies for crosspostings]

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 	Opening

9.30 - 10.30 	Keynote: Ron Sun

	coffee break

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

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

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

	lunch break

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

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

14.45 - 15.00 	(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.

	coffee break

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

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

16.20 - 17.20 	Keynote: Steffen Hlldobler: Logic Programs and 
Connectionist Systems.

17.30 	Closing


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 Osnabrck, Germany)
Pascal Hitzler (University Karlsruhe, Germany)
Steffen Hlldobler (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 Hlldobler (TU Dresden, Germany)
Ron Sun (Rensselaer Polytechnic Institute, USA)


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

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

-- 
Dr. Pascal Hitzler
Institute AIFB, University of Karlsruhe, 76128 Karlsruhe
email: hitzler at aifb.uni-karlsruhe.de    fax: +49 721 608 6580
web:   http://www.pascal-hitzler.de   phone: +49 721 608 4751
        http://www.neural-symbolic.org