Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 24
NL-KR Digest Sat Apr 8 00:55:13 PDT 1995 Volume 14 No. 24
Today's Topics:
CFP: AAAI-95 Fall Symp. Embodied Language and Action, Nov 95, Cambridge
CFP: 10th Amsterdam Colloquium on Semantics, Dec 95, Amsterdam
Program: CCP 95, Concurrent Constraint Prog., May 95, Venice
Position: Machine Translation (Italian), CMU
Announcement: Penn Treebank, Release 2 from LDC.
CFP: ILPS`95: Intl. Logic Prog. Symp., Dec 95, Portland
* * *
Subcriptions: listserv-style administrative requests to
nl-kr-request@ai.sunnyside.com.
Submissions, policy, questions: nl-kr@ai.sunnyside.com
To speed up processing of your submission write to
listserv@ai.sunnyside.com with the message:
GET nl-kr style
Back issues:
FTP: ai.sunnyside.com:/pub/nl-kr/Vxx/Nyyy
/pub/nl-kr/Vxx/INDEX
Gopher: ai.sunnyside.com, Port 70, in directory /pub/nl-kr
Email: write to LISTSERV@AI.SUNNYSIDE.COM, omit subject, mail command:
GET nl-kr nl-kr_file_list
Web: http://ai.sunnyside.com/pub/nl-kr
Editors:
Al Whaley (al@ai.sunnyside.com) and
Chris Welty (weltyc@sigart.acm.org).
-----------------------------------------------------------------------
Date: Sat, 1 Apr 1995 18:46:36 -0800
From: ian@ai.mit.edu (Ian Horswill)
To: rre@weber.ucsd.edu
Subject: CFP: AAAI-95 Fall Symp. Embodied Language and Action, Nov 95, Cambridge
Reply-To: rre-maintainers@weber.ucsd.edu
Deadline: April 14, 1995
Call for Participation
EMBODIED LANGUAGE AND ACTION
AAAI 1995 Fall Symposium Series
November 10-12, 1995
MIT, Cambridge Massachusetts
This symposium focuses on agents that can use language or similar
communication, such as gesture, to facilitate extended interactions in
a shared physical or simulated world. We examine how this embodiment
in a shared world both stimulates communication and provides a
resource for understanding it. Our focus is on the design of
artificial agents, implemented in software, hardware, or as animated
characters. Papers should clearly relate the technical content
presented to one of the following tasks:
--- Two or more communicating agents work together to
construct, carry out maintenance on, or destroy a physical
or simulated artifact (Collaborative Engagement)
--- An agent assists a human by fetching or
delivering physical or software objects.
The human communicates with the agent about what
is to be fetched or delivered to where.
(Delivery Assistance)
We solicit papers on the following issues (not to the exclusion of
others):
-- Can task contexts act as resources for communication by
simplifying the interpretation and production of communicative acts?
-- How does physical embodiment and its concomitant resource
limitation affect an agent's ability to interpret or generate
language?
-- Can architectures designed to support perception and action support
language or other forms of communication?
-- How can agents to mediate between the propositional representations
of language and the (often) non-propositional representations of
perception and action?
-- What tradeoffs exist between the use of communication to improve
the agents' task performance and the additional overhead involved in
understanding and generating messages?
-- Do differences between communication used to support concurrent task
execution and communication used to support planning, reflect deeper
differences in agent ability?
-- What is the role of negotiation, whether of task responsibilities,
or of reference and meaning, in such situated task environments?
Interested participants should submit either (1) a paper (in 12 pt
font, not to exceed 3000 words), or (2) a brief position statement.
Send contributions, plain ascii or postscript, by April 14, 1995 to
ian@ai.mit.edu. Notification of acceptance will be given by May 19,
1995. Material to be included in the working notes of the symposium
must be received by August 15, 1995.
If electronic submission is impossible, mail 6 copies to:
Ian Horswill
MIT Artificial Intelligence Laboratory
545 Technology Square
Cambridge, MA 02139
COMMITTEE:
John Batali, UCSD
Jim Firby, University of Chicago
Ian Horswill, MIT (CoChair)
Marilyn Walker, Mitsubishi Electric Research Labs (CoChair)
Bonnie Webber, University of Pennsylvania
-----------------------------------------------------------------------
Date: Mon, 3 Apr 1995 07:50:15 +0200
To: (AcTen Lists)
From: AcTen@illc.uva.nl (Tenth Amsterdam Colloquium)
Subject: CFP: 10th Amsterdam Colloquium on Semantics, Dec 95, Amsterdam
ANNOUNCEMENT / CALL FOR PAPERS
THE TENTH AMSTERDAM COLLOQUIUM
December 18---21, 1995
The Tenth Amsterdam Colloquium will be held from Monday 18 until
Thursday 21, December 1995, at the University of Amsterdam. The
Amsterdam Colloquia focus on the interdisciplinary study of
semantics (broadly conceived) and aim at bringing together
logicians, philosophers, linguists and computer scientists who share
an interest in semantics. The spectrum of topics covered ranges from
descriptive (semantic analyses of all kinds of expressions), to
theoretical (logical and computational properties of semantic
theories, philosophical foundations).
The Amsterdam Colloquia are organized every two years under the
auspices of the Institute for Logic, Language and Computation
(ILLC), in which the Department of Philosophy, the Department of
Mathematics and Computer Science and the Department of Computational
Linguistics of the University of Amsterdam cooperate to stimulate
and coordinate interdisciplinary research.
*The Tenth Installment*
The following people have in principle accepted our invitation to
give a lecture:
-> Bob Carpenter (Pittsburgh)
-> Gennaro Chierchia (Milano)
-> Joe Halpern (San Jose)
-> Hans Kamp (Stuttgart)
-> Angelika Kratzer (Amherst)
-> Fred Landman (Tel Aviv)
-> Barbara Partee (Amherst)
-> Krister Segerberg (Uppsala)
-> Anna Szabolcsi (Los Angeles)
To give this tenth installment a special touch, an evening session
will be devoted to the past and the future of the field of semantics.
*Submission of abstracts*
The Colloquium has room for 40 contributed talks of approximately
40 minutes. People who want to contribute a paper are requested to
send in SIX copies of an ANONYMOUS ABSTRACT of two pages (at most
1000 words). The abstract must include a short, 10 line, SUMMARY
clearly indicating subject matter and conclusions. A SEPARATE
leaflet should specify the author's name, affiliation, postal
address, e-mail address plus the title of the contribution.
Submission by e-mail is possible, provided that the abstract,
summary and personal details are in ASCII.
The DEADLINE for submission of abstracts is September 1, 1995. The
abstracts will be refereed by the program committee consisting of
Renate Bartsch, Johan van Benthem, Peter van Emde Boas, and the
invited speakers. Authors will be notified of acceptance by October
15. The 10 line summaries of the accepted papers will be included in
the program.
*Important Dates*
-> 01-04-95 Call for papers
-> 01-09-95 Deadline for submissions
-> 15-10-95 Notification of acceptance
-> 15-11-95 Distribution of program
-> 18---21 December 1995 Amsterdam Colloquium
-> 01-02-96 Final papers due
-> 15-03-96 Proceedings due
*Organization*
The organizing committee of the Ninth Amsterdam Colloquium consists
of Paul Dekker, Jeroen Groenendijk, Erik-Jan van der Linden and
Martin Stokhof. Financial support is provided by the ILLC, the
Department of Philosophy, the Department of Mathematics and Computer
Science, the Royal Netherlands Academy of Arts and Sciences (KNAW),
the European Association for Logic, Language and Information (FoLLI),
and the Dutch Graduate School in Logic (OzsL).
For further information, contact:
Organizing Committee Ninth Amsterdam Colloquium
ILLC/Department of Philosophy, University of Amsterdam
Nieuwe Doelenstraat 15, 1012 CP Amsterdam, The Netherlands
tel: +31 20 5254541
fax: +31 20 5254503
email: AcTen@illc.uva.nl
-----------------------------------------------------------------------
To: alp-list@intellektik.informatik.th-darmstadt.de, cclp.x@parc.xerox.com,
Subject: Program: CCP 95, Concurrent Constraint Prog., May 95, Venice
Date: Mon, 03 Apr 1995 11:30:17 +0200
From: Philippe Codognet <Philippe.Codognet@inria.fr>
______________________________________________________________________________
______________________________________________________________________________
CCP'95
First International Workshop on Concurrent Constraint Programming
Ca` Dolfin, Venice, Italy, May 29 - 31 1995
PRELIMINARY PROGRAM
______________________________________________________________________________
______________________________________________________________________________
MONDAY, MAY 29
______________
09:00 -- 10:00 Registration
10:00 -- 11:00 Invited talk : Continuous Constraint Programming
Vijay Saraswat (Xerox PARC, USA)
11:00 -- 11:20 Coffee break
11:20 -- 12:40 * Concurrent Constraint Programming with Information Removal
F. de Boer, C. Palamidessi, E. Best
Universities of Amsterdam / Genova / Hildesheim
* Constraints for Free in Concurrent Computation
J. Niehren and M. Muller
DFKI, Germany
14:40 -- 15:40 Invited talk : Parallelism and Computer Architecture
Roberto Bisiani (Universita` di Milano, Italy)
15:40 -- 16:00 Coffee break
16:00 -- 17:20 * Data Aligment and Task Scheduling on Parallel Machines using
Concurrent Model-based Programming
J. Jourdan, F. Fages, D. Rozzonelli, A. Demeure,
Thomson - CSF, France
* Tuning Constraint-based Communication in Distributed Problem
Solving
F. Arcelli, U. Borghoff, F. Formato, R. Pareschi
CRMPA, Italy / Rank Xerox, France
TUESDAY, MAY 30
_______________
10:00 -- 11:00 Invited talk : Interleaving, Noninterleaving and Abstract
Semantics for Concurrent Constraint Programming
Ugo Montanari (Universita` di Pisa, Italy)
11:00 -- 11:20 Coffee break
11:20 -- 13:20 * A Distributed Arc-Consistency Algorithm
T. Nguyen and Y. Deville
University of Louvain, Belgium
* Goffin Higher-Order Functions Meet Concurrent Constraints
M. Chakravarty, Y. Guo and M. Kohler
Imperial College, UK / University of Berlin, Germany
* cc(M) a kernel for implementing CC languages
Laurent Perron
Ecole Normale Superieure, France
20:00 -- late Banquet
WEDNESDAY, MAY 31
_________________
10:00 -- 11:00 Invited talk : Newton: Constraint Programming over
Nonlinear Real Constraints
Pascal Van Hentenryck (Brown University, USA)
11:00 -- 11:20 Coffee break
11:20 -- 12:40 * Domain Independant Ask Approximation in CCP
E. Zaffanella
Universita` di Pisa, Italy
* Constraint Systems for Pattern Analysis of Contraint Logic
Languages
R. Bagnara
Universita` di Pisa, Italy
14:40 -- 15:40 Invited talk : Computer Graphics: a new link between art
and mathematics
Michele Emmer (Universita` di Venezia, Italy)
15:40 -- 16:00 Coffee break
16:00 -- 17:20 * Partial Evaluation of AKL
D. Sahlin
SICS, Sweden
* DF Constraint system
L-V.Ciortuz
University of Iasi, Romania
GENERAL INFORMATION
___________________
a WWW page containing updated information about the workshop
can be consulted at http://oink.dsi.unive.it/ccp95
ABOUT THE CONFERENCE SITE
The conference will be held at Ca` Dolfin,
a 18th century Palace in downtown Venice, Italy.
Address : Dorsoduro 3246, 30 123 Venezia
The presentations will take place in the ``Aula Magna'' (main room)
with painted ceiling and overlooking the canal.
SOCIAL DINNER
A banquet will be held on the evening of Tuesday May 30.
All registred participants are cordially invited to the banquet.
Extra tickets will be available for accompagnying persons.
______________________________________________________________________________
______________________________________________________________________________
CCP'95
First International Workshop on Concurrent Constraint Programming
Ca` Dolfin, Venice, Italy, May 29 - 31 1995
REGISTRATION FORM
______________________________________________________________________________
______________________________________________________________________________
Please return this form WITH YOUR PAYMENT to:
Agostino Cortesi
Universita di Venezia
Dip. di Informatica
Via Torino 155
30170 MESTRE (VENEZIA)
Phone: + 41 2908429
Fax: + 41 2908419
e-mail: cortesi@moo.dsi.unive.it
Name: __________________________________________________________________
(Last) (First) (Middle)
Affiliation:__________________________________________________________________
Address: __________________________________________________________________
__________________________________________________________________
Telephone: ______________________________ Fax:______________________________
E-mail: ______________________________
______________________________________________________________________________
______________________________________________________________________________
Conference Fee: before May 1 after May 1
_______________
ITL 300 000 ITL 350 000
to be paid by cheque to: DIPARTIMENTO DI MATEMATICA APPLICATA
ED INFORMATICA UNIV. VE
The registration fee includes attendance to the workshop, coffee breaks, the
social dinner, as well as a copy of the (informal) proceedings.
______________________________________________________________________________
______________________________________________________________________________
CCP'95
First International Workshop on Concurrent Constraint Programming
Ca` Dolfin, Venice, Italy, May 29 - 31 1995
HOUSING REQUEST
______________________________________________________________________________
______________________________________________________________________________
If you would like us to arrange rooms, please fill in the items below.
Requests will be processed in the order they are received.
______________________________________________________________________________
______________________________________________________________________________
Name: __________________________________________________________________
(Last) (First) (Middle)
Arrival Date:_______________ Time:____________ Departure Date:________________
Please reserve
___a single room
___a double room
___a twin room to be shared with: ____________________________
in a ___* ___** ___*** Hotel
A double room with bath should cost about ITL 90 000 in a * hotel,
150 000 in a ** hotel and 220 000 in a *** hotel.
Singles should be somewhat cheaper, but there are few singles in Venice,
and we may be obliged to reserve double rooms for single occupancy.
In order to take your request into account,
we need a deposit of ITL 150 000 per room.
Accomodations tend to fill up quickly in Venice, so register early !
-----------------------------------------------------------------------
From: Violetta.Cavalli-Sforza@NL.CS.CMU.EDU
Date: Wed, 5 Apr 95 13:42:59 EDT
To: al@SUNNYSIDE.COM
Subject: Position: Machine Translation (Italian), CMU
US-PA-Pittsburgh Machine Translation Language Developer (Italian), CMU
Research Assistant, Machine Translation Applications
The CATALYST Project at Center for Machine Translation, Carnegie Mellon
University, is seeking a full-time staff member to work on the Italian
generation component of a large-scale machine translation system. The
system is targeted at the production of commercial documents in the domain
of heavy machinery. The chosen applicant will participate in the creation
and testing of Italian computational lexicon entries, grammar rules, and
semantic mapping rules.
Required skills:
* Native fluency in Italian.
* Programming experience (especially in Lisp, Unix tools).
* Desire to learn about computational linguistics.
Preferred skills:
* Experience with computational grammars, computational lexicons, or
similar.
* Experience with machine translation.
* Formal training in computational linguistics.
Starting salary range is $23,000 - 30,000. Actual salary offered will
depend on experience and skills. The position requires a committment
of approximately 2 years, with the possibility of an extension.
To apply, please send your resume to Violetta Cavalli-Sforza, whom you
may also contact via electronic mail or FAX for further information.
Violetta Cavalli-Sforza
Center for Machine Translation
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
email: violetta@cs.cmu.edu
Fax: (412) 268-6298
The Center for Machine Translation (CMT) is a research center within
the School of Computer Science at Carnegie Mellon University. Founded
in 1986, the CMT presently includes about 50 faculty, staff, graduate
students, and visiting researchers. The CMT conducts basic and applied
research in Machine Translation, Natural Language Processing, text
extraction, and computer-aided language instruction.
Pittsburgh is a friendly, medium-sized city in the western part of
Pennsylvania. It offers a relatively rich cultural environment and low
cost of living and is not too distant from major midwestern and east
coast cities.
-----------------------------------------------------------------------
To: nl-kr@ai.sunnyside.com
Subject: Announcement: Penn Treebank, Release 2 from LDC.
Date: Fri, 07 Apr 1995 13:03:54 EDT
From: LDC Office <ldc@pine.ling.upenn.edu>
Announcing a NEW RELEASE from the
LINGUISTIC DATA CONSORTIUM:
THE PENN TREEBANK PROJECT
Release 2
The Penn Treebank Project Release 2 CDROM features the new Penn
Treebank II bracketing style, which is designed to allow the
extraction of simple predicate/argument structure. Over one million
words of text are provided with this bracketing applied, along with
a complete style manual explaining the bracketing, and new versions
of tools for searching and treating bracketed data.
This CDROM also contains all the annotated text material from the
earlier Treebank Preliminary Release, including the Brown Corpus.
While these materials have not all been converted to the newer
bracketing style, they have been cleaned up to remove problems that
had appeared in the earlier release.
The contents of Treebank Release 2 are as follows:
* 1 million words of 1989 Wall Street Journal material annotated in
Treebank II style.
* A small sample of ATIS-3 material annotated in Treebank II style.
* 300-page style manual for Treebank II bracketing, as well as the
part-of-speech tagging guidelines.
* Tools for processing Treebank data, including a new version of
tgrep (a tree-searching and manipulation package).
* The contents of the previous Treebank CDROM (Version 0.5), with
cleaner versions of the WSJ, Brown Corpus, and ATIS material
(annotated in Treebank I style).
In addition, the Penn Treebank Project will be providing updates,
announcements and a discussion forum for users. A file of updates and
further information available via anonymous ftp from
ftp.cis.upenn.edu, in pub/treebank/doc/update.cd2. This file will
also contain pointers to a gradually expanding body of relatively
technical suggestions on how to extract certain information from the
corpus.
Detailed questions about the corpus may be sent to
treebank@unagi.cis.upenn.edu, while questions and requests for
obtaining Treebank Release 2 should be sent to
ldc@unagi.cis.upenn.edu.
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@uunet.uu.net
From: saletore@chert.CS.ORST.EDU (Vikram Saletore)
Subject: CFP: ILPS`95: Intl. Logic Prog. Symp., Dec 95, Portland
Date: 5 Apr 1995 20:30:24 GMT
SUBMISSION BY APRIL 24, 1995
----------------------------
INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM (ILPS'95)
---------------------------------------------------
December 4-7, 1995
------------------
PORTLAND, OREGON, USA
---------------------
Sponsored by the Association of Logic Programming
Logic programming originates from the discovery that a subset of
predicate logic could be given a procedural interpretation which was
first embodied in the programming language Prolog. The unique features
of logic programming make it appealing for numerous applications in
artificial intelligence, computer-aided design and verification,
databases, and operations research as well as to explore parallel and
concurrent computing. The last two decades have witnessed substantial
developments in this field from its foundation to implementation,
applications, and the exploration of new language designs.
The Logic Programming Symposium is one of the two major annual
international conferences reporting recent research results in logic
programming. The technical program for the conference will include
tutorials, invited lectures, a panel, and presentations of refereed
papers and posters. A series of workshops is scheduled immediately after
the conference. Papers are welcome on all aspects of logic programming,
including, but not limited to:
Analysis and transformation Non-monotonic reasoning
Applications Parallelism
Architecture Programming environments
Artificial intelligence Programming language design
Concurrency Programming methodology
Constraints Meta-programming
Databases Semantics and foundations
Higher-order programming Theorem proving
Implementation Types and objects
Natural language processing
The theme for the conference will be ``Declarative Systems'', particularly
the integration of the logic programming, functional programming, and
object-oriented programming paradigms. Papers from researchers in other
communities on interdisciplinary research involving logic programming
and functional and/or object-oriented programming will be especially
welcomed. A panel discussion on the integration of logic and functional
programming will be a special event at the conference.
Papers must be written in English, must not exceed 15 pages (including
references and figures), and must contain a cover page including the
following: a 200 word abstract, keywords, and postal and electronic
mailing addresses as well as phone numbers and fax numbers of the
responsible author. Submitted papers should not have been previously
published or submitted to any journals or refereed conferences or
workshops. Accepted papers must be presented at the conference.
Send six (6) copies of your submission by April 24, 1995 to
-------------------------------
John Lloyd
Department of Computer Science
University of Bristol
Bristol, BS8 1TR, U.K.
Email: jwl@compsci.bristol.ac.uk
Phone: +44-272-287953 Fax: +44-272-251154
Authors will be notified of the acceptance or rejection of their
papers by July 17, 1995. Final versions of the accepted
papers must be received in camera-ready form by August 25, 1995.
The proceedings will be published by MIT Press.
Program Committee
-----------------
Hassan Ait-Kaci Canada
Sergio Antoy USA
Krzysztof Apt Netherlands
Frederic Benhamou France
Mats Carlsson Sweden
Takashi Chikayama Japan
John Conery USA
John Darlington UK
Danny De Schreye Belgium
John Gallagher UK
Michael Hanus Germany
Deepak Kapur USA
John Lloyd UK
Micha Meier Germany
Dale Miller USA
Hakan Millroth Sweden
Juan Jose Moreno Navarro Spain
Chris Moss UK
Shamim Naqvi USA
Catuscia Palamidessi Italy
Luis Moniz Pereira Portugal
Olivier Ridoux France
Marek Sergot UK
Harald Sondergaard Australia
Peter Stuckey Australia
Franco Turini Italy
Allen Van Gelder USA
Carlo Zaniolo USA
General Chair
-------------
Evan Tick (University of Oregon)
Program Chair
-------------
John Lloyd (University of Bristol)
Workshop Chair
-------------
David Maier (Oregon Graduate Institute)
Publicity Chair
-------------
Vikram Saletore (Oregon State University)
Organizing Committee
--------------------
Sergio Antoy (Portland State)
David Maier (Oregon Graduate Institute)
Vikram Saletore (Oregon State University)
Evan Tick (University of Oregon)
Local Organization
------------------
Sergio Antoy (Portland State University)
End of NL-KR Digest
*******************
