reiter@ai.toronto.edu (Ray Reiter) (04/20/89)
KR'89: THE FIRST INTERNATIONAL CONFERENCE ON PRINCIPLES OF
KNOWLEDGE REPRESENTATION AND REASONING
Monday, May 15, 1989 - Thursday, May 18, 1989
Royal York Hotel
Toronto, Ontario, CANADA
PLEASE NOTE: Conference brochures (with registration material)
were mailed out several weeks ago to AAAI members, those who
submitted papers to KR'89, and those who helped out with the
conference. Apparently, not all of the brochures reached
their final destinations. If you did not receive a brochure,
or would like information about registration and accommodations,
please contact Ray Reiter, at (416) 978-6324 or
reiter@ai.toronto.edu. Registration form also follows this
conference schedule.
KR'89 CONFERENCE SCHEDULE
========================================================================
SUNDAY, MAY 14 -- EVENING
7:00 Opening Reception
Ballroom
========================================================================
========================================================================
MONDAY, MAY 15 -- MORNING
--------------- Ontario Room: Nonmonotonic Reasoning I ---------------
9:00 A Simple Solution to the Yale Shooting Problem
Andrew B. Baker -- Stanford University
9:35 Did Newton Solve the "Extended Prediction Problem"?
Manny Rayner -- Swedish Institute of Computer Science
10:10 == break ==
10:30 Defaults and Probabilities; Extensions and Coherence
Eric Neufeld -- University of New Brunswick
11:05 Default Reasoning, Minimality and Coherence
Hector Geffner -- University of California at Los Angeles
11:40 Impediments to Universal Preference-Based Default Theories
Jon Doyle -- Massachusetts Institute of Technology
Michael P. Wellman -- AFWAL/TXI, Wright-Patterson AFB
--------------- Ballroom: Taxonomic Representations; Natural
Language-Oriented Representations ----------
9:00 Terminological Knowledge Representation Systems Supporting
N-Ary Terms
James G. Schmolze -- Tufts University
9:35 Subsumption in KL-ONE is Undecidable
Manfred Schmidt-Schauss -- Universitat Kaiserslautern
10:10 == break ==
10:30 Taxonomic Syntax for First Order Inference
David McAllester -- MIT Artificial Intelligence Laboratory
Bob Givan -- MIT Artificial Intelligence Laboratory
Tanveer Fatima -- MIT Artificial Intelligence Laboratory
11:05 Ontological Assumptions in Knowledge Representation
Graeme Hirst -- University of Toronto
11:40 An Episodic Knowledge Representation for Narrative Texts
Lenhart K. Schubert -- University of Rochester
Chung Hee Hwang -- University of Rochester
========================================================================
12:15 - 2:00 LUNCH
========================================================================
MONDAY, MAY 15 -- AFTERNOON
--------------- Ontario Room: Metareasoning; Belief Revision --------
2:00 Principles of Metareasoning
Stuart Russell -- University of California at Berkeley
Eric Wefald -- University of California at Berkeley
2:35 Tractable Decision-Analytic Control
Oren Etzioni -- Carnegie-Mellon University
3:10 == break ==
3:30 Belief, Metaphorically Speaking
John A. Barnden -- New Mexico State University
4:05 A Knowledge Level Analysis of Belief Revision
Bernhard Nebel -- IBM Deutschland GmbH
4:40 Formal Theories of Belief Revision
Anand S. Rao -- The Australian AI Institute
Norman Y. Foo -- University of Sydney
--------------- Ballroom: Symposium on Temporal Reasoning --------------
Temporal Reasoning in AI, Philosophy, and Theoretical
Computer Science
Organized and Moderated by Yoav Shoham, Stanford University
2:00 Johan van Benthem, Universiteit van Amsterdam
2:45 Panel Discussion
3:10 == break ==
3:30 Amir Pnueli, Weizmann Institute
4:15 Panel Discussion
4:40 Audience Participation
========================================================================
========================================================================
TUESDAY, MAY 16 -- MORNING
--------------- Ontario Room: Deductive Reasoning --------------------
9:00 A General Framework for Sorted Deduction: Fundamental Results
on Hybrid Reasoning
Alan M. Frisch -- University of Illinois
9:35 On the Appearance of Sortal Literals: A Non Substitutional
Framework for Hybrid Reasoning
A. G. Cohn -- University of Warwick
10:10 == break ==
10:30 Syntactic Equality in Knowledge Representation and Reasoning
Edward P. Stabler, Jr. -- University of Western Ontario
11:05 Plausible World Assumption
Eliezer L. Lozinskii -- The Hebrew University
11:40 Skeptical Reasoning and Disjunctive Programs
Arcot Rajasekar -- University of Maryland
Jorge Lobo -- University of Maryland
Jack Minker -- University of Maryland
--------------- Ballroom: Case-Based, Analogical, and
Inductive Reasoning -------------------------
9:00 A Framework for Dynamic Representation of Knowledge: A Minimum
Principle in Organizing Knowledge Representation
Yoshiteru Ishida -- Kyoto University
9:35 Knowledge Representation in a Case-Based Reasoning System:
Defaults and Exceptions
Phyllis Koton -- The MITRE Corporation
Melissa P. Chase -- The MITRE Corporation
10:10 == break ==
10:30 Induction as Nonmonotonic Reasoning
Nicolas Helft -- ICOT
11:05 Analogical Reasoning, Defeasible Reasoning, and the
Reference Class
R. P. Loui -- Washington University
11:40 Analogy as a Constrained Partial Correspondence Over
Conceptual Graphs
Debbie Leishman -- University of Calgary
========================================================================
12:15 - 2:00 LUNCH
========================================================================
TUESDAY, MAY 16 -- AFTERNOON
--------------- Ontario Room: Commonsense Theories -------------------
2:00 Combining Logic and Differential Equations for Describing
Real-World Systems
Erik Sandewall -- Linkoping University
2:35 Solutions to a Paradox of Perception with Limited Acuity
Ernest Davis -- Courant Institute
3:10 == break ==
3:30 Cardinalities and Well Orderings in a Common-Sense Set Theory
Wlodek Zadrozny -- IBM T. J. Watson Research Center
4:05 Modelling Topological and Metrical Properties in Physical
Processes
D. A. Randell -- University of Warwick
A. G. Cohn -- University of Warwick
--------------- Ballroom: Symposium on Nonmonotonic Reasoning ---------
Nonmonotonic Reasoning
Organized and Moderated by David Etherington,
AT&T Bell Laboratories
2:00 Probabilistic Semantics for Nonmonotonic Reasoning: A Survey
Judea Pearl -- University of California at Los Angeles
3:00 == break ==
3:30 Report on the Munich Nonmonotonic Reasoning Workshop
David Poole -- University of British Columbia
4:00 Invited Panel: Critical Issues in Nonomonotonic Reasoning
Moderator: David Etherington, AT&T Bell Laboratories
Panellists: Ken Forbus, University of Illinois
Matthew Ginsberg, Stanford University
David Israel, SRI International/CSLI
Vladimir Lifschitz, Stanford University
========================================================================
TUESDAY, MAY 16 -- EVENING
7:00 Conference Banquet
Ontario Place
========================================================================
========================================================================
WEDNESDAY, MAY 17 -- MORNING
--------------- Ontario Room: Constraints; Time ---------------------
9:00 Parallel Solutions to Constraint Satisfaction Problems
Simon Kasif -- The Johns Hopkins University
9:35 Exact Solution in Linear Time of Networks of Constraints Using
Perfect Relaxation
Francesca Rossi -- MCC
Ugo Montanari -- Universita di Pisa
10:10 == break ==
10:30 Temporal Constraint Networks
Rina Dechter -- University of California at Los Angeles
Itay Meiri -- University of California at Los Angeles
Judea Pearl -- University of California at Los Angeles
11:05 Localizing Temporal Constraint Propagation
Johannes A. G. M. Koomen -- University of Rochester
11:40 A Non-Reified Temporal Logic
Fahiem Bacchus -- University of Waterloo
Josh Tenenberg -- University of Rochester
Johannes A. Koomen -- University of Rochester
--------------- Ballroom: Default Reasoning; Tractable Reasoning -----
9:00 What the Lottery Paradox Tells Us About Default Reasoning
David Poole -- University of British Columbia
9:35 Hard Problems for Simple Default Logics
Henry A. Kautz -- AT&T Bell Laboratories
Bart Selman -- University of Toronto
10:10 == break ==
10:30 Some Results Concerning the Computational Complexity of
Abduction
Tom Bylander -- The Ohio State University
Dean Allemang -- The Ohio State University
Michael C. Tanner -- The Ohio State University
John R. Josephson -- The Ohio State University
11:05 Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning
Alex Borgida -- Rutgers University
David W. Etherington -- AT&T Bell Laboratories
11:40 Towards a Theory of Access-Limited Logic for Knowledge
Representation
J. M. Crawford -- The University of Texas at Austin
Benjamin Kuipers -- The University of Texas at Austin
========================================================================
WEDNESDAY, MAY 17 -- AFTERNOON
***** FREE AFTERNOON *****
========================================================================
========================================================================
THURSDAY, MAY 18 -- MORNING
--------------- Ontario Room: Nonmonotonic Reasoning II --------------
9:00 What Does a Conditional Knowledge Base Entail?
Daniel Lehmann -- Hebrew University
9:35 Three-Valued Formalizations of Non-Monotonic Reasoning and
Logic Programming
Teodor C. Przymusinski -- University of Texas at El Paso
10:10 == break ==
10:30 Argument Systems: A Uniform Basis for Nonmonotonic Reasoning
Fangzhen Lin -- Stanford University
Yoav Shoham -- Stanford University
11:05 Between Circumscription and Autoepistemic Logic
Vladimir Lifschitz -- Stanford University
11:40 Relating Autoepistemic and Default Logics
Wiktor Marek -- University of Kentucky
Miroslaw Truszczynski -- University of Kentucky
--------------- Ballroom: Planning and Reasoning about Action --------
9:00 Synthesizing Information-Tracking Automata from Environment
Descriptions
Stanley J. Rosenschein -- Teleos Research
9:35 Situated Control Rules
Mark Drummond -- NASA Ames Research Center
10:10 == break ==
10:30 ADL: Exploring the Middle Ground Between STRIPS and the
Situation Calculus
Edwin P. D. Pednault -- AT&T Bell Laboratories
11:05 Inheritance in Automated Planning
Josh Tenenberg -- University of Rochester
11:40 Making Situation Calculus Indexical
Devika Subramanian -- Stanford University
John Woodfill -- Stanford University
========================================================================
12:15 - 2:00 LUNCH
========================================================================
THURSDAY, MAY 18 -- AFTERNOON
--------------- Ballroom: Plenary Symposium ----------------------------
Against Representation: The Opposition Speaks
Organized and Moderated by David Kirsh, MIT
Speaker: Geoffrey Hinton, University of Toronto
"Connectionist Symbol Processing"
Respondent: Danny Bobrow, Xerox PARC
Speaker: Stan Rosenschein, Teleos Research
"No Representation Without Information"
Respondent: Drew McDermott, Yale University
Speaker: John Perry, Stanford University/CSLI
"Intelligence is Attunement to Incremental Information"
Respondent: Robert Moore, SRI International
========================================================================
-------------------------------------------------------------------------------
KR'89 REGISTRATION FEES:
Fee Schedule: All fees are in Canadian Dollars
EARLY: Postmarked by midnight April 14
Regular $225
Students $100
Banquet $ 35
LATE: Postmarked after Midnight April 14
Regular $275
Students $125
Banquet $ 35
HOW TO REGISTER:
1. Fill in the following registration form.
2. Payment may be made in several ways:
ALL DELEGATES: payment may be made by VISA, MasterCard, or American Express.
See the registration form for details.
IN CANADA: you may send cheque or money order payable to "Knowledge
Representation '89" for the appropriate amount in Canadian Dollars.
IN U.S.: you may send an International Money Order payable to "Knowledge
Representation '89" for the appropriate amount in Canadian Dollars. No U.S.
cheques accepted.
OUTSIDE NORTH AMERICA: payment by International Money Order only, in Canadian
Dollars.
3. Return form with payment to: reiter@ai.toronto.edu (credit cards only), or
KR'89
Box 104 - 55 McCaul Street
Toronto, Ontario, Canada
M5T 2W7
4. Registrations postmarked prior to midnight, April 14, 1989, will receive
the early registration discounted rate. Confirmations will be mailed to
registrations received by April 21, 1989.
5. SPACES WILL BE ALLOCATED ON A FIRST COME FIRST SERVED BASIS TO THE MAXIMUM
THAT FACILITIES CAN ACCOMMODATE. THEREFORE, PARTICIPANTS ARE STRONGLY ADVISED
TO REGISTER AS SOON AS POSSIBLE. THERE WILL BE NO ON SITE REGISTRATION.
To register at the conference hotel, The Royal York, fill in the following
form and mail it with your deposit to the conference address, NOT TO THE
HOTEL. Single room rates for conference attendees are $120.00 Cdn.; double
are $140.00 Cdn. plus Ontario Accommodation Tax of 5%. Rooms can be
guaranteed for conference attendees only until April 14, 1989.
CONFERENCE INFORMATION
KR'89
Box 104 - 55 McCaul Street
Toronto, Ontario, Canada
M5T 2W7
-------------------------------------------------------------------------------
CONFERENCE REGISTRATION:
-----------------------
NAME:
ORGANIZATION:
MAILING ADDRESS:
POSTAL CODE:
TELEPHONE:
EMAIL:
FAX:
1. Are you currently actively engaged in research related to the conference?
YES NO
2. If so, what is your research area?
3. Have you submitted a paper to this conference? YES NO
4. Please indicate if you require special services as a disabled attendee.
YES NO
Return this section and full payment to:
KR'89
Box 104 - 55 McCaul Street
Toronto, Ontario, Canada
M5T 2W7
-------------------------------------------------------------------------------
FEE CALCULATION:
---------------
Return this section and full payment to:
KR'89
Box 104 - 55 McCaul Street
Toronto, Ontario, Canada
M5T 2W7
Regular fee: $
Banquet fee: $
Student fee: $
TOTAL BEING SUMITTED $
Payment by: VISA
MC
AMEX
Amount: $
Card Number:
Expiry Date:
Signature:
I am submitting a cheque (Canadians Only) in the amount of $
I am submitting an Internation Money Order in the amount of $
Notes: Registrations postmarked prior to midnight, April 14, 1989, will
receive the early registration discounted rate. Confirmations will be mailed
to registrations received by April 21, 1989.
Proceedings are included in the registration fee.
-------------------------------------------------------------------------------
HOTEL REGISTRATION:
------------------
KR'89 ROYAL YORK HOTEL, TORONTO, CANADA
Name:
Address:
Postal/Zip Code:
Phone:
Organization:
Arrival Date:
Time:
Departure Date:
Sharing Room With:
Type of Room required: One Bed -or- Two Beds
NOTE: Check-out time is 12 noon (additional charge thereafter.
Check-in time: Not before 3 p.m.
Limited double beds upon request. No charge for child (17 years and under)
sharing parents' room. Ontario Sales Tax of 5% to apply. Reservations are
held only until 6 p.m., unless guaranteed by valid credit card, cheque or
money order.
RATES TO APPLY: (indicate your preference)
Single $120 Twin $140
Credit Card:
AMEX:
VISA:
MasterCard:
Diners:
EnRoute:
J.C.B.:
Carte Blanche:
Card Number:
Expiry Date:
Return this section and full payment to:
KR'89
Box 104 - 55 McCaul Street
Toronto, Ontario, Canada
M5T 2W7
-------------------------------------------------------------------------------
HOTEL REGISTRATION:
ALTERNATIVE ACCOMMODATION:
Following is a list of alternative accommodations, convenient to the
conference site. No special arrangements have been made with these hotels.
Please contact the hotel directly to determine prices and room availability.
CARLTON INN HOTEL: 30 Carlton St. Toronto, Ontario, Canada M5B 2E9 Phone:
(416) 977-6655, toll free from Canada and some US states (800) 268-9076
Single $89, Double $110
BOND PLACE HOTEL: 65 Dundas St. East, Toronto, Ontario, Canada M5B 2G8.
Phone: (416) 362-6061, toll free from Ontario and some northern US states
(800) 268-9390. Single $59, Double $65
QUALITY INN: 300 Jarvis St. Toronto, Ontario, Canada M5B 2C5. Phone: (416)
977-4824, toll free from Canada and US (800) 228-5151. Single $62, Double $72
HAMPTON COURT HOTEL: 415 Jarvis St., Toronto, Ontario M4Y 2G8. Phone: (416)
924-6631, toll free from Ontario and Quebec (800) 387-5510, from northern US
(800) 387-2701. Single $63, Double $68
VENTURE INN: 89 Avenue Rd., Toronto, Ontario, Canada M5R 2G3. Phone (416)
964-1220. Single $83, Double $93.
BED AND BREAKFAST ASSOCIATION OF TORONTO: P.O. Box 190, Station B Toronto,
Ontario, Canada M5T 2W1. Phone (416) 977-6841. Single $40-60, double,
$50-70, triple $80-90.
-------------------------------------------------------------------------------