Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 80
NL-KR Digest Sun Dec 31 18:55:32 PST 1995 Volume 14 No. 80
Today's Topics:
CFP: AAAI96 Wkshp Actions, Planning, Control, Aug 96, Portland
CFP: MAICS96 Midwest AI&CogSci Conf., Apr 96, Bloomington
Announcement: New Release from the LDC
CFP: KBSE'96 11th Knowledge-Based Software Eng., Sep 96, Syracuse
CFP: CLAW 96 Intl. Wkshp on Language Applications, Mar 96, Leuven
Announcement: SECC Project on WWW - Grammar/Spell Checker
Announcement: Book on Reasoning About Knowledge
* * *
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).
-----------------------------------------------------------------------
From: chitta@cs.utep.edu (C Baral)
Subject: CFP: AAAI96 Wkshp Actions, Planning, Control, Aug 96, Portland
Date: Wed, 6 Dec 1995 23:08:21 GMT
AAAI96 Workshop on
Theories of action, Planning and Control: Bridging the gap.
* * * * * * * * * * * * * **
The goal of the workshop is to bring together active researchers
in the areas of theories of actions, planning and control archi-
tectures to discuss and analyze the interrelation between these
areas, and to accelerate the interaction between them.
Specific topics of interest are: Identification of features in
theories of actions that make it possible to develop efficient
planning algorithms; Study of the relation between the inference
methods associated with logical formalizations of a particular
theory of action and planning algorithms for that theory; Ex-
ploration of advantages and disadvantages of generate and test
planners. (some possible advantages are easy incorporation of
domain knowledge, easy incorporation of non-standard goals such
as maintaining the value of a fluent etc.); Incorporation of as-
pects related to control (such as: execution of actions,
knowledge producing actions, actions that may fail, etc.) into
theories of actions; and Other topics that relate to the inter-
face between these areas.
The one and half day workshop will consist of tutorials, indivi-
dual presentations and panel discussions. Participants interest-
ed in presenting their work should send 4 copies of their paper
(5000 words) or position paper (1500 words) by March 18, 1996 to
Chitta Baral, Department of Computer Science, University of Texas
at El Paso, El Paso, TX 79968, USA, 915-747-6952/5030 (ph/fax).
(Email submissions in postscript to chitta@cs.utep.edu is pre-
ferred.) Other interested participants should send a one page
description of their research interest. Further information on
this symposium and some papers related to this workshop can be
found at http://cs.utep.edu/actions/aaai96.html.
The workshop committee consists of an organizing committee of
Chitta Baral, Fahiem Bacchus, Ray Reiter, and Paolo Traverso and
a steering and program committee of Michael Gelfond, Fausto Giun-
chiglia, Craig Knoblock, Ben Kuipers, Vladimir Lifschitz, Fang-
zhen Lin, Edwin Pednault, Sam Steel, and Qiang Yang.
-----------------------------------------------------------------------
To: nl-kr@snyside1.sunnyside.com
Subject: CFP: MAICS96 Midwest AI&CogSci Conf., Apr 96, Bloomington
Date: Wed, 06 Dec 1995 22:52:05 -0500
From: Michael Gasser <gasser@cs.indiana.edu>
C A L L F O R P A P E R S
M A I C S '9 6
Seventh Midwest Artificial Intelligence
and Cognitive Science Conference
April 26-28, 1996
(Friday evening - Sunday noon)
Indiana University, Bloomington
[Paper deadline: February 15, 1996]
The 1996 Midwest Artificial Intelligence and Cognitive Science
Conference will be held in Bloomington, Indiana -- known for its
music, its basketball, its woods and lakes, and its cognitive science
and logic programs. This year we seek to expand the range of
participating institutions and research areas. We think a strong and
inclusive regional conference on cognitive science is both possible
and desirable. The conference will feature invited talks by Jon
Barwise (Indiana) and Gary Dell (Illinois), technical papers,
symposia, a Best Student Paper prize, and several social events.
Symposia proposed thus far include Symbol Grounding and Case-Based
Reasoning.
We invite papers in all areas of artificial intelligence and cognitive
science, including psychology, linguistics, logic, and philosophy of mind,
as long as they are appropriate for a general cognitive science audience.
Graduate students in particular are encouraged to submit. We also welcome
proposals for symposia on particular topics.
Up-to-date Conference information will be provided on the MAICS96
World-Wide Web page at:
http://www.cs.indiana.edu/event/maics96/.
ORGANIZERS
Conference Chair
Robert Port, Indiana University, Bloomington
Program Chair
Michael Gasser, Indiana University, Bloomington
Program Committee
Martha Evens, Illinois Institute of Technology
Robert Goldstone, Indiana University, Bloomington
Tom Hinrichs, Northwestern University
Vasant Honavar, Iowa State University
Richard Maclin, University of Minnesota, Duluth
Gregg Oden, University of Iowa
David Opitz, University of Minnesota, Duluth
Terry Regier, University of Chicago
Jude Shavlik, University of Wisconsin, Madison
Alice ter Meulen, Indiana University, Bloomington
DeLiang Wang, The Ohio State University
SUBMISSION GUIDELINES
Authors should submit full papers on any topic in artificial
intelligence or cognitive science, broadly conceived. These will be
evaluated for originality and significance of the research, for
clarity of presentation, and for relevance to a broad audience of
cognitive science researchers. All accepted papers will be presented
orally and will be made available in the On-Line Proceedings. Papers
whose first author is a student are eligible for the Best Student
Paper Prize if the authors of the paper assert that primary
responsibility for the work lies with the student.
Papers may be submitted either electronically or in hard copy
form. Electronic submissions may take the form of plain text or LaTeX
files or a URL to an HTML file which is accessible on the World-Wide
Web. Authors should be careful to include all macro files necessary
for LaTeX files as we will not be responsible for files which cannot
be formatted. Figures for LaTeX and plain text files should be
Postscript files. Figures for HTML documents should be inline images
(GIF, JPEG, XBM, or Postscript). Hard-copy submissions should have
1-inch margins on all sides and should be in 12-point type.
Papers should be a maximum of six pages long, including figures
and references. (The relevant length for an HTML document is the
number of pages required to print it out in 12-point type.) Names,
addresses, and e-mail addresses of authors and an abstract should be
included at the beginning of each paper.
The Proceedings for the Conference will appear on-line on the
World-Wide Web. Final papers should be in either HTML or Postscript
format; the former is highly recommended because it permits searches.
Details of final format will be forthcoming on the Conference Web
page.
Hard copy submissions must be postmarked by Thursday, February 15,
1996, and sent to
Michael Gasser
Indiana University
Computer Science Department
Lindley Hall 215
Bloomington, IN 47405
Electronic submissions should by e-mailed by Thursday, February 15,
1996, to
gasser@cs.indiana.edu
Papers not meeting the deadline will not be considered.
Proposals for symposia should also be sent to either of the above
addresses by February 15.
IMPORTANT DATES
February 15 Deadline for paper submissions
March 15 Notification of acceptance or rejection
April 19 Final versions of papers due
April 26-28 Conference dates
REGISTRATION: Registration will be $30 for faculty, $15 for students. This
includes an opening reception and morning refreshments.
FOR FURTHER INFORMATION: Our web page will contain all official updated
information relevant to the conference:
http://www.cs.indiana.edu/event/maics96/
Or contact:
Michael Gasser, (812) 855-7078
gasser@cs.indiana.edu
Robert Port, (812) 855-9217
port@cs.indiana.edu
Student Conference Coordinator:
Doug Blank, (812) 855-8702
blank@cs.indiana.edu
-----------------------------------------------------------------------
From: Centre for Lexical Information <celex@mpi.nl>
Date: Thu, 7 Dec 1995 20:18:01 +0100 (MET)
To: corpora@hd.uib.no, empiricists@csli.stanford.edu,
Subject: Announcement: New Release from the LDC
Announcing a
NEW RELEASE from the
LINGUISTIC DATA CONSORTIUM
and the
CENTRE FOR LEXICAL INFORMATION
This message announces the Second Release of the CELEX CD-ROM with
lexical data from the Dutch Centre for Lexical Information and the
Linguistic Data Consortium.
This CD-ROM contains an enhanced, expanded version of the German
lexical database (2.5), featuring approximately 1000 new lemma
entries, revised morphological parses, verb argument structures,
inflectional paradigm codes, and a corpus type lexicon. A complete
PostScript version of the German Linguistic Guide is also included, in
both European A4-format and American Letter format. For German, the
total number of lemmas included is now 51,728, while all their
inflected forms number 365,530.
Moreover, phonetic syllable frequencies have been added for (British)
English and Dutch. Apart from this, and the provision of frequency
information alongside every lexical feature, no changes have been made
to the Dutch and English lexicons.
Complete AWK-scripts are now provided to compute representations not
found in the (plain ASCII) lexical data files, corresponding to the
features described in the CELEX User Guide, which is included on the
CD as well.
For each language, i.e. English, German and Dutch, the CD-ROM contains
detailed information on the orthography (variations in spelling,
hyphenation), the phonology (phonetic transcriptions, variations in
pronunciation, syllable structure, primary stress), the morphology
(derivational and compositional structure, inflectional paradigms),
the syntax (word class, word-class specific subcategorisations,
argument structures), and word frequency (summed word and lemma
counts, based on recent and representative text corpora) of both
wordforms and lemmas. Unique identity numbers allow the linking of
information from different files with the aid of an efficient,
index-based C-program.
Like its predecessor, the CD-ROM is mastered using the ISO 9660 data
format, with the Rock Ridge extensions, allowing it to be used in VMS,
MS-DOS, Macintosh and UNIX environments. As the new release does not
omit any data from the first edition, the current release will replace
the old one.
Institutions that have membership in the LDC during the 1995 or 1996
Membership Years will be able to receive CELEX for research purposes
only at no additional charge, in the same manner as all other text and
speech corpora published by the LDC.
Non-members can receive a copy of CELEX for research purposes only for
a fee of $150. If you would like to order a copy of this corpus,
please email your request to ldc@unagi.cis.upenn.edu, or fax it to
(215) 573-2175. If you need additional information before placing your
order, or would like to inquire about membership in the LDC, please
send email or call (215) 898-0464.
Further information about the LDC and its available corpora can be
accessed on the Linguistic Data Consortium WWW Home Page at URL
http://www.cis.upenn.edu/~ldc. More information specific to CELEX can
be accessed via hyperlinks from this Home Page. Information is also
available via ftp at ftp.cis.upenn.edu under pub/ldc; for ftp access,
please use "anonymous" as your login name, and give your email address
when asked for password.
A brief overview of the revised German data on the CD is given below:
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
THE GERMAN DATABASE
When starting to use the German database, the user first has to choose
between three so-called `lexicon types':
- a lemma lexicon
- a wordform lexicon
- a corpus type lexicon
Each lexicon type uses a specific kind of entry. The CELEX lemma
lexicon is the one most similar to an ordinary dictionary since every
entry in this lexicon represents a set of related inflected words. In
a lexicon, a lemma can be represented by using a headword (cf.
traditional dictionary entries) such as, for example, `helfen' (help)
or `Hund' (dog), or by a stem such as, for example, 'helf' or 'Hund'.
The wordform lexicon yields all possible inflected words: every entry
in the lexicon is an inflectional variant of the related headword or
stem. So, a wordform lexicon contains words like `helfe', `hilft',
`geholfen', `huelfe', `Hundes', `Hunde' and so on. A corpus type
lexicon, on the other hand, simply gives you an ordered list of all
alphanumeric strings found in the corpus with raw string counts,
undisambiguated for relations to either lemmas or wordforms.
For all types of lexicons, the user may subsequently select any number
of columns -- from approximately 200 database columns -- combining
information on the orthography, phonology, morphology, syntax and
frequency of the entries.
LEXICAL DATA, GERMAN
The lexical data that can be selected for each entry in the different
German lexicon types can be divided into five categories: orthography,
phonology, morphology, syntax and frequency.
- - - - - - - - - - - - - -
Orthography - with or without diacritics
(spelling) - with or without word division positions
- number of letters/syllables
Phonology - phonetic transcriptions which use different notations
(pronunciation) like SAMPA or CPA and include:
- syllable boundaries
- primary stress markers
- consonant-vowel patterns
- number of phonemes/syllables
Morphology - Derivational/compositional:
(word structure) - division into stems and affixes
- flat or hierarchical representations
- Inflectional:
- stems and their inflections
Syntax - word class
(grammar) - subcategorisations per word class
Frequency - Mannheim frequency(*)
- - - - - - - - - - - - - -
(*) These frequency data are based on the 6 million word corpus
compiled by the Institut fuer Deutsche Sprache in Mannheim, Germany.
EXAMPLE DATA, GERMAN
An arbitrary query using a small German lemma lexicon (that is, one
with very few columns) might yield the following result:
- - - - - - - - - - - - - ----
Headword Pronunciation Morphology: M: Cl Freq
Structured Segmentation Cl
----------- ---------------- ------------------------ --- -- ----
helfen "hEl-f@n (helf) V V 1225
Helfer "hEl-f@r ((helf),(er)) Vx N 134
hellaeugig "hEl-Oy-gIx ((hell),(Auge),(ig)) ANx A 0
hellblau "hEl-blau ((hell),(blau)) AA A 28
Hellseher "hEl-ze:-@r (((hell),(seh)),(er)) AVx N 20
hellseherisch "hEl-ze:-@-rIS (((hell),(seh)),(erisch)) AVx A 0
hellwach "hEl-vax ((hell),(((wach),(e)))) AVx A 13
Helm "hElm (Helm) N N 22
Hund "hUnt (Hund) N N 364
Huendchen "hYnt-x@n ((Hund),(chen)) Nx N 7
hundekalt "hUn-d@-kalt ((Hund),(e),(kalt)) NxA A 0
hundemuede "hUn-d@-my:-d@ ((Hund),(e),(muede)) NxA A 3
Hundeschnauze "hUn-d@-Snau-ts@ ((Hund),(e),(Schnauze)) NxN N 1
Hundesteuer "hUn-d@-StOy-@r ((Hund),(e),(Steuer)) NxN N 6
Hundewetter "hUn-d@-vE-t@r ((Hund),(e),(Wetter)) NxN N 0
Huendin "hYn-dIn ((Hund),(in)) Nx N 7
huendisch "hYn-dIS ((Hund),(isch)) Nx A 2
Huene "hy:-n@ (Huene) N N 13
huenenhaft "hy:-n@n-haft ((Huene),(n),(haft)) Nxx A 4
Hunger "hU-N@r (Hunger) N N 102
Hungerkur "hU-N@r-ku:r ((Hunger),(Kur)) NN N 5
Hungerlohn "hU-N@r-lo:n ((Hunger),(Lohn)) NN N 6
hungern "hU-N@rn ((Hunger)) N V 33
Hungersnot "hU-N@rs-no:t ((Hunger),(s),(Not)) NxN N 23
Hungerstreik "hU-N@r-Straik ((Hunger),((streik))) NV N 14
- - - - - - - - - - - - - ----
Richard Piepenbrock
CELEX Project Manager
C
-- C E L E X --
-- The Centre for Lexical Information -- C
C C C
C
Max Planck Institute for Psycholinguistics C CCCCCC
Wundtlaan 1 C CCCCCCCCCCCCC
6525 XD NIJMEGEN C C C CCCCCCCCCCCCCCCC
The Netherlands CCCCCCCCCC CC
C CCCCCCCC
Tel: (+31) (0)24 - 3615797 CCCCCCCC
Fax: (+31) (0)24 - 3521213 CCCCCCCC
CCCCCCCC
CCCCCCCC
E-mail: celex@mpi.nl CCCCCCCC
CCCCCCCC
WWW-page: http://www.kun.nl/celex/ CCCCCCCC
CCCCCCCCC
CCCCCCCCCCC
-----------------------------------------------------------------------
From: weltyc@cs.vassar.edu (Chris Welty)
Date: Thu, 7 Dec 95 17:40:24 EST
To: nl-kr@sunnyside.com
Subject: CFP: KBSE'96 11th Knowledge-Based Software Eng., Sep 96, Syracuse
KBSE'96
The 11th Knowledge-Based Software Engineering Conference
September 25-28, 1996
The Syracuse Sheraton
Syracuse, N.Y.
Sponsored by Rome Lab.
Pending cooperation with AAAI, ACM SIGART and SIGSOFT,
and the IEEE Computer Society.
Preliminary Call for Papers
Submission Deadline: April 12, 1996
General up-to-date information about KBSE can be found at the KBSE
Home Page, http://sigart.acm.org/Conferences/kbse/
The Knowledge-Based Software Engineering Conference has for the
past decade been providing a forum for researchers and practitioners
to discuss the application of automated reasoning, knowledge
representation, and other artificial intelligence techniques to software
engineering problems. KBSE-96 will continue this tradition with a
focus on constructing, representing, reasoning with, and
understanding software artifacts and processes using
knowledge-based techniques. These techniques may be fully
automatic, may support, or cooperate with people.
KBSE-96 encourages contributions describing basic research, novel
applications, and experience reports. Some, but by no means all, of the
topics solicited are:
Applications
Automating software design and synthesis
Software Domain Modeling
Education
Knowledge Acquisition
Maintenance and evolution
Plan and Cliche Recognition
Process management
Program understanding
Requirements
Reuse
User interfaces and human interaction
Validation and verification
All accepted papers will be published in the proceedings. In addition,
several of the highest quality accepted papers will be published in a
special issue of The Journal of Automated Software Engineering
KBSE-96 will also include invited talks, tutorials, panel discussions,
and project demonstrations.
Submission Information
Papers should not exceed 6000 words in length, with full page figures
counting as 300 words. Papers will be reviewed by at least three
members of the program committee according to: technical quality,
originality, clarity, appropriateness to the conference community, and
adequacy of references to related work.
Electronic submissions in Postscript, PDF, MIF, or RTF will be
accepted. Postscript submissions must be printable on an Apple
Laserwriter or viewable with ghostscript. If you can not test using
one of these mechanisms, do not submit postscript. Page size for all
electronic submissions must be 8.5x11 (U.S. Letter). Electronic
submissions should be sent to kbse-96-submit@cs.vassar.edu.
For hardcopy submission, six copies of the paper submission should be
sent to the Program Chair. No fax submissions will be accepted.
Important Dates
Sumission Deadline: April 12, 1996
Author Notification: TBA
Camera-Ready Submissions: TBA
Venue
KBSE will be returning to its roots in 1996, as the conference was
located in the Syracuse/Rome area through 1991. The site of KBSE-96 is
the same as KBSE-91, the Syracuse Sheraton, which is just outside the
main campus of Syracuse University. The leaves will have just started
changing color. An Oktoberfest celebration is planned with a local
brewery.
KBSE-96 Organization
General Chair:
Doug White
Rome Laboratory
white@ai.rl.af.mil
Program Chair:
Chris Welty
Vassar College
Computer Science Dept.
Poughkeepsie, NY 12601
(914) 437-5992
weltyc@cs.vassar.edu
Tutorials/Panels Chair:
David Redmiles
Computer and Information Sciences Dept.
University of California at Irvine
redmiles@ics.uci.edu
Publicity Chair:
Adele Howe
Computer Science Dept.
Colorado State University
howe@cs.colostate.edu
Program Committee:
Paul Bailor, AFIT
Israel Ben-Shaul, Technion
Kevin Benner, Andersen
Alan Bundy, U. Edinburgh
Paul Clements, CMU SEI
Prem Devanbu, AT&T
Martin Feather, USC ISI
Steve Fickas, U. Oregon
Gerhard Fischer, CU Boulder
Jim Gish, GTE
Cordell Green, Kestrel
Mehdi Harandi, UIUC
Lou Hoebel, Rome Lab
Karen Huff, GTE
Lewis Johnson, USC ISI
Gail Kaiser, Columbia U.
Yves Ledru, IMAG
Michael Lowry, NASA Ames
Alex Quilici, U. Hawaii
David Redmiles, UC Irvine
Howard Reubenstein, GTE
Daniela Rosca, ODU
Akiyoshi Sato, NEC
Peter Selfridge, AT&T
Dorothy Setliff, U. Pittsburgh
Doug Smith, Kestrel
Loren Terveen, AT&T
Chris Welty, Vassar College
Doug White, Rome Lab
Alan Whitehurst, BYU
-----------------------------------------------------------------------
From: news@chaos.kulnet.kuleuven.ac.be
To: comp-ai-nlang-know-rep@Belgium.EU.net
Subject: CFP: CLAW 96 Intl. Wkshp on Language Applications, Mar 96, Leuven
Date: 08 Dec 1995 09:48:43 GMT
CLAW96 --- FIRST CALL FOR PARTICIPATION
THE FIRST INTERNATIONAL WORKSHOP ON CONTROLLED
LANGUAGE APPLICATIONS
CLAW
96
Katholieke Universiteit Leuven
Centre for Computational Linguistics
26-27 March 1996
CONTEXT
Both in industrial and academic circles, we have recently
witnessed a growing interest in the use of restricted languages,
either for improved communication purposes, or as a way to ensure
better success for NLP applications. An example of the former is
the well-known use of AECMA Simplified English in the aerospace
industry (sometimes supported by NLP tools). For the latter, one
of the starting points is that ``natural language is a wild and
unruly animal'', and that imposing restrictions on it before
processing it may yield better computational results than trying
to process non-restricted input. Approaches in use to date
include the usage of restricted language checkers as front-ends
for machine translation.
Through the LRE-2 project SECC, the EC is sponsoring the first
edition of the International Workshop on Controlled Language
Applications (CLAW). Goal of the workshop is to bring together
researchers and developers (both academic and industrial), as
well as users and potential users of applications that
incorporate a form of controlled language.
INVITED PAPERS
The two-day workshop will feature some 20 presentations of
ongoing work, as well as demonstrations of commercially available
systems and systems in development.
In principle, presentations will be on an invitation basis, where
we try to invite everybody active in the field to come and
present their work. If, however, we miss some people for lack of
information on their work, we certainly do not want to exclude
proposals for presentation.
Among the companies, institutions, or projects we intend to invite for
presentations are: Aerospatiale, Boeing, General Motors,
Caterpillar, Alcatel Bell, Rank Xerox, Cap Volmac, Bull, Oracle,
Shell Oil, GSI-Erli, SRI, Carnegie Group, Smart, GramCheck
(MLAP), GRAAL (Eureka), INDOCREN(MLAP), DOCSTEP(MLAP),
TSNLP(LRE), LinguaNET(LE), SECC(LRE) and others.
Presentations can take between 30 minutes and 1 hour, depending
on the number and kind of reactions we will get.
CLAW96 also offers the possiblity of presenting systems without
charging extra costs for a stand. We expect the participants to
bring their own equipment as much as possible. For further
information, please contact the organisers.
FORMAT AND DELIVERY MODES
Your submission should respect the following conventions: single
column, single spaced and point size 12. Footnotes should be used
instead of endnotes. Headers and footers are not allowed. Submissions
should be in English, be about 10 pages in length (minimum 5, maximum
15), and contain a short abstract of about 100 words.
The format of your submissions can be a self-contained
LaTeX-source. If your source is actually a collection of files
(s.a. screendumps or other graphics, include-files), then put
them all in an archive file. Any format is OK (tar, zip, and so on).
If your submissions is a word processor document (Word, WP, Frame,
and so on), please turn it into PostScript format and suppress
page numbering.
MEANS OF SENDING
You can send us your contribution by e-mail. Compress your
file (source of archive file). Any compression method will do
(preferably gnuzip of zip). Afterwards uuencode it (or use
mpack) and send it to claw96@ccl.kuleuven.ac.be.
If you do not have e-mail, please send us a diskette with the
LaTeX-source or the PostScript file.
Deadline for submission of papers is 15 February 1996. If any
adaptations should be requested, we will make the suggestions
to the contributors by 5 March 1996 at the latest.
PARTICIPATION FEES
Basic Participation fee (without workshop banquet): 2500 BEF
Participation fee with workshop banquet (26 March): 3500 BEF
The basic participation fee covers coffee breaks, a copy of the
proceedings and a farewell reception on 27 March.
Registrations for the workshop (and hotel reservations, see
below) should reach us no later than 15 March 1996. Details
about form(s) of payment will follow in due time.
Because the participation fee is kept low, no refund will
be possible.
ACCOMMODATION
We have reserved a sufficient number of rooms in two hotels
that are located near the workshop site.
Garden Court Holiday Inn Hotel (Class A)
Rate: 3900 BEF per room + 475 BEF per person for buffet
breakfast
Binnenhof Hotel (Class B)
Rate: single 2600 BEF - double 3000 BEF
Reservations are made by us. The workshop registration will
include a hotel accommodation form.
WORKSHOP COMMITTEE
Geert Adriaens (Siemens Nixdorf and K.U.Leuven CCL)
Bruno Tersago (K.U.Leuven CCL)
Rick Wojcik (Boeing Computer Services)
Roger Havenith (LE Project Officer, European Commission)
MORE INFORMATION
CLAW96
c/o Centre for Computational Linguistics
Katholieke Universiteit Leuven
Maria-Theresiastraat 21
B-3000 Leuven
tel: +32-16-32.50.88
fax: +32-16-32.50.98
email: claw96@ccl.kuleuven.ac.be
-----------------------------------------------------------------------
From: news@chaos.kulnet.kuleuven.ac.be
To: comp-ai-nlang-know-rep@Belgium.EU.net
Subject: Announcement: SECC Project on WWW - Grammar/Spell Checker
Date: 08 Dec 1995 11:22:05 GMT
Hello everybody,
Here is some news that will certainly interest
people active in the field of controlled languages:
* The European SECC project (A Simplified English
Grammar and Style Checker/Corrector) offers
the possibility of trying out the SE tool it
is developing via WWW. You can submit a sentence
and get "network-instantaneous" feedback about errors,
as well as a proposal for correction.
The URL is http://www.ccl.kuleuven.ac.be/cgi-bin/seccdemo.cgi
* Willem-Olaf Huijsen of the University of Utrecht, the
Netherlands, has started working on a "Controlled
Languages Home Page", and welcomes any input.
The URL is http://wwwots.let.ruu.nl/Controlled-languages/
Kind regards,
G. Adriaens
Siemens Nixdorf & University of Leuven, Belgium
SECC Project Coordinator
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@uunet.uu.net
From: Michael Rutter <rutter@mit.edu>
Subject: Announcement: Book on Reasoning About Knowledge
Date: 15 Dec 1995 14:10:38 GMT
*NEW BOOK ANNOUCEMENT*
Reasoning About Knowledge
by Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi
Reasoning About Knowledge is the first book to provide a general
discussion of approaches to reasoning about knowledge and its
applications to distributed systems, artificial intelligence, and game
theory. It brings ten years of work by the authors into a cohesive
framework for understanding and analyzing reasoning about knowledge that
is intuitive, mathematically well founded, useful in practice, and
widely applicable. The book is almost completely self-contained and
should be accessible to readers in a variety of disciplines, including
computer science, artificial intelligence, linguistics, philosophy,
cognitive science, and game theory. Each chapter includes excercises and
bibliographic notes.
For more information on this title, please
consult our WWW site: http://www-mitpress.mit.edu/
End of NL-KR Digest
*******************
