Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 15 No. 15
NL-KR Digest Sat Mar 2 13:38:02 PST 1996 Volume 15 No. 15
Today's Topics:
Announcement: Research Studentships, Robert Gordon U.
CFP: KR'96 5th Princ. of KR and Reasoning, Nov 96, Cambridge
CFP: SIGPARSE96 Punctuation Workshop, Jun 96, Santa Cruz
Announcement: free Common Lisp Web Server (58.3a), MIT
CFP: LACL Logical aspects of Comp. Linguistics, Sep 96, Nancy
* * *
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).
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@uunet.uu.net
From: Gareth Palmer <g.palmer@scms.rgu.ac.uk>
Subject: Announcement: Research Studentships, Robert Gordon U.
Date: Mon, 26 Feb 1996 15:08:59 +0000
Reply-To: j.usher@scms.rgu.ac.uk
The Robert Gordon University, Aberdeen, Scotland
School of Computer and Mathematical Sciences
Postgraduate Research Studentships
----------------------------------
The School provides excellent facilities for research leading to M.Phil
or PhD. Research is mainly collaborative with industry and research
establishments. Research projects available are:
FIRE Project: Frameworks for Information Retrieval
Qualitative Models and their Relation to Reasoning Tasks
Generation Techniques for Machine Translation
Unifying Computational Models of Space, Time and Motion
Building Three Dimensional Graphical Interfaces for Accessing
Information
Quantum Group Models of Physical Phenomena
Applications are invited, particularly from final year undergraduates
expecting to receive a first class or upper second class honours degree,
for these studentships which are an integral part of the rapidly
expanding research base within the School.
Informal enquiries to: Dr J Usher (01224) 262707; Ms D Patience (01224)
262728.
This announcement, together with further information, is available via
the World-Wide Web, at
http://www.scms.rgu.ac.uk/vacancies/studentships.html
--
Dr. Gareth Palmer http://www.scms.rgu.ac.uk/staff/gp/
School of Computer and Mathematical Sciences,
The Robert Gordon University, Aberdeen,
Scotland AB1 1HG mailto:g.palmer@scms.rgu.ac.uk
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@uunet.uu.net
From: KR96 Conference Service <kr96@kr.org>
Subject: CFP: KR'96 5th Princ. of KR and Reasoning, Nov 96, Cambridge
Date: 26 Feb 1996 17:15:34 GMT
KR'96 - CALL FOR PAPERS
FIFTH INTERNATIONAL CONFERENCE ON
PRINCIPLES OF
KNOWLEDGE REPRESENTATION AND REASONING
Cambridge, Massachusetts, U.S.A.
November 5-8, 1996
World Wide Web: http://www.kr.org/kr/
Information Autoresponder: kr96-info@kr.org
KR Mailing List: KR-Majordomo@kr.org
Contact information below
INVITATION
Explicit representations of knowledge manipulated by inference
algorithms provide an important foundation for much work in Artificial
Intelligence, from natural language dialogue systems to expert systems.
We intend KR'96 to be a place for the exchange of news, issues, and
results among the community of researchers in the principles and
practices of knowledge representation and reasoning (KR&R) systems.
We encourage papers that present substantial new results in the
principles of KR&R systems while clearly showing the applicability of
those results to implemented or implementable AI systems. We also
encourage "reports from the field" of applications, experiments,
developments, and tests. The following topics are meant to be
suggestive of the scope of the conference.
Representational Formalisms
Representing Belief, Intention, Time, Space, Action, Events
Nonmonotonic Logics
Description Logics
Reasoning Techniques
Deduction
Induction
Abduction
Reasoning under Uncertainty
Parallel and Distributed Implementations
Efficiency Measures and Complexity
Implemented KR&R Systems
Reports
Updates
Comparisons
Evaluations
Significant Applications of KR&R Systems and Techniques
Planning
Robotics
Diagnosis
Natural Language
Multi-Agent Environments
Knowledge Bases
Implications for/of Other Areas of AI and CS
Machine Learning
Decision Theory
Databases
Software Engineering
SCHEDULE
KR'96 will be held in Cambridge immediately preceding the AAAI Fall
Symposia Series, and immediately after several independent workshops.
More information on these adjoining meetings appears at the end of
this announcement.
May 6, 1996 Extended abstracts due
July 1, 1996 Results to authors
August 15, 1996 Final papers due
November 2-4, 1996 Workshops (DL'96, Relevance)
November 5-8, 1996 KR'96
November 9-11, 1996 AAAI Fall Symposia
SUBMISSION OF PAPERS
The Program Committee will review EXTENDED ABSTRACTS rather than
complete papers. Submissions must be at most twelve (12) pages,
excluding the title page and the bibliography, with a maximum of 38
lines per page and an average of 75 characters per line (corresponding
to the LaTeX article-style, 12pt). Overlength submissions will be
rejected without review. All abstracts must be submitted on 8 1/2 by
11 inch or A4 paper, and printed or typed in 12-point font (10
characters per inch on a typewriter). Dot matrix printout, FAX, or
electronic submission will not be accepted. Each submission should
include the names and complete addresses (including email, when
possible) of all authors. Correspondence will be sent to the first
author, unless otherwise indicated. Also, authors should indicate
under the title which of the topic areas listed above best describes
their paper (if none is appropriate, please give a set of keywords
that best describe the topic of the paper).
KR'96 is arranging with AAAI to handle the collection and
acknowledgment of submissions. To be considered, five (5) paper
copies of each extended abstract must be received no later than May
6, 1996 at the following address:
KR'96
c/o AAAI
445 Burgess Drive
Menlo Park, CA 94025
Receipt of submissions will be acknowledged, ordinarily by email.
Remaining questions concerning receipt of submission may be addressed
to AAAI at
Tel: 415-328-3123
Fax: 415-321-4457
Email: kr@aaai.org
MULTIPLE SUBMISSIONS
Submitted papers must be unpublished and substantively different from
papers currently under review.
NOTIFICATION
Authors will be notified of the Program Committee's decision by
July 1, 1996. Notification will be made by electronic mail
whenever possible.
FINAL PAPERS
Authors of accepted papers will be expected to submit substantially
longer full papers for the conference proceedings. Final camera-ready
copies of the full papers will be due July 31, 1996. Final papers
will be allowed at most twelve (12) double-column pages in the
conference proceedings (corresponding to approximately 28
article-style LaTeX pages; a style file will be provided by the
publisher).
REGISTRATION
Registration, lodging, and travel information will be distributed
later; check the web page or autoresponder listed above for current
information. KR'96 is arranging with AAAI to handle registration,
including payment by credit card.
KR MAILING LIST
Updated information will also be posted to the new KR mailing list.
To subscribe to this automated facility, simply send a
message to KR-Majordomo@KR.ORG with a line in the body of the message
reading
subscribe kr
if you want the email address from which you are sending the message
to be added to the list, or
subscribe kr <desired email address>
if you want a different email address for yourself added to the list.
Include a line reading
help
to receive more information about how to use the mailing list
facility. You will receive acknowledgement and welcome messages in
response to your request. Please do not be concerned if some
KR-Majordomo messages come from the host medg.lcs.mit.edu instead of
KR.ORG. These two domain names are aliased at present, but will be
separated in the future. Accordingly, please always use the KR.ORG
address in communications.
CONFERENCE CHAIR
Jon Doyle
Massachusetts Institute of Technology
Laboratory for Computer Science
545 Technology Square
Cambridge, MA 02139
USA
Voice: +1 (617) 253-3512
Fax: +1 (617) 258-8682
EMAIL: doyle@mit.edu
PROGRAM CO-CHAIRS
Luigia Carlucci Aiello Stuart C. Shapiro,
Universit di Roma La Sapienza State University of New York at Buffalo
Dipartimento di Informatica e Sistemistica Department of Computer Science
via Salaria 113 226 Bell Hall
00198 Roma Buffalo, NY 14260-2000
ITALY USA
Voice: +39 6 8841947 Voice: +1 716 645 3180 ext. 125
Fax: +39 6 85300849 Fax: +1 716 645 3464
EMAIL: aiello@dis.uniroma1.it EMAIL: shapiro@cs.buffalo.edu
EMAIL: kr96-pc-chairs@kr.org
INTER-CONFERENCE COOPERATION CHAIR
Ronald P. Loui
Washington University, USA
EMAIL: loui@cs.wustl.edu
PUBLICITY CHAIR
Werner Horn
Austrian Research Institute for Artificial Intelligence
Austria
EMAIL: werner@ai.univie.ac.at
PROGRAM COMMITTEE
(Preliminary)
Syed Ali (SW. MO St. U., USA)
Afzal Ballim (EPFL, CH)
John A. Barnden (NM St. U., USA)
Ron Brachman (AT&T Bell Labs, USA)
Maurice Bruynooghe (Catholic Univ. of Leuven, BE)
Anthony G. Cohn (U. Leeds, UK)
Marie Odile Cordier (IRISA, FR)
Ernest Davis (NYU, USA)
Didier Dubois (IRIT, FR)
Thomas Eiter (T.U. Wien, AT)
Luis Farinas del Cerro (IRIT, FR)
Richard Fikes (Stanford U., USA)
Dov Gabbay (Imperial College, UK)
Peter Gaerdenfors (Lund U., SE)
Mike Georgeff (AAII, AU)
Fausto Giunchiglia (U. Trento, Italy)
Frank van Harmelen (Free Univ. of Amsterdam, NL)
Patrick Hayes (U. IL, USA)
Jim Hendler (U. Md, USA)
Eduard Hovy (USC/ISI, USA)
Hiroachi Kitano (Sony, JP)
Kurt Konolige (SRI, USA)
Sarit Kraus (Bar Ilan U., IL)
David Israel (SRI, USA)
Lucja Iwanska (Wayne St. U., USA)
Benjamin Kuipers (U. TX, USA)
Deepak Kumar (Bryn Mawr Coll., USA)
Gerhard Lakemeyer (U. Bonn, Germany)
Fritz Lehmann (Cycorp and GRANDAI, USA)
Doug Lenat (Cycorp, USA)
Maurizio Lenzerini (U. Roma, IT)
Hector Levesque (U. Toronto, Canada)
Vladimir Lifschitz (U. TX, USA)
Robert MacGregor (USC/ISI, USA)
Joao Martins (Tech Univ of Lisbon, PT)
Riichiro Mizoguchi (U. Osaka, JP)
Bernhard Nebel (U. Ulm, DE)
Hwee Tou Ng (DSO, Singapore)
Hans Juergen Ohlbach (Max Plank I., DE)
Lin Padgham (RMIT, AU)
Ramesh Patil (USC/ISI, USA)
Anand Rao (AAII, Australia)
Ray Reiter (U. Toronto, Canada)
Jeff Rosenschein (Hebrew U., IL)
Erik Sandewall (Linkoeping U., SE)
Len Schubert (U. Rochester, USA)
Yoav Shoham (Stanford U., USA)
John Sowa (U. Binghamton, USA)
Piero Torasso (U. Torino, IT)
Wolfgang Wahlster (DFKI, Germany)
ADJOINING CONFERENCES
KR'96 will be immediately preceded by several workshops and
immediately followed by the AAAI Fall Symposia Series. Tentative
information for these meetings is as follows, with all located in
Cambridge, Massachusetts.
The AAAI Fall Symposia Series will be held November 9-11,
1996. For more information, see http://www.aaai.org/.
Description Logic '96 will be held November 2-4, 1996. For
more information contact the organizing committee at dl96@dl.kr.org.
The organizing committee consists of Lin Padgham (chair), Deborah
McGuinness, Peter Patel-Schneider, Enrico Franconi, and Manfred
Gehrke.
Relevance in Knowledge Representation and Reasoning (RRR-96)
will be held (tentatively) November 2-4, 1996. For more information,
contact the organizers, Alon Levy and Russ Greiner, at
levy@research.att.com and greiner@scr.siemens.com.
-----------------------------------------------------------------------
From: bernie@cogsci.ed.ac.uk (Bernie Jones)
Subject: CFP: SIGPARSE96 Punctuation Workshop, Jun 96, Santa Cruz
Date: Tue, 27 Feb 1996 10:37:24 GMT
SIGPARSE 96
International Workshop on PUNCTUATION IN COMPUTATIONAL LINGUISTICS
Friday, June 28, 1996
in conjunction with the 34th Annual Meeting of the
Association for Computational Linguistics
University of California, Santa Cruz
Santa Cruz, California, USA
FOCUS OF THE WORKSHOP
Surprisingly, most research in Computational Linguistics over the
years has almost completely ignored the (ortho)graphical facet of
language, punctuation. This has mainly been due to the overall
complexity of that field, but also due to the lack of a good
theoretical description of the problem.
However, interest in punctuation in the fields of `straight' and
computational linguistics has greatly increased in the last five
years. This is partially due to the publication, in 1990, of Geoffrey
Nunberg's book "The Linguistics of Punctuation", but also due to the
fact that it has been recognised that true understanding and
processing of written language will be almost impossible if
punctuation is not taken into account.
Almost any structure-giving, or graphical, device in text could be
described as punctuation - this means that punctuation falls into
roughly three categories:
Within word: marks like hyphens and apostrophes
Between word: what we conventionally think of as punctuation,
e.g. commas, full-stops, colons.
Higher-level graphical punctuation: paragraphing, indentation,
underlining, font changes etc...
Although most research on punctuation seems to have focussed on the
narrow, second definition, and its role in parsing and syntax,
punctuation has a far wider nature and application, and there is
interest in fields as diverse as semantics, discourse, automatic
editing, conversation analysis, intonation and psycholinguistics.
The time is therefore ripe for a workshop in the general field of
punctuation, to bring together all those researchers who have been
working on various aspects of the problem, or who have an interest in
it, to share ideas and maybe establish some standard approach to what
is a novel and highly interesting area.
WORKSHOP ORGANISATION
The workshop will be a full-day event consisting of about 12 half-hour
papers, including some time for discussion. There will be an invited
talk given by the `Father of Modern Punctuation Research', Geoff
Nunberg of Xerox PARC.
SUBMISSIONS
Submissions are invited that address the issue of punctuation in all
areas of CL, including, but not limited to, the following:
Parsing Syntax Generation
Discourse processing Semantics Machine translation
Phonetics Phonology Corpus-based work
Psycholinguistics Message understanding Editorial assistants
Information retrieval Statistical methods Automated tagging
Papers should not exceed 3,200 words and should include an abstract of
not more than 15 lines. The title page should include title, authors,
addresses, email, telephone numbers and the abstract. Electronic
submissions are strongly prefered and encouraged, and should be in
postscript, self-contained LaTeX or (if nothing else is available) in
ASCII.
Submissions and any questions should be sent to:
Bernie Jones Centre for Cognitive Science,
2 Buccleuch Place,
bernie@cogsci.ed.ac.uk Edinburgh EH8 9LW, United Kingdom
DEADLINES
Submissions should reach Bernie Jones by Friday 12th April 1996.
-----------------------------------------------------------------------
Date: Thu, 29 Feb 1996 03:09:31 -0500
To: www-talk@w3.org, www-announce@w3.org
From: JCMA@ai.mit.edu (John C. Mallery)
Subject: Announcement: free Common Lisp Web Server (58.3a), MIT
Server: A full-featured, production-quality Web server wholely written in Common Lisp is *freely* available from the following URL at the MIT Artificial Intelligence Laboratory.
Information: http://www.ai.mit.edu/projects/iiip/doc/cl-http/home-page.html
Q: Why might you care about this?
A: You might be interested in:
* Minimizing the cycle time from conceptualization to market.
(Cooler than being last to market!)
* Generating all HTML interfaces on the fly.
(Cooler than terabytes of legacy html!)
* Synthesing JavaScript and Java on the fly.
(Cooler than typing it in by hand!)
* Developing complex or advanced Web applications.
(Cooler than serving static files!)
* Creating intelligent, knowledge-based Web sites.
(Cooler than even a "Netscape enchanced" site!)
Language: Common Lisp is a dynamic, object-oriented programming language
that is used to develop and deploy leading-edge applications in university, government,
and business settings. This highly flexible and evolvable language has been typically used to develop
large and complex artificial intelligence or natural languagge understanding systems. These kinds
of power programming tools are becoming increasingly relevant for Web developers as ever more is required in ever less time.
Platforms: The server presently runs with full source-compatibility on the following platforms:
* Macintosh (MCL - Comes on the CD)
* UNIX (Allegro, LispWorks, Lucid) (Many flavors, including SunOS, Solaris, SGI, OSF)
* Lisp Machines (Symbolics 8.3, Open Genera 1.0)
Additional ports are underway to the Windows environment and the free CLisp for UNIX
-----------------------------------------------------------------------
Date: Thu, 29 Feb 1996 13:45:44 +0100
To: acl@cs.columbia.edu, aisb@cogs.sussex.ac.uk,
From: Christian.Retore@loria.fr (Christian RETORE)
Subject: CFP: LACL Logical aspects of Comp. Linguistics, Sep 96, Nancy
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS
Nancy, 23-25 september 1996
General topic:
- - - - - - - - - - - - - - - ---
There has been a growing interest in the use of logic in natural language
processing, both for syntactical and semantical models. Some recent examples
include logical deduction as a basis for parsing/generation, the use of
non-commutative linear logic as a syntactical model, the relation between
categorial grammars, CFG and TAG, natural language interfaces for automatic
theorem proving, unification for anaphora resolution, and linear logic
semantics for LFG.
This workshop is aimed at bringing together linguists, logicians, philosophers
and computer scientists in order to present the latest results in these areas
and to discuss the different approaches.
Topics (not exclusive):
- - - - - - - - - - - - - - - ---
Proof-theoretical aspects of the syntactical and semantical models of natural
languages.
The use of classical and non-classical logics in computational linguistics.
Formal grammars for natural languages and their parsing: categorial grammars,
TAGs, LFGs etc.
Relations between models.
Submissions:
- - - - - - - - - - - - - - - ---
Authors are invited to submit before May 31 a 4-page abstract of a paper which
has not been submitted elsewhere. The favoured format is electronic
submission of a LaTeX, PostScript, dvi or ascii file.
Email submissions should be made to retore@loria.fr
Authors can also use surface mail or FAX:
LACL c/o Christian Retore
INRIA-Lorraine & CRIN-C.N.R.S.
B.P. 101
615, rue du jardin botanique
54602 Villers les Nancy cedex FRANCE
FAX: +33 83 27 83 19
Full papers (up to 20 pages) will be due at conference time, 23 september 96.
After the full papers are refereed, we intend to publish them as a special
issue of a journal, or as a volume in some series of lecture notes (this will
be made precise in a later announcement).
Schedule:
- - - - - - - - - - - - - - - ---
31 May: 4-page abstract due
14 july: notification of acceptance
23 september: final paper due at the conference
Program commitee:
- - - - - - - - - - - - - - - ---
M. Abrusci (U. di Bari & U. di Roma)
P. Blackburn (U. Sarrebruck)
M. Dymetman (Rank-Xerox, Grenoble)
M. Johnson (Brown U. , Providence)
A. Lecomte (U. Grenoble 2 & INRIA-Lorraine)
M. Moortgat (OTS, Utrecht)
G. Morrill (UPC, Barcelona)
A. Ranta (U. Helsinki & U. Tampere)
C. Retore (INRIA-Lorraine & CRIN-CNRS)
E. Villemonte de la Clergerie (INRIA, Rocquencourt)
Organising commitee:
- - - - - - - - - - - - - - - ---
B. Lang (INRIA, Rocquencourt)
D. Bechet, Ph. de Groote, F. Lamarche, and C. Retor\'e
(INRIA-Lorraine & CRIN-CNRS, Nancy)
- - - - - - - - - - - - - - - ---
The list of invited speakers will be given in a later version of this
announcement.
- - - - - - - - - - - - - - - ---
WWW homepage: http://www.loria.fr/~retore/LACL.html
contact: retore@loria.fr tel: +83 59 20 17
======================================
Christian RETORE
Equipe CALLIGRAMME Team
INRIA Lorraine & CRIN-C.N.R.S.
615 rue du jardin botanique
54602 Villers les Nancy cedex
TEL: 83 59 20 17 FAX: 83 27 83 19
http://www.loria.fr/~retore/index.html
End of NL-KR Digest
*******************
