PRELIMINARY CALL FOR PAPERS

Antonio Carlos Saraiva Branco (branco@iltc.uff.br)
Sat, 24 Apr 1999 15:21:25 +0200 (MET DST)

Apologies if you receive this message more than once.

PRELIMINARY CALL FOR PAPERS

ILCP '99
Sixteenth International Conference on Logic Programming
Las Cruces, New Mexico, USA, Nov. 29 - Dec. 4, 1999
http://www.CS.NMSU.Edu/~complog/conferences/iclp99/

Workshop on:
Logical Inference with Artificial Neural Networks
http://marte.cib.na.cnr.it

The crucial role of logic in knowledge representation and
processing is unquestionable. However, mechanical reasoning is
often a computationally expensive task, regardless of whether
deductive or uncertain reasoning is effected. Furthermore, most
reasoningreasoning systems do not exhibit noise tolerance and
learning capabilities.

In recent years, sustained efforts have been made to cope with
some of these difficulties by means of Artificial Neural
Networks (ANN). Contributions in this area range from
theoretical analyses of neural inference processing to the
implementation of a wide variety of purely neural or hybrid
intelligent systems. These works have shown that significant
results can be attained, and brought to light some key issues:

Theoretical and methodological issues
There are crucial aspects of neural inference processing that
require innovative ideas and unifying theoretical frameworks.
The workshop aims at presenting various approaches to the
variable bindings and literal selection problems, as well as the
neural processing of fragments of first-order logic and non-
monotonic inference.

Integration of paradigms
The integration of symbolic and neural systems for inference
processing can be fruitfully pursued at various levels and in a
wide variety of domains. With just mention here the neural
processing of fuzzy logic systems, and the combination of
learning techniques for ANN's with other learning methods that
are based on logic, such as Inductive Logic Programming.

Applications
Is there any practical interest in the models of neurally
inspired, massively parallel processing of rules? New
technologies, such as the PDA's and the FPGA's, suggest now a
viable path for the transition from theory to practice via a
hardware implementation of such models, allowing one to
concretely exploit the computational efficiency of the neural
processing of rules. This clearly bears on Artificial
Intelligence, where rule-based systems play a prominent role,
and provide a practical motivation for exploring further the
logical representation and inferencing capabilities of neural
networks.

Demos

The workshop organisation has also reserved space for the
exhibition of both academic and comercially available software
on the subject. Full paper submissions that also wish to present
a demo should state so. A three-page description is required
for single demo applications. The applicants are requested to
specify any special resources needed for the demos.

Deadlines

Papers due 1st September 1999
Acceptances due 1st October 1999
Final corrections due 15th October 1999

Instructions for authors

The paper must be accompanied by a cover sheet listing the
following information:

1 Paper title
2 Author information (full names and affiliations as they
will appear in the program)
3 Mailing address, telephone, fax, and e-mail for each
author
4 Keywords

The paper (up to 8 pages) must conform to the following
requirements:

1 All text and illustrations must appear within a A4 sized
paper area. Two columns. Set margin to 2 cm left and
right, 3 cm top and bottom, 0.8 cm between columns.
2 Use 10-point Times Roman or equivalent typeface for the
main text. Single space all text, allowing extra space
between paragraphs.
3 Title (18 pt. Bold, centered). Capitalise only first word
and proper names.
4 Author names (14 pt., centered). Omit titles or degrees.
5 Affiliation (12 pt., centered).

(Paper layout: http://marte.cib.na.cnr.it/example.rtf,
http://marte.cib.na.cnr.it/example.doc,
http://marte.cib.na.cnr.it/example.ps.)

Paper submission will occur just in one stage. Papers are due:

1 one copy in camera-ready, hardcopy form to Massimo De
Gregorio
2 two copies via e-mail (attached Word format file) both
to:

Massimo De Gregorio
Istituto di Cibernetica - CNR
Via Toiano, 6
80072 Arco Felice (NAPOLI)
ITALY
Tel.: +39 081 8534228
Fax: +39 081 5267654
e-mail: massimo@sole.cib.na.cnr.it

Priscila Machado Vieira Lima
ILTC - Instituto de Logica, Filosofia e Teoria da Ciencia
R. Almte.Teffe, 637
CEP 24030-080 Niteroi
RJ, BRAZIL
Tel.: +55 21 6221361
Fax: +55 21 7194461
e-mail: priscila@cos.ufrj.br
http://www.iltc.uff.br/~priscila

Before the workshop, each speaker will receive all the other
accepted papers for the general discussion.

Proceedings

A proceedings volume with the papers selected for presentation will be
distributed before the conference.

Workshop site

The 16th International Conference on Logic Programming (the last
LP-conference of the 19-hundreds) will be held on Nov. 29 - Dec.
4, 1999 in Las Cruces, New Mexico, a small desert town in
southern New Mexico; famous for its red and green chilis, hot
Mexican food, and its old western traditions. The weather is
warm and sunny all year round (your chance to escape the cold
Northern winter). Recreational opportunities abound, with ski
resorts, hiking trails, casinos, etc. only short driving
distances away.

Workshop Organisation

Workshop Co-Chairs and Organising Committee

Massimo De Gregorio (Istituto di Cibernetica - CNR, ITALY)
Priscila Machado Vieira Lima (ILTC, BRAZIL)

Program Committee

Antonio C. Branco ( ILTC, BRAZIL)
Ernesto Burattini (Istituto di Cibernetica - CNR, ITALY)
Fatima C.C. Dargam (ILTC, BRAZIL)
Alexandre Evsukoff (ILTC, BRAZIL)
Maria Sessa (Dipartimento di Matematica e Informatica,
Universita' di Salerno, ITALY)
Guglielmo Tamburrini (Dipartimento di Filosofia, Universita' di
Pisa, ITALY)

Workshop Plan

8:30 - 8:45 Chairman introduction to the Workshop
8:45 - 10:25 Paper presentation (4 presentations)
10:25 - 11:00 Coffee break
11:00 - 12:40 Paper presentation (4 presentations)
12:40 - 14:00 Lunch break
14:00 - 15:40 Paper presentation (4 presentations)
15:40 - 16:00 Coffee break
16:00 - 17:00 General discussion on presented papers
and on the expected or desirable developments
17:00 - 19:00 Demos

############################################################################
This message was posted through the fuzzy mailing list.
(1) To subscribe to this mailing list, send a message body of
"SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at
(2) To unsubscribe from this mailing list, send a message body of
"UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com"
to listproc@dbai.tuwien.ac.at
(3) To reach the human who maintains the list, send mail to
fuzzy-owner@dbai.tuwien.ac.at
(4) WWW access and other information on Fuzzy Sets and Logic see
http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info
(5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html