From: nl-kr-request@cs.rpi.edu (NL-KR Moderator Chris Welty)
Subject: NL-KR Digest, Volume 9 No. 39
Reply-To: nl-kr@cs.rpi.edu (NL-KR Digest)
Date: Tue, 21 Jul 1992 18:09:19 GMT

NL-KR Digest      (Tue Jul 21 11:32:11 1992)      Volume 9 No. 39

Today's Topics:

	 Query: Chinese/English, English/Chinese Translation Software
	 Query: Feature Type Hierarchies
	 Announcement: Call for Nominations for IJCAI-93 Awards
	 CFP: JAVA-93 (acquisition, validation, apprentissage)
	 Announcement: International Logic Programming Summer School (Final)

Submissions: nl-kr@cs.rpi.edu
Requests, policy: nl-kr-request@cs.rpi.edu
Back issues are available from host archive.cssage.rpi.edu [128.113.53.18] in
the files nl-kr/Vxx/Nyy (ie nl-kr/V01/N01 for V1#1), mail requests will
not be promptly satisfied.  Starting with V9, there is a subject index
in the file INDEX.  If you can't reach `cs.rpi.edu' you may want
to use `turing.cs.rpi.edu' instead.
BITNET subscribers: we now have a LISTSERVer for nl-kr.
  You may send submissions to NL-KR@RPIECS
  and any listserv-style administrative requests to LISTSERV@RPIECS.

-----------------------------------------------------------------

To: nl-kr@cs.rpi.edu
Newsgroups: sci.lang,comp.ai.neural-nets,comp.ai.nlang-know-rep
From: IMAGING.CLUB@OFFICE.WANG.COM ("Imaging Club")
Subject: Query: Chinese/English, English/Chinese Translation Software
Organization: Mail to News Gateway at Wang Labs
Date: 16 Jul 92 20:25:37 EST

Regarding that request for information [V9N33] on leading edge Chinese/
English machine translation software, please FAX your information
directly to Miguel Brazao, who is in charge, at Peritus, the natural
language MT translation firm, at (617) 221 7122 in Massachusetts
(instead of sending it to the Imaging Club).

Thanks!

Michael.Willett@OFFICE.Wang.com

------------------------------

To: nl-kr@cs.rpi.edu
From: Ossama Ahmed Essa <essa@usceast.cs.scarolina.edu>
Subject: Query: Feature Type Hierarchies
Date: Thu, 16 Jul 92 15:18:30 EDT

  Features type hierarchies is a way of representing the semantic
features in a hierarchical(tree) form where each node is a sub-type of
its parent. It was introduced by Katz and Fodor "the structure of
semantic theory" Language 39, 170-210, 1963. It was also mentioned in
Allen, James "Natural Language Understanding", pp194-197, The
Benjamin/Cumming Publishing Company Inc., 1987.

  I am looking for references about using type hierarchies for
representing the semantics. If anyone is aware of any
systems/researchs elaborating the usage of type hierarchies for NLP,
please let me know. I am desparate. For over 6 weeks, I've been
searching for such thing.

 I am a Computer Science graduate student. I am working on my Master's
thesis in which I am developing a system for inferring word meaning
from context. I built a prototype hierarchy to test my system. Now I
am supposed to have a more general domain which requires a bigger
hierarchy.

  Either posting or e-mail is OK
  Your help is much appreciated

  Ossama Essa (essa@usceast.cs.scarolina.edu).

------------------------------

To: nl-kr@cs.rpi.edu
Date: Sun, 19 Jul 92 10:28:55 -0400
From: walker@flash.bellcore.com (Don Walker)
Subject: Announcement: Call for Nominations for IJCAI-93 Awards

   INTERNATIONAL JOINT CONFERENCES ON ARTIFICIAL INTELLIGENCE, INC.

         ***   Call for Nominations for IJCAI-93 Awards   *** 

THE IJCAI AWARD FOR RESEARCH EXCELLENCE

The IJCAI Award for Research Excellence is given at an IJCAI to a
scientist who has carried out a program of research of consistently
high quality yielding several substantial results.  If the research
program has been carried out collaboratively, the Award may be made
jointly to the research team.  Past recipients of this award are
John McCarthy (1985), Allen Newell (1989) and Marvin Minsky (1991).

The Award carries with it a certificate and the sum of US$ 2,000
plus travel and living expenses for the IJCAI. The recipient will
be invited to deliver an address on the nature and significance of
the results achieved and write a paper for the conference proceedings.
Primarily, however, the Award carries the honour of having one's
work selected by one's peers as an exemplar of sustained research
in Artificial Intelligence.

We hereby call for nominations for The IJCAI Award for Research
Excellence, which will be presented at IJCAI-93 in Chambery, France,
29 August - 3 September 1993.  The accompanying note on Selection
Procedures provides the relevant details.

THE COMPUTERS AND THOUGHT AWARD

The Computers and Thought Lectures are presented at IJCAI conferences
by outstanding young scientists in the field of Artificial
Intelligence.  Past recipients of this honour have been Terry
Winograd (1971), Patrick Winston (1973), Chuck Rieger (1975),
Douglas Lenat (1977), David Marr (1979), Gerald Sussman (1981),
Tom Mitchell (1983), Hector Levesque (1985), Johan de Kleer (1987),
Henry Kautz (1989), Rodney Brooks (1991) and Martha Pollack (1991).

The Award carries with it a certificate and the sum of US$ 2,000 plus
travel and living expenses for the IJCAI.  The lecture is given one
evening during the conference, and the public is invited to attend.
The lecturer is encouraged to publish the lecture in the conference
proceedings.  The lectureship was established with royalties received
from the book Computers and Thought, edited by Edward Feigenbaum and
Julian Feldman; it is currently supported by income from IJCAII funds.

We hereby call for nominations for the Computers and Thought Award,
which will be presented at IJCAI-93 in Chambery, France, 29 August
- 3 September 1993.  The accompanying note on Selection Procedures
provides the relevant details.

SELECTION PROCEDURES FOR IJCAI AWARDS

Nominations for the IJCAI Research Excellence Award and the Computers
and Thought Award are invited from everyone in the international
Artificial Intelligence community.

There should be a nominator and a seconder, at least one of whom
should not be from the same institution as the nominee.  Nominees
for the Computers and Thought Award cannot be older than 35 at the
start of the conference.  They must agree to be nominated.  There
are no other restrictions on nominees, nominators or seconders.
The nominators should prepare a short submission of less than 2,000
words, outlining the nominee's qualifications with respect to the
particular award.

An IJCAI Awards Search Committee has been established to encourage
high quality nominations for IJCAI Awards.  It consists of the
three most recent past IJCAI conference chairs, currently: Alan
Bundy (convenor), Wolfgang Bibel and Barbara Grosz.  Members of
this committee can be contacted for advice on nominations.

The IJCAI Award Selection Committee is the union of the Board of
Trustees and the former Trustees of IJCAII, the Advisory Committee
of IJCAI-93, the program chairs of the last three IJCAI conferences,
and the past recipients of the IJCAI Award for Research Excellence
and the IJCAI Distinguished Service Award, with nominees excluded.

Nominations should be sent to the Conference Chair for IJCAI-93 at
the address below. The deadline for nominations is 1 December 1992.
To avoid duplication of effort, nominators are requested to submit
the name of the person they are nominating by 1 November 1992 so that
people who propose to nominate the same individual may be so informed
and can coordinate their efforts.

	Prof. Wolfgang Wahlster
	Conference Chair, IJCAI-93
	German Research Center for AI (DFKI)
	Stuhlsatzenhausweg 3
	D-W-6600 Saarbruecken 11, Germany
	Tel: (+49 681) 302-5252
	Fax: (+49 681) 302-5341
	E-mail: wahlster@dfki.uni-sb.de

------------------------------

To: nl-kr@cs.rpi.edu
From: dieng@picsou.inria.fr (Rose Dieng)
Newsgroups: inria.general,comp.ai.edu,comp.ai.nlang-know-rep
Subject: CFP: JAVA-93 (acquisition, validation, apprentissage)
Date: 15 Jul 92 12:03:15 GMT

                     APPEL AUX COMMUNICATIONS
                             JAVA - 93  
          Journees sur l'Acquisition, la Validation et l'Apprentissage
                       (PRC-GDR-IA du CNRS) 

              29 Mars - 2 Avril 1993, INRIA-Sophia-Antipolis 

L'organisation commune des journees d'acquisition, de validation 
et d'apprentissage (respectivement JAC, JVAL et JFA) est le temoignage 
d'un souci de convergence de ces trois approches au probleme difficile du 
developpement des systemes a base de connaisances.
Un des objectifs de ces journees est de degager une 
complementarite entre ces approches. Cette manifestation scientifique 
constitue l'evenement annuel francais le plus important dans les trois 
domaines. Les echanges intra et inter-approches sont concus pour favoriser la 
presentation et l'evaluation des travaux en cours (recherches et applications) 
ainsi que la formation des chercheurs. 
Chaque approche aura son propre programme. Des periodes d'echanges permettront 
a l'ensemble des participants de confronter leurs points de vue et methodes.
Ces periodes d'echanges pourront etre des seances plenieres (exposes 
inter-approches ou panels) ou des ateliers sur un theme specifique.

President du comite de programme de JAC-JVAL-JFA : Guy BOY (ONERA, Toulouse)

Les propositions de communication portant sur des themes communs a 2 
voire 3 des journees sont encouragees. 
Les presentations seront faites en francais ; les propositions  pourront 
etre soumises en francais ou en anglais mais en cas d'acceptation,
elles devront etre publiees en francais. Elles contiendront environ 5000 mots 
(10 pages simple interligne), et seront envoyees en cinq exemplaires au 
president du comite de programme concerne.

Pour tous les details concernant l'organisation de la conference, contacter :
Rose DIENG, INRIA-Sophia-Antipolis & CERMICS
2004 Route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex
e-mail: dieng@sophia.inria.fr	tel.: 93 65 78 10 	fax: 93 65 77 83

- -------------------
Calendrier :
15 novembre 1992 : date limite de soumission des communications.
18 janvier 1993 : notification aux auteurs.
22 fevrier 1993 : date limite de reception des versions definitives des 
communications acceptees.
- -------------------

4es JAC (Journees d'Acquisition des Connaissances)
- ------------------------------------------------

Themes (liste non restrictive) :
- Extraction et modelisation de connaissances a partir de textes et autres 
medias.
- Dimension cognitive de l'acquisition : techniques linguistiques et 
psychologiques.
- Methodes et outils d'aide a l'acquisition des connaissances.
- Construction de modeles conceptuels de la connaissance.
- Acquisition des connaissances guidee par la modelisation.
- Lien entre modele conceptuel et modele d'implementation.
- Acquisition des connaissances et modelisation des interactions avec 
l'utilisateur ou de l'utilisateur lui-meme.
- Integration de l'apprentissage et de l'acquisition des connaissances.
- Evaluation des systemes d'acquisition des connaissances.
- Validation des modeles de connaissances.
- Genie logiciel et acquisition des connaissances .

Comite de programme: 
Chantal REYNAUD (LRI-CNRS, Orsay) Presidente
Nathalie AUSSENAC (IRIT-CNRS, Toulouse)
Jean CHARLET (INSERM, Paris)
Jean-Marc DAVID (RENAULT, Boulogne-Billancourt)
Rose DIENG (INRIA, Sophia-Antipolis)
Jean-Gabriel GANASCIA (LAFORIA-CNRS, Paris)
Philippe LAUBLET (ONERA, Chatillon)
Marc LINSTER (GMD, Bonn, Allemagne)
Violaine PRINCE (LIMSI-CNRS, Orsay)
Jean SALLANTIN (LIRMM-CNRS, Montpellier)
Brigitte TROUSSE (INRIA, Sophia-Antipolis)
Envoyer les propositions de contribution, en cinq exemplaires, a:
Chantal REYNAUD, LRI-CNRS, Batiment 490, 
Universite Paris-Sud, 91405 ORSAY Cedex. 
e-mail: cr@lri.lri.fr	tel.: (1) 69 41 64 95	fax: (1) 69 41 65 86

- ------------------------------------------------------------------------------

2e JVAL (Journee VALidation des Systemes a Bases de Connaissances)
- ------------------------------------------------------------------

Themes (liste non restrictive) :
- Standardisation du vocabulaire du domaine (Validation, Verification, 
Coherence ...).
- Validation/Verification par l'etude du comportement du S.B.C. (Test).
- Validation/Verification par l'etude de proprietes formelles de la B.C. 
(coherence, completude, ...).
- Mise au point et Deboguage des S.B.C.
- Validation/Verification et Representation des Connaissances.
- Fondements theoriques de la Validation/Verification de B.C.
- Description d'experiences industrielles.

Comite de programme :
Marie-Christine ROUSSET (LRI - CNRS, Orsay) Presidente
Marc AYEL (Universite de Chambery)
Philippe DAGUE (Universite Paris 6)
 Gilles KASSEL (Universite Technologique de Compiegne)
Laurent GIBET (CNES)
Jacques GUYOT (FRAMENTEC)
 Joanna POMIAN (CISI)

Envoyer les propositions de contribution, en cinq exemplaires, a:
Marie-Christine ROUSSET, LRI-CNRS, Batiment 490, 
Universite Paris-Sud,91405 ORSAY Cedex. 
e-mail: mcr@lri.lri.fr	tel.: (1) 69 41 61 97	fax: (1) 69 41 65 86

- -------------------------------------------------------------------------------

8es JFA (Journees Francophones d'Apprentissage)
- ----------------------------------------------

Themes (liste non restrictive) :
 - Aspects fondamentaux de l'apprentissage.
- Apprentissage Automatique et techniques numeriques.
- Apprentissage Automatique en environnement reel :
	* Apprentissage Automatique et donnees de mauvaise qualite.
	* Problemes de combinatoire (lies a la quantite de donnees et/ou a la taille des bases de connaissances 
apprises).
	* Apprentissage Automatique avec des ressources limitees (temps,
memoire, ...).
- Representation des connaissances pour l'apprentissage et des connaissances 
apprises.
- Apprentissage automatique et validation des Bases de Connaissances..
- Validation de la connaissance apprise.
- Integration de l'apprentissage  et de l'acquisition des connaissances.

Comite de programme : 
Christian de SAINTE-MARIE(3A.S.I. - Grenoble) President
Francesco BEREGADANO (Universite de Turin)
Christine DECAESTECKER (IRIDIA - Bruxelles)
Jean-Gabriel GANASCIA (LAFORIA-CNRS - Paris)
Yves KODRATOFF (LRI-CNRS - Orsay)
Michel LIQUIERE (IREMIA - La Reunion)
Stan MATWIN (Universite d'Ottawa)
Guy MINEAU (Universite Laval - Quebec)
Marjorie MOULET (LRI - Orsay)
Jacques NICOLAS (IRISA - Rennes)
Joel QUINQUETON (LIRMM-INRIA - Montpellier)
Celine ROUVEIROL (LRI - Orsay)
Stefan WROBEL (GMD - St Augustin)

Envoyer les propositions de contribution, en cinq exemplaires, a:
Christian de SAINTE-MARIE, 3A.S.I. sarl,
4 rue Chanaron, 38000 GRENOBLE
e-mail: csma@lifia.imag.fr	tel.: 76 47 77 99

------------------------------

To: nl-kr@cs.rpi.edu
Newsgroups: comp.ai.nlang-know-rep
From: Michael.Ratcliffe@ecrc.de (Michael Ratcliffe)
Subject: Announcement: International Logic Programming Summer School (Final)
Reply-To: Michael.Ratcliffe@ecrc.de (Michael Ratcliffe)
Date: Fri, 17 Jul 1992 17:28:59 GMT

                          *** LAST CHANCE ***

                              **********
                               LPSS '92
                              **********

           Second International Logic Programming Summer School

                           Zurich, Switzerland
                          7 - 11 September 1992

Industrial Applications of Logic Programming for Constraint Handling
Knowledge-Based Systems, Deductive Databases, Software Engineering
Natural and Formal Languages, Planning and Scheduling etc.

Tutorial Speakers
- ----------------
Ken Bowen (ALS, USA)
Alan Bundy (University of Edinburgh, Scotland) 
Alexander Herold (ECRC, Germany)
Michael Hess (ISSCO, Switzerland) 
Robert Kowalski (Imperial College, Great Britain)
Shalom Tsur (University of Texas, USA)

Organized on behalf of the ESPRIT Network of Excellence in 
Computational Logic by

Gerard Comyn                  Norbert E. Fuchs
ECRC                          Institut fuer Informatik
Arabellastr. 17               University of Zurich
D-8000 Munich 81              CH-8057 Zurich
fax  +49-89-926 99 170        fax  +41-1-363 00 35
email  gerard@ecrc.de         email  fuchs@ifi.unizh.ch

Program
- ------
The program of the Logic Programming Summer School consists of 
tutorials and of projects presentations addressing the following 
fields: knowledge-based systems, constraint handling, deductive 
databases, processing of natural and formal languages, software 
engineering, planning and scheduling.

Researchers well-known in the Logic Programming community will give 
tutorials in their fields of expertise and introduce into the 
project presentations. While most of the tutorials presume some 
knowledge of the respective fields, there will be one introductory 
tutorial for participants with no or little knowledge in logic 
programming.

Groups from industry and from research institutions will present 
their projects. There will be ample time for detailed accounts of 
the projects, for demonstrations, and for discussions. 

Here is an overview of the program.

Monday, September 7
- ------------------

Welcome

Tutorial
Ken Bowen (ALS, USA)
Logic Programming Fundamentals

Tutorial
Ken Bowen (ALS, USA)
Industrial Applications of Logic Programming

Project Presentation
Lutz Pluemmer (University of Bonn, Germany)
Expert Systems in Mining

Reception
Speaker: George Metakides (CEC, Belgium)

Tuesday, September 8
- -------------------

Tutorial
Alexander Herold (ECRC, Germany)
Constraint Logic Programming

Project Presentation
Mehmet Dincbas (Cosytec, France)
Industrial Applications of Constraint Logic Programming

Project Presentation
Owen Evans (ICL, Great Britain)
Factory Scheduling using Finite Domains

Project Presentation
Michel d'Andrea (Bull, France)
Scheduling and Optimisation in the Automobile Industry

Project Presentation
Pierre-Joseph Gailly (BIM, Belgium)
Wolfgang Krautter (FAW, Germany)
The Prince Project and Its Applications

Wednesday, September 9
- ---------------------

Tutorial
Shalom Tsur (University of Texas, USA)
Deductive Databases

Project Presentation
Christoph Beierle (IBM, Germany)
Protos-L - Knowledge-Based Scheduling Applications

Project Presentation
Carlo Chiopris (Icon, Italy)
The SECReTS Banking Expert System

Project Presentation
John Fox (ICRF, Great Britain)
Deductive Databases and Clinical Dilemmas

Project Presentation
Edward Freeman (US West, USA)
Knowledge-Based Strategic Planning

Thursday, September 10
- ---------------------

Tutorial
Michael Hess (ISSCO, Switzerland)
Natural and Formal Language Processing

Project Presentation
Udo Pletat (IBM, Germany)
Lilog - Knowledge Representation for Natural Language Processing

Project Presentation
Peter Reintjes (Quintus, USA)
A Set of Tools for VHDL Design

Project Presentation
Deborah Dahl (Unisys, USA)
Pundit - A Large-Scale Natural Language Processing System

Project Presentation
Thomas Grossi (CAP Gemini Sogeti, France)
The ESTEAM Dialogue Manager

Banquet
Speakers: Herve Gallaire (GSI, France). David Talbot (CEC, Belgium) 

Friday, September 11
- -------------------

Tutorial
Alan Bundy (University of Edinburgh, Scotland)
Reasoning About Logic Programs

Project Presentation
Mireille Ducasse (ECRC, Germany)
OPIUM - An Advanced Debugging System

Project Presentation
Peter Breuer (University of Oxford, Great Britain)
Reverse Engineering of COBOL Programs

Tutorial
Robert Kowalski (Imperial College, Great Britain)
Theory and Practice in Logic Programming

Assessment and Discussion

Poster Sessions and Demonstrations
- ---------------------------------
Additional projects will be presented in the form of poster sessions 
and demonstrations. For demonstrations various hardware platforms 
(IBM, Macintosh, Sun) can be provided by the organisers.

Exhibitions
- ----------
We are inviting a small number of companies - especially software 
houses and publishers - to exhibit their products related to logic 
programming.

Social Events
- ------------
Two social events will allow participants to meet and to exchange 
information. On Monday evening there will be a reception. Guest 
speaker will be G. Metakides (CEC, Brussels). On Thursday night 
participants will be invited to a banquet. After dinner talks will 
be given by H. Gallaire (GSI, Paris) and by D. Talbot (CEC, 
Brussels). 

Documentation
- ------------
Participants will receive preparatory material (extended abstracts, 
reading lists etc.) before the summer school, and detailed 
documentation (proceedings of the summer school etc.) at the summer 
school.  The Proceedings of LPSS '92, containing transcripts of the 
tutorials and project presentations, will be published by Springer 
Verlag in their Lecture Notes in Artificial Intelligence (LNAI) 
series. 

Fees for the Summer School
- -------------------------
The fee for the Logic Programming Summer School is ECU 1000 for 
industrial participants and ECU 600 for academic participants. A 
late payment surcharge of ECU 200 will be levied on all payments 
received after May 31, 1992. 

The Logic Programming Summer School fee covers

	admission to all lectures and presentations
	a pre-Summer School information pack
	a copy of the Summer School Proceedings
	lunch and refreshments
	banquet and reception
	a tram ticket valid during the time of the Summer School 

Additional banquet and tram tickets are available at extra cost for 
accompanying persons.

Payment
- ------
Please remit the fee only after your application has been accepted 
and an invoice issued. The acceptance letter will indicate the 
possible methods of payment. 

Once your fee has been paid in full, you will receive a receipt 
along with the pre-Summer School information pack and the hotel 
reservation form.

Cancellation Charges
- -------------------
If you decide to cancel your application after it has been accepted, 
a cancellation charge of 20% will be levied unless you name a 
replacement. No refund will be possible after August 15, 1992.

Venue
- ----
The Logic Programming Summer School will be held at the Irchel 
campus of the University of Zurich. This picturesque campus is 
located in a spacious park adjacent to a forest. Its buildings 
provide lecture halls of various sizes, meeting rooms, a restaurant 
and a coffee shop. Ample car parking space is available. 

The Irchel campus is 10-15 minutes by tram from the centre of 
Zurich, a medium-sized international city located on the beautiful 
Lake Zurich at the foot of the Alps. Zurich offers all the amenities 
of much larger cities. Besides its well-known banking district and 
shopping areas, it boasts a charming and lively "Altstadt" situated 
along the river Limmat. Zurich is easily accessible by all kinds of 
transportation and has a large international airport.

Accommodation
- ------------
Rooms will be reserved for participants at special Summer School 
rates in hotels situated only a short distance from the University 
of Zurich. Reservation forms will be sent as part of the pre-Summer 
School information packs.

Official Address
- ---------------
LPSS'92
Ms. Anne-Marie Nicolet
Schwandenholzstr. 286
CH-8046 Zurich
Switzerland

fax +41-1-371 2300
email si@ifi.unizh.ch

Sponsors
- -------
The Summer School organisation gratefully acknowledges the generous 
support of the following organisations

	Bull
	Commission of the European Communities (CEC)
	European Computer-Industry Research Centre (ECRC)
	ICL
	Industrade AG (Apple Computer Division)
	University of Zurich

- -------------------------------------------------------------------
Logic Programming Summer School LPSS '92

Application Form

Name................................................................

Organisation........................................................

Address.............................................................

Country.............................................................

Telephone...........................................................

Fax.................................................................

Electronic Mail Address.............................................

Please return to 

LPSS '92
Ms. Anne-Marie Nicolet
Schwandenholzstr. 286
CH-8046 Zurich
Switzerland
fax +41-1-371 2300
email si@ifi.unizh.ch
- -------------------------------------------------------------------

------------------------------
End of NL-KR Digest
*******************
Newsgroups: comp.ai