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.