| 9.15 | Opening | |
| 9.30 - 10.30 | Keynote: Ron Sun | slides (pdf) |
| coffee break | ||
| 11.00 - 11.15 | (position paper) Pascal Hitzler, Sebastian Bader, Artur Garcez: Ontology Learning as a Use-Case for Neural-Symbolic Integration. | slides (zipped ps) |
| 11.20 - 11.45 | Ernesto Burattini, Edoardo Datteri, Guglielmo Tamburrini: Neuro-symbolic programs for robots. | slides (ppt) |
| 11.50 - 12.15 | Laurent Orseau: The Principle of Presence: A Heuristic for Growing Knowledge Structured Neural Networks. | slides (ppt) |
| 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. | slides (pdf) |
| 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. | slides (ppt) |
| coffee break | ||
| 15:30 - 15.45 | (position paper) Henrik Jacobsson, Tom Ziemke: Rethinking Rule Extraction from Recurrent Neural Networks. | slides (pdf) |
| 15.50 - 16.15 | Jens Lehmann, Sebastian Bader, Pascal Hitzler: Extracting Reduced Logic Programs from Artificial Neural Networks. | slides (zipped ps) |
| 16.20 - 17.20 | Keynote: Steffen Hö:lldobler: Logic Programs and Connectionist Systems. | slides (pdf) |
| 17.30 | Closing |
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:
Researchers and practitioners are invited to submit original papers that have not been submitted for review or published elsewhere. Submitted papers must be written in English and should not exceed 8 pages in the case of research and experience papers, and 4 pages in the case of position papers (including figures, bibliography and appendices) in IJCAI format. All submitted papers will be judged based on their quality, relevance, originality, significance, and soundness. Papers must be submitted directly by email in PDF format to nesy@soi.city.ac.uk
Selected papers will be presented during the workshop. The workshop will include extra time for audience discussion of the presentation allowing the group to have a better understanding of the issues, challenges, and ideas being presented.
Accepted papers will be published in official workshop proceedings, which will be distributed during the workshop. Authors of the best papers will be invited to submit a revised and extended version of their papers to a special issue of a major journal to be published early in 2006.
Deadline for submission: 25th of March, 2005.
Notification of acceptance: 25th of April, 2005.
Camera-ready paper due: 16th of May, 2005.
Workshop day: 1st of August, 2005.
IJCAI 2005 main conference dates: 30th of July to 5th of August, 2005.
Artur d'Avila Garcez (City University London, UK)
Jeff Elman (University of California, San Diego, USA)
Pascal Hitzler (AIFB, University of Karlsruhe, Germany)
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 (TU Clausthal, Germany)
Pascal Hitzler (University of 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)
Vasile Palade (Oxford University, UK)
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)
Steffen Hölldobler (TU Dresden, Germany)
Ron Sun (Rensselaer Polytechnic Institute, USA)
General questions concerning the workshop should be addressed to nesy@soi.city.ac.uk