pfps@andante.UUCP (Peter F. Patel-Schneider) (04/11/90)
Schedule and Registration Form
Eighth Canadian Conference on Artificial Intelligence (CSCSI'90)
University of Ottawa
Ottawa, Ontario, Canada
22 - 25 May, 1990
SCHEDULE
TUESDAY, 22 May 1990
9:00 Tutorial: Intelligent Computer Aided Software Engineering Tools
R. Stanley and H. B. Tauzovich; Cognos Inc.
9:00 Tutorial: Machine Learning
S. Muggleton; Turing Institute
13:00 Tutorial: Expert Database Systems
L. Kerschberg; George Mason University
13:00 Tutorial: Robotics from and AI Perspective: Planning and Control
T. Dean; Brown University
WEDNESDAY, 23 May 1990
9:00 Opening Remarks
9:20 Invited Talk: Can We Build Learning Robots?
Tom M. Mitchell; Carnegie Mellon University
10:40 Paper Session: PROBABILISTIC REASONING:
Which is more Believable, The Probably Provable or the Provably Probable?
Judea Pearl; University of California at Los Angeles
A Study of Conflicting Evidence in Probabilistic Logic
Mary McLeish; University of Guelph
The Probability of Causal Explanation
Dekang Lin and Randy Goebel; University of Alberta
Sequential Updating Conditional Probability in Bayesian Network by
Posterior Probability
Yang Xiang, Michael P. Beddoes, and David Poole; University
of British Columbia
13:30 Paper Session: KNOWLEDGE REPRESENTATION:
On the Representation of Concurrent Actions in the Situation Calculus
Jay C. Weber; Lockheed AI Center
The Net-Clause Language---A Tool for Describing Network Models
Zdravko Markov, Christo Dichev, and Lydia Sinapova;
Bulgarian Academy of Sciences
Temporal Integration
Andre Trudel; Acadia University
Explaining Decision-Theoretic Choices
David A. Klein; IBM Thomas J. Watson Research Center
Edward H. Shortliffe; Stanford University
A Semantics for a Class of Inheritance Networks
James P. Delgrande; Simon Fraser University
15:40 Paper Session: NON-MONOTONIC AND DEFAULT LOGICS:
A Partial Semantics for Nonmontonic Logics
Wayne Wobcke; University of Sydney
Dialectics and Specificity: Conditioning in Logic-based
Hypothetical Reasoning (Preliminary Report)
David Poole; University of British Columbia
Nested Default Reasoning with Priority Levels
Paul van Arragon; University of Waterloo
On Heterogeneous Model-Preference Default Theories
Fabrizio Sebastiani; Consiglio Nazionale delle Ricerche
The Complexity of Horn Theories with Normal Unary Defaults
Jonathan P. Stillman; General Electric Research and
Development Center
THURSDAY, 24 May 1990
9:00 Invited Talk: Planning the future of natural language research (even
in Canada)
Graeme Hirst; University of Toronto
10:20 Paper Session: COGNITIVE MODELLING AND NATURAL LANGUAGE:
Student Model Revision: Evolution and Revolution
Xueming Huang, Gordon I. McCalla, and Jim E. Greer;
University of Saskatchewan
Tailoring Definitions Using a Multifaceted User Model
Margaret H. Sarner and Sandra Carberry; University of
Delaware
Deriving Natural Language Presuppositions from Complex Conditionals
Robert E. Mercer; University of Western Ontario
An Implementation of a Reversible Grammar
Ping Peng and Tomek Strzalkowski; New York University
Modelling Semantic Flexibility with a Structured Connectionist
Implementation of Functional Category Organization
Susan Hollbach Weber; International Computer Science
Institute
13:30 Paper Session: PLANNING, EXPERT SYSTEMS, AND CASE-BASED REASONING:
Route Planning by Multiple Agents
James L. Weiner and Raphael Malyankar; University of New
Hampshire
Solving the Problem of Hierarchical Inaccuracy in Planning
Qiang Yang; University of Waterloo
A Support-System for Knowledge Engineering by the Student
Gilbert Paquette, Renaud Nadeau, and Martin Longpre;
Tele-universite
Figure Correctness in an Expert System for Teaching Geometry
Richard J. Allen; St. Olaf College
Pierrick Nicolas; IRISA-INSA
Laurent Trilling; IMAG-LGI
Improving the Quality of Case Memory Using Genetic Techniques
Dwight Deugo and Franz Oppacher; Carleton University
15:40 Paper Session: LEARNING:
Building System Specifications Using Explanation-Based Learning
with an Incomplete Theory
Jean Genest; College Millitaire Royal de St-Jean
Stan Matwin; University of Ottawa
Using Distribution-Free Learning Theory to Analyze Chunking
William W. Cohen; Rutgers University
A Semantic Approach to Analogical Reasoning
William T. Hunt and Mary McLeish; University of Guelph
A Simple Algorithm for Learning a Finite-State Machine
Sukhamay Kundu; Louisiana State University
DATAX: A Framework for Machine Discovery of Regularity in Data
Howard J. Hamilton; Simon Fraser University
FRIDAY, 25 May 1990
9:00 Invited Talk: Colours from Colour Signals
Brian Funt; Simon Fraser University
10:20 Paper Session: THEOREM PROVING and CONSTRAINTS:
New Applications of a Fast Propositional Calculus Decision Procedure
Shie-Jee Lee and David A. Plaisted; University of North
Carolina
On Theorem Provers for Circumscription
Katsumi Inoueand Nicolas Helft; ICOT
Improving Deduction in a Sequent Calculus
Catherine Belleannee; IRISA
Improved Relaxation and Search Methods for Approximate Constraint
Satisfaction with a Maximin Criterion
Paul Snow; Plymouth State College
Eugene C. Freuder; University of New Hampshire
From Local to Global Consistency
Rina Dechter; Technion
13:30 Invited Talk: Circumscribing the Artificial Engineer: Diagnosis
Johann de Kleer; Xerox Palo Alto Research Center
15:00 Paper Session: VISION:
Reconstructing Polyhedral Scenes from Single Two-Dimensional
Images: The Orthogonality Hypothesis
Jan A. Mulder; Dalhousie University
Robert J. MacG. Dawson; St. Mary's University
Visual Structure Inference with Uncertainty
Paul R. Cooper; Northwestern University
Goal-Directed Smoothing for the Curvature-based Segmentation of
3-Dimensional Sufaces
Gregory Dudek and John K. Tsotsos; University of Toronto
Registration Form
Eighth Canadian Conference on Artificial Intelligence (CSCSI'90)
Ottawa, Ontario, Canada
22 - 25 May, 1990
Please complete and return this form together with your payment to:
Conference Services Office, National Research Council Canada, Ottawa,
Ontario, K1A 0R6.
PLEASE PRINT
Name ______________________________________________________________
Address __________________________________________________________
______________________________________ Postal Code _______________
Telephone ____________________________ Fax _______________________
Registration Fees Before After
April 27, 1990 April 27, 1990
Conference:
CSCSI/SCEIO Members
Regular Participants $170($145 US) $210($180 US) $ _______
Students 70($ 60 US) 90($ 80 US) $ _______
Non-members
Regular Participants $200($170 US) $240($205 US) $ _______
Students 90($ 80 US) 110($ 95 US) $ _______
Tutorials: (rate per tutorial)
CSCSI/SCEIO Members
Regular Participants $ 90($ 80 US) $115($100 US) $ _______
Students 40($ 35 US) 50($ 45 US) $ _______
Non-members
Regular Participants $100($ 85 US) $125($110 US) $ _______
Students 50($ 45 US) 60( 50 US) $ _______
Indicate the tutorials you wish to attend:
Session 1 Intelligent Computer Aided Software
Engineering Tools (morning) ()
Session 2 Machine Learning (morning) ()
Session 3 Expert Database Systems (afternoon) ()
Session 4 Robotics from an AI Perspective
(afternoon) ()
Banquet (subsidized) is $15($13 US) per ticket $ _________
TOTAL AMOUNT ENCLOSED $ ________CN
$ ________US
Please make cheque payable to the National Research Council (AI90)
METHOD OF PAYMENT:
Cheque enclosed () Credit Card ()
NAME OF CREDIT CARD ________________________________________________________
(VISA and MASTERCARD accepted only)
FULL NAME OF HOLDER AS IT APPEARS ON CARD: _________________________________
CARD NUMBER _________________________________ EXPIRY DATE __________________
(month/year)
Date ________________________ Signature ___________________________________
####################
Accompanying Persons
--------------------
Family members and guests are welcome to attend the reception at no charge
and may purchase banquet tickets at a price of $15.00Cdn ($13US).
The organizers of the accompanying persons programme of the Canadian
Operational Research Society National Conference which is being held at
the same time have extended an open invitation for our guests to join them.
Official Receipts
-----------------
An official receipt will be mailed to those whose payment and registration
form are received in advance. The receipt should be presented upon arrival
at the registration desk.
Cancellations and Refunds
-------------------------
Registrants may withdraw prior to 1 May 1990. All refunds are subject to
a $15.00 handling fee.
Registration Desk
-----------------
The registration desk will be located in the lobby of the Unicentre Building
85 University Street, Ottawa, Ontario, and will open each day from 08:00
to 17:00 starting Tuesday until Friday. On Tuesday evening the desk will
remain open until 18:30.
ACCOMMODATION
-------------
A block of rooms has been reserved on behalf of the conference at the
following locations:
Les Suites Hotel
130 Besserer Street, Ottawa (5 minute walk from the University)
Tel: (613) 232-2000 Fax: (613) 232-1242
Rates: $ 95 Cdn one bedroom suite
130 Cdn two bedrrom suite
The prices are subject to a 5% Ontario sales tax.
Participants are encouraged to share a two bedroom suite and share the costs.
These suites are equipped with two separate bedrooms, a kitchen and spacious
living and dining areas.
Reservations must be made before April 20, 1990 to ensure a room. When
reserving please give the name of the conference to obtain the preferential
rate.
University of Ottawa
Student residences (next to the Unicentre Building)
FAX: (613) 564-3463
Rates: $ 28.35 single
37.80 twin bedded
12.50 rate for students only
Prices are subject to a 5% Ontario Sales Tax.