From: nl-kr-request@cs.rpi.edu (NL-KR Moderator Chris Welty)
Subject: NL-KR Digest, Volume 9 No. 48
Reply-To: nl-kr@cs.rpi.edu (NL-KR Digest)
Date: Mon, 14 Sep 1992 14:44:16 GMT

NL-KR Digest      (Mon Sep 14 09:00:10 1992)      Volume 9 No. 48

Today's Topics:

	 Program: KR `92

Submissions: nl-kr@cs.rpi.edu
Requests, policy: nl-kr-request@cs.rpi.edu
Back issues are available from host archive.cs.rpi.edu [128.213.3.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: Fri, 11 Sep 92 09:34 EDT
From: rjb@research.att.com (Ron Brachman)
Subject: Program: KR `92

PLEASE NOTE THAT THE DEADLINE FOR DISCOUNTED EARLY REGISTRATION
FOR KR'92 IS LESS THAN TWO WEEKS AWAY.  MORE DETAILS BELOW:

________________________________________________________________

                                    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. I will illustrate this gap by describing the representational and
inferential requirements that must be met to model key discourse
phenomena such as implicature and coherence.

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
      Enrico Franconi, IRST
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
      Robert 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
*******************
Newsgroups: comp.ai.nlang-know-rep