Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 09 No. 34
NL-KR Digest (Mon Jul 13 10:42:46 1992) Volume 9 No. 34
Today's Topics:
Program: KR'92 (Program and Registration Info)
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
Date: Thu, 2 Jul 92 16:22:19 -0400
From: rich@merl.com
Subject: Program: KR'92 (Program and Registration Info)
KR'92
Third International Conference on
Principles of Knowledge Representation and Reasoning
Royal Sonesta Hotel
Cambridge, Massachusetts, USA
October 25-29, 1992
With support from the American Association for Artificial Intelligence, the
European Coordinating Committee on Artificial Intelligence, and the Canadian
Society for Computational Studies of Intelligence; in cooperation with
International Joint Conferences on Artificial Intelligence, Inc.
ABOUT KR'92
The idea of explicit representations of knowledge manipulated by inference
algorithms provides an important foundation for much work in Artificial
Intelligence, from natural language to expert systems. A growing number of
researchers are interested in the principles governing systems based on this
idea. Following the successful formula of the two earlier KR conferences,
KR'92 will bring together these researchers in a more intimate setting than
that of the general AI conferences. In particular, authors will have the
opportunity to give presentations of adequate length to present substantial
results. Also, a relatively small conference site has again been selected in
order to encourage informal interaction among attendees.
The theme of this year's conference is the relationship between the
principles of knowledge representation and reasoning and their embodiment in
working systems. Presented papers and invited talks will address the
following important questions:
* What issues arise in applying knowledge representation systems to
real problems?
* What are the theoretical principles of knowledge representation
and reasoning?
* How can these principles be embodied in knowledge representation
systems?
LOCATION
The KR'92 Conference will again be held at the Royal Sonesta Hotel in
Cambridge, Massachusetts, which is located near Harvard University, the
Massachusetts Institute of Technology and the city of Boston. A block of
rooms has been booked at a special conference rate at the Royal Sonesta and
special discount air fares are available from Delta Airlines. Details are
explained along with registration information later in this announcement.
CORRESPONDENCE
KR'92 information:
E-mail: kr92@cs.tufts.edu
Regular KR'92
Mail: Department of Computer Science
Tufts University
Medford, MA 02155 USA
Phone: 617-627-3214
Fax: 617-627-3443
Automatic E-mail: If you send a message to either of the following two
addresses, a reply will be sent to the address in the sender field (without
being read by a person).
kr92-info@cs.tufts.edu To obtain a copy of this announcement.
kr92-subsidy@cs.tufts.edu To obtain an electronic version of the
application for a student housing subsidy.
AAAI FALL SYMPOSIUM SERIES
KR'92 immediately follows the AAAI Fall Symposium Series at the Royal
Sonesta Hotel from October 23-25, 1992. For information about the Fall
Symposium Series, contact:
AAAI
445 Burgess Drive
Menlo Park, CA 94025-3496 USA
Phone: 415-328-3123
E-mail: fss@aaai.org
ORGANIZERS
Conference Chair:
Charles Rich, Mitsubishi Electric Research Laboratories
Local Arrangements Chair:
James G. Schmolze, Tufts University
Program Chairs:
Bernhard Nebel, German Research Center for AI
William Swartout, USC/Information Sciences Institute
Program Committee:
James Allen, University of Rochester; Giuseppe Attardi, University of Pisa;
Danny Bobrow, Xerox PARC; Ron Brachman, AT&T Bell Laboratories; Gerhard
Brewka, GMD, Bonn; Johan de Kleer, Xerox PARC; Rina Dechter, UC Irvine;
Jon Doyle, MIT; David Etherington, AT&T Bell Laboratories; Richard Fikes,
Stanford University; Alan Frisch, University of Illinois; Dov Gabbay,
Imperial College; Michael Georgeff, Australian AI Institute; Pat Hayes,
Stanford University; Haym Hirsh, Rutgers University; Lewis Johnson,
USC/Information Sciences Institute; Henry Kautz, AT&T Bell Laboratories;
Kurt Konolige, SRI International; Craig Knoblock, USC/Information Sciences
Institute; Gerhard Lakemeyer, University of Bonn; Maurizio Lenzerini,
University of Roma; Hector Levesque, University of Toronto; Bob MacGregor,
USC/Information Sciences Institute; Alan K. Mackworth, University of British
Columbia; David Makinson, University of Paris; David McAllester, MIT;
Fumio Mizoguchi, Science University of Tokyo; Wolfgang Nejdl, Technical
University Vienna; Hans Juergen Ohlbach, Max Planck Institute; Peter
Patel-Schneider, AT&T Bell Laboratories; Ramesh Patil, USC/Information
Sciences Institute; Judea Pearl, UC Los Angeles; Ed Pednault, AT&T Bell
Laboratories; Martha Pollack, University of Pittsburgh; Jordan Pollack,
Ohio State University; David Poole, University of British Columbia; Henri
Prade, University Paul Sabatier; Erik Sandewall, University of Linkoping;
Karl Schlechta, IBM Germany; Len Schubert, University of Rochester; Stuart
Shapiro, SUNY Buffalo; Lokendra Shastri, University of Pennsylvannia; Gert
Smolka, German Research Center for AI; Lynn Stein, MIT; Devika Subramanian,
Cornell University; Peter Szolovits, MIT; Mike Wellman, USAF Wright
Laboratory
INVITED TALKS AND PANELS
The Perils of the Real World: Representing Medical Knowledge,
Peter Szolovits-Mass.Inst.of Technology, USA
I will describe some key representational problems that arise very
naturally in trying to capture medical reasoning. Particularly
important is the need to solve these problems not in isolation but as a
coherent whole.
"All My Autopsies Have Been Performed on Dead People:" Issues in
Knowledge Representation for Discourse Processing,
Martha E. Pollack-U.Pittsburgh, USA
Natural-language processing and knowledge representation research
ought to have a symbiotic relationship. In fact, a large gap exists
between the formal systems developed in the KR community and what is
needed to build natural language systems capable of participating in
discourses.
The DARPA Knowledge Sharing Effort: Progress Report,
Ramesh Patil (Panel Organizer)-USC/Information Sciences Inst., USA
This panel will report on the following activities, with special
emphasis on the problems encountered and open research issues: an
interlingua for translation between different representation languages
(Richard Fikes, Stanford U.), a uniform syntax and semantics for common
constructs within representation families (Peter Patel-Schneider, AT&T
Bell Labs), a protocol for run-time interchange between system modules,
(Donald McKay, UNISYS), and libraries of domain-specific ontologies
(Thomas Gruber, Stanford U.).
Resolving the Imagery Debate: A Cognitive Neuroscience Perspective,
Stephen M. Kosslyn-Harvard U.,USA
New information about the brain and the advent of new
brain-scanning technologies have enlivened and may finally resolve an
old debate about the nature of the mental representations that give
rise to the experience of "seeing with the mind's eye." The
propositional position is that such representations are no different in
kind from those that underlie language. The depictivist position is
that mental representations of imagery are qualitatively distinct
because they embody spatial extent and have other pictorial properties.
Twelve Years of Nonmonotonic Reasoning Research: Where (and What) is the
Beef?,
Ray Reiter-U.Toronto, Canada
The talk will assess what I believe has been accomplished since the
landmark Special Issue on Nonmonotonic Reasoning of the AI Journal in
1980. No one disputes that research on nonmonotonic reasoning has
become a growth industry. Many do however question what on earth all
this stuff is good for. I will describe how nonmonotonic theories have
in fact made important contributions not only to various areas of AI,
but also to logic programming, databases, and software specification.
Perhaps most important of all, it has provided a unifying framework for
a wide variety of what had previously been viewed as disparate
phenomena.
PROGRAM, BALLROOM A
Monday, October 26
Sunday: Reception, 7:00-9:00 p.m.
8:30 Invited Talks: Reports from the Trenches
Peter Szolovits, Martha E. Pollack (Abstracts above)
9:50 Break
Planning and Temporal Reasoning I: Constraint-Based
10:20 Declarative Knowledge Representation in Planning and Scheduling
Jacek Gibert-U.Melbourne, Australia
10:55 Intelligent Backtracking Techniques for Job Shop Scheduling
Yalin Xiong, Norman Sadeh and Katia Sycara-Carnegie Mellon U.,USA
11:30 Dense Time and Temporal Constraints with "not equals"
Manolis Koubarakis-National Technical U. Athens, Greece
12:05 Lunch
Planning and Temporal Reasoning II
1:50 Managing Disjunction for Practical Temporal Reasoning
Mark Boddy, Jim Carciofini and Bob Schrag-Honeywell Systems
and Research Ctr.,USA
2:25 Infinite Loops in Finite Time
Ernest Davis-Courant Inst.,USA
3:00 Reasoning about Indefinite Actions
L.Thorne McCarty and Ron van der Meyden-Rutgers U.,USA
3:35 Break
Planning and Temporal Reasoning III
4:05 Representations for Decision-Theoretic Planning: Utility
Functions for Deadline Goals
Peter Haddawy-U.Wisconsin,USA
Steve Hanks-U.Washington,USA
4:40 Total Order vs. Partial Order Planning: Factors Influencing
Performance
Steven Minton, Mark Drummond, John Bresina and Andrew Philips-
NASA Ames Research Ctr.,USA
5:15 A Reactive Planner that Uses Explanation Closure
Andrew R. Haas-U.Albany,USA
____________________________________________________________
Tuesday, October 27
Planning and Temporal Reasoning IV
8:30 UCPOP: A Sound, Complete, Partial Order Planning for ADL
J.Scott Penberthy-IBM Watson Research Ctr.,USA
Daniel S.Weld-U.Washington,USA
9:05 An Approach to Planning with Incomplete Information
Oren Etzioni, Steve Hanks, Daniel Weld, Denise Draper, Neal
Lesh, and Mike Williamson-U.Washington,USA
9:40 Equivalence and Tractability Results for SAS+ Planning
Christer Backstrom-Likoping U.,Sweden
10:15 Break
Specialized Reasoning I: Numerical
10:45 Stepwise-Decomposable Influence Diagrams
Lianwen Zhang and David Poole-U.British Columbia,Canada
11:20 A Logic for Approximate Reasoning
Daphne Koller-Stanford U.,USA
Joseph Y.Halpern-IBM Almaden Research Ctr.,USA
11:55 Lunch
1:40 Panel: The DARPA Knowledge Sharing Effort: Progress Report
Ramesh Patil (Abstract above)
3:25 Break
Specialized Reasoning II: Spatial/Physical
3:55 A Spatial Logic Based on Regions and Connection
D.A.Randell, Z.Cui, A.G. Cohn-U.Leeds,UK
4:30 Axiomatizing Qualitative Process Theory
Ernest Davis-Courant Inst.,USA
6:00 Banquet: Buses depart from main entrance of Sonesta
____________________________________________________________
Wednesday, October 28
Issues in Multi-Agent Environments
8:30 Semantics for Knowledge and Communication
Adam J.Grove-Stanford U.,USA
9:05 Emergent Conventions in Multi-Agent Systems: Initial Experimental
Results and Observations
Yoav Shoham and Moshe Tenneholtz-Stanford U.,USA
9:40 Knowledge Representation Requirements for Description-Based
Communication
Anthony S.Maida-U.Southwestern Louisiana,USA
10:15 Break
Specialized Reasoning III
10:45 Reasoning with Analogical Representations
Karen L.Myers and Kurt Konolige-SRI International,USA
11:20 Order of Magnitude Reasoning using Logarithms
P.Pandurang Nayak-Stanford U.,USA
11:55 Lunch
Taxonomic Logics I: Implemented Systems
1:40 "Reducing" CLASSIC to Practice: Knowledge Representation Theory
Meets Reality
Ronald J.Brachman-AT&T Bell Laboratories,USA
2:15 Towards the Systematic Development of Terminological Reasoners:
CLASP Reconstructed
Alex Borgida-Rutgers U.,USA
2:50 An Empirical Analysis of Optimization Techniques for
Terminological Representation Systems
Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jurgen
Profitlich-German Research Ctr. for Artificial Intelligence
3:25 Break
Natural Language Processing
3:55 A General Semantic Model of Negation in Natural Language:
Representation and Inference
Lucja Iwanska-GE Research and Development Ctr.,USA
4:30 Conversational Events and Information State Change
Massimo Poesio-U.Rochester,USA
5:40 Break
8:00 Invited Talk: Resolving the Imagery Debate: A Cognitive
Neuroscience Perspective,
Stephen M. Kosslyn (Abstract above)
_____________________________________________________________
Thursday, October 29
Taxonomic Logics II: Time and Defaults
8:30 Terminological Reasoning with Constraint Networks and an
Application to Plan Recognition
Roberta Weida and Diane Litman-Columbia U.,USA
9:05 A Preference Semantics for Defaults in Terminological Logics
J.Joachim Quantz-Technical U. Berlin, Germany
Veronique Royer-Onera-Cert,France
9:40 Embedding Defaults into Terminological Knowledge Representation
Formalisms
Franz Baader, Bernhard Hollunder-German Research Ctr.for
Artificial Intelligence
10:15 Break
Taxonomic Logics III: Expressiveness/Efficiency
10:45 Specifying Role Interaction in Concept Languages
Philipp Hanschke-German Research Ctr. for Artificial Intelligence
11:20 Approximation in Concept Description Languages
Marco Cadoli, Marco Schaerf-U.Rome "La Sapienza," Italy
11:55 Adding Epistemic Operators to Concept Languages
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea
Schaerf-U. Rome "La Sapienza," Italy
Werner Nutt-German Research Ctr. for Artificial Intelligence
12:30 Lunch
2:15 Invited Talk: Twelve Years of Nonmonotonic Reasoning Research:
Where (and What) is the Beef?,
Ray Reiter (Abstract above)
PROGRAM, BALLROOM B
Monday, October 26
Sunday: Reception, 7:00-9:00 p.m.
8:30 Invited Talks: Reports from the Trenches,
Peter Szolovits, Martha E. Pollack (Abstracts above)
9:50 Break
Deduction I: Tractable Deductions
10:20 Learning Useful Horn Approximations
Russell Greiner-Siemens Corporate Research, USA
Dale Schuurmans-U.Toronto, Canada
10:55 Tractable Deduction in Knowledge Representation Systems
Mukesh Dalal-Rutgers U.,USA
11:30 New Results on Local Inference Relations
Robert Givan and David A. McAllester-Mass.Inst.of Tech., USA
12:05 Lunch
Deduction II
1:50 Deduction with Constraints: The Substitutional Framework for
Hybrid Reasoning
Alan M. Frisch-U.Illinois, USA
2:25 An Order-Sorted Logic with Sort Literals and Disjointness
Constraints
Toni Bollinger, Udo Pletat-IBM Germany
3:00 Quantifier Elimination in Second Order Predicate Logic
Dov Gabbay-Imperial College, UK
Hans Jurgen Ohlbach-Max Planck Inst. for Computer Science,
Germany
3:35 Break
Logics of Belief and Intention
4:05 An Abstract Architecture for Rational Agents
Anand S. Rao and Michael P. Georgeff-Australian Artificial
Intelligence Inst.
4:40 Accessibility in Explicit Belief Logics
James P. Delgrande-Simon Fraser U., Canada
5:15 A Study in the Logic of Intention
M.D. Sadek-Centre National d'Etudes des Telecommunications,France
____________________________________________________________
Tuesday, October 27
Nonmonotonic Logics I
8:30 Maps between Nonmonotonic and Conditional Logic
Horacio L. Arlo-Costa and Scott J. Shapiro-Columbia U.,USA
9:05 On the Connection between Nonmonotonic Inference Systems and
Conditional Logics
Gabriella Crocco, Philippe Lamarre-IRIT,France
9:40 From Monotonicity to Nonmonotonicity via a Theorem Prover
Philippe Lamarre-IRIT,France
10:15 Break
Diagnosis and Abduction I
10:45 Knowledge Representation and Incorporation in a Hybrid Reasoning
System with Feedback
Yeona Jang-Mass.Inst. of Technology,USA
11:20 Chosing Observations and Actions in Model-Based Diagnosis/Repair
Systems
Gerhard Friedrich, Wolfgang Nejdi-Technical U. Vienna, Austria
11:55 Lunch
Diagnosis and Abduction II
1:40 Abductive Plan Recognition and Diagnosis: A Comprehensive
Empirical Evaluation
Hwee Tou Ng and Raymond J. Mooney-U.Texas at Austin,USA
2:15 Using Default and Causal Reasoning in Diagnosis
Kurt Konolige-SRI International,USA
2:50 Focusing on Independent Diagnosis Problems
Hartmut Freitag-Siemens, Germany
Gerhard Friedrich-Technical U. Vienna, Austria
3:25 Break
Diagnosis and Abduction III
3:55 A Minimality Maintenance System
Olivier Raiman and Johan de Kleer-Xerox PARC,USA
4:30 Search through Systematic Set Enumeration
Ron Rymon-U.Pennsylvania,USA
6:00 Banquet: Buses depart from main entrance of Sonesta
____________________________________________________________
Wednesday, October 28
Nonmonotonic Logics II
8:30 Bounding Introspection in Nonmonotonic Logic
Grigori Schwarz-U.Delaware,USA
9:05 A Framework for Representing and Characterizing Semantics of
Logic Programs
Jurgen Dix-U.Karlsruhe,Germany
9:40 Answer SEts in General Nonmonotonic Reasoning
Vladimir Lifschitz and Thomas Y.C. Wood-U.Texas at Austin,USA
10:15 Break
Reasoning Architectures
10:45 An Architecture for Integrating Reasoning Paradigms
James M. Skinner-Sandia National Laboratory,USA
George F.Luger-U.New Mexico,USA
11:20 Concurrency Control for Knowledge Bases
Vinay K.Chaudhri, Vassos Hadzilacos, John Mylopoulos, U.Toronto,
Canada
11:55 Lunch
Nonmonotonic Logics III: Tractable Reasoning
1:40 RS Theory: A Really Skeptical Theory of Inheritance with
Exceptions
Genevieve Simonet-LIRMM,France
2:15 On the Impact of Stratification on the Complexity of Nonmonotonic
Reasoning
Ilkka Niemela, Jussi Ritanen-Helsinki U. Technology, Finland
2:50 All You Ever Wanted to Know about Tweety
Gerhard Lakemeyer-U.Bonn,Germany
3:25 Break
Nonmonotonic Logics IV: Default Reasoning
3:55 Representing Defaults as Sentences with Reduced Priority
Mark Ryan-Imperial College,UK
4:30 Default Ranking: A Practical Framework for Evidential Reasoning,
Belief Revision, and Update
Moises Goldszmidt and Judea Pearl-U.CAlifornia at Los Angeles,USA
5:05 Representing Default Rules in Possibilistic Logic
Salem Benferhat, Didier Dubois, Henri Prsade-U. Paul
Sabatier,France
5:40 Break
8:00 Invited Talk: Resolving the Imagery Debate: A Cognitive
Neuroscience Perspective,
Stephen M. Kosslyn (Abstract above)
____________________________________________________________
Thursday, October 29
Nonmonotonic Logics V
8:30 Normative, Subjunctive, and Autoepistemic Defaults: Adopting
the Ramsey Test
Craig Boutiler-U. British Columbia, Canada
9:05 Asking about Possibilities-Revision and Update Semantics for
Subjunctive Queries
Wolfgang Nejdl, Markus Banagl-Technical U. Vienna, Austria
9:40 Reasoning from Inconsistency: A Taxonomy of Principles for
Resolving Conflict
Gadi Pinkas and Ronald P. Loui-Washington U.,USA
10:15 Break
Nonmonotonic Logics VI
10:45 A Contraction Operator for Classical Propositional Logic
Timothy M. Lownie-Queen's U.,Canada
11:20 A Temporal Revision Model for Reasoning about World Change
M.O. Cordier-IRISA,France
P.Siegel-LIUP,France
11:55 Computing Databases Updates
Alvaro Del Val-Stanford U.,USA
12:30 Lunch
2:15 Invited Talk: Twelve Years of Nonmonotonic Reasoning Research:
Where (and What) is the Beef?,
Ray Reiter (Abstract above)
REGISTRATION
Due to space limitations and the success of earlier KR conferences, early
registration is strongly recommended.
FEE SCHEDULE (all fees are in U.S. dollars)
Early: Postmarked before midnight September 24, 1992
Regular $275
Student $150
Banquet $40
Late: Postmarked after midnight September 24, 1992
Regular $325
Student $175
Banquet $40
The cost of the conference proceedings is included in the registration fee.
BANQUET
The banquet on Tuesday evening, October 27, is optional and reservations
should be included at the time of your registration.
This event includes round trip transportation to Boston's historic
waterfront. You will board the `Spirit of Boston' for a narrated cruise of
the harbor with its colonial landmarks and spectacular city skyline at dusk.
A cocktail reception will be followed by a bountiful buffet dinner on board.
After dinner, you will be entertained with a rousing Broadway revue performed
by waiters and waitresses on their way to stardom.
AIRLINE DISCOUNT FARES
Special discount fares on Delta Airlines have been arranged for KR'92
attendees. To take advantage of these fares, you must call Young's
Travel/American Express at 1-800-682-0141 between 8 a.m. and 5 p.m. E.D.T.
and identify yourself as a KR'92 attendee. You will save 40% off of the
unrestricted coach fare or 5% off the lowest available fare at the time of
ticketing. (Please note that certain conditions and rules must be met and
that severe penalties and restrictions may apply.)
International travelers may fax reservation requests to Young's Travel at
508-795-0444.
HOTEL RESERVATIONS
Reservations should be made directly with the Royal Sonesta Hotel, 5
Cambridge Parkway, Cambridge, Massachusetts 02142, USA. (The hotel is located
three miles from Logan International Airport.) For reservations call the
hotel at 617-491-3600 or fax 617-661-5956 and identify yourself as a KR'92
conference attendee. They will process your hotel reservation and send
confirmation if reservations are made before September 24, 1992. Hotel space
as well as conference space are on a first-come first-served basis. The
special room rates negotiated for conference attendees are: Single $125
(U.S.), Double $135 (U.S.) plus 9.7% Massachusetts and local rooms tax. For
early arrivals, a special weekend rate has been secured for Friday and
Saturday evenings at $115 single/$125 double per night. Rooms can be
guaranteed by the hotel for the conference attendees only until September 24,
1992 through a major credit card or first nights deposit.
STUDENT HOTEL SUBSIDY
A limited amount of funds have been set aside to subsidize hotel room fees
for students. Applications for student subsidy should be sent before
September 10, 1992. (Early application is advised.) See the section at the
end of this announcement.
HOW TO REGISTER
1. Fill in the registration form
2. Payment
In the US: You may send a money order or check payable to "Knowledge
Representation" for the total amount in U.S. dollars.
Outside the US: You may send an international money order payable to
"Knowledge Representation" for the total amount in U.S. dollars. Checks from
non-U.S. banks will not be accepted.
3. Return the registration form and payment to:
KR'92
P.O. Box 1205
Westboro, MA 01581 USA
4. Registrations postmarked prior to midnight, September 24, 1992 will
receive the early registration discount rate. Confirmations will be mailed
only for registrations received before September 24, 1992.
5. Spaces will be allocated on a first-come first-served basis to the maximum
that the facility can accommodate. Therefore, participants are strongly
advised to register as soon as possible.
REGISTRATION FORM
Print out the form below on paper, fill it in and return it with full payment
in U.S. dollars to the address below. Electronic mail registrations are
*not* allowed.
KR'92
PO Box 1205
Westboro, MA 01581 USA
Name _________________________________________________________________
Title ________________________________________________________________
Organization/Affiliation _____________________________________________
______________________________________________________________________
Mailing Address ______________________________________________________
______________________________________________________________________
______________________________________________________________________
Zip/Postal Code _____________________ Country _______________________
Telephone ___________________________________________________________
Internet E-mail address _____________________________________________
Are you currently actively engaged in research related to the conference?
Yes ___ No___
If yes, what is your research area? ____________________________________
________________________________________________________________________
Are you presenting a paper at the conference? Yes ___ No ___
Are you attending the AAAI Fall Symposium Series? Yes ___ No ___
Check here if you have a disability that requires special needs. _______
Please explain _________________________________________________________
________________________________________________________________________
Early Registration Late Registration
Conference fee $ ______________ $ ____________
Student fee $ _______________ $ _____________
Banquet fee
___ Persons x 40 = $ ______________ $ _____________
Total $ ________________ $ _____________
The cost of the conference proceedings is included in the registration fee.
Please indicate your enclosed form of payment below:
Money Order or Check (U.S. only)
Amount $ ____________ Check # _______________
International Money Order
Amount $ _____________ (U.S. dollars)
Note: Registrations postmarked prior to midnight September 24, 1992 will
receive the early registration discount rate. Confirmations will be mailed
only for registrations received prior to September 24, 1992.
STUDENT HOTEL SUBSIDY APPLICATION
A limited amount of funds have been set aside to subsidize hotel room fees
for students. This will only apply to doubles (two students per room). The
subsidy will be from 25% to 50% of one-half of the room rate. For example,
if you are awarded a subsidy of 25%, the cost of staying at the hotel will be
$50.63 per night (75% of one-half of $135), plus applicable taxes. Each
applicant will be notified if she or he has been awarded the subsidy and, if
so, the amount of the subsidy.
We urge you to use electronic mail to apply for a subsidy if possible. To
obtain an electronic version of this form and along with further
instructions, send e-mail to kr92-subsidy@cs.tufts.edu. (These messages will
not be read; a reply will be sent automatically to the sender. Send other
e-mail correspondence to kr92@cs.tufts.edu.)
If you cannot apply via electronic mail, or if you do not receive the
electronic form and instructions for some reason, print out the form below,
fill it in and send it via regular mail along with your registration
material.
Applications for student subsidies, via either electronic or regular mail,
must be received by September 10, 1992. Notification as to whether you will
receive the subsidy, and if so, the amount of the subsidy, will sent by
September 24, 1992 using either electronic or regular mail.
Name _________________________________________________________________
Department ___________________________________________________________
College/Univ. ________________________________________________________
______________________________________________________________________
Mailing Address ______________________________________________________
______________________________________________________________________
______________________________________________________________________
Zip/Postal Code _____________________ Country _______________________
Telephone ___________________________________________________________
Internet e-mail address ______________________________________________
Male ___ Female ___
Would you prefer to allow smoking in your room?
Yes (smoking allowed) ___ No (no smoking allowed) ___
Note: All requests for "no smoking allowed" will be met. All applicants must
be willing to forego smoking in the hotel room if we designate the room as
non-smoking.
Are other funds available to you if you do not receive this subsidy? (A yes
answer does not disqualify you.)
Yes ___ No___
Are you an author on a paper that has been accepted to this conference?
Yes ___ No___
What type of degree are you currently working toward?
Bachelor's ___ Master's ___ Doctorate ___
What is your research area? __________________________________________
______________________________________________________________________
Advisor's name if you currently have one (and location if not at your
institution):
______________________________________________________________________
______________________________________________________________________
Name of the person with whom you would like to share a room (this person must
also be applying for a subsidy). If noone is specified, we will assign
someone for you.
______________________________________________________________________
Check here if you have a disability that requires special needs. _____
Please explain _______________________________________________________
______________________________________________________________________
------------------------------
End of NL-KR Digest
*******************
