tsotsos@utai.UUCP (John Tsotsos) (03/08/84)
The preliminary program for the Fifth National Conference of the Canadian
Society for Computational Studies of Intelligence follows.
Registration or other information may be obtained from:
Prof. Michael Bauer,
Local Arrangements Chair, CSCSCI/SCEIO-84
Dept. of Computer Science,
University of Western Ontario
London, Ontario, Canada
N6A 5B7
(519)-679-6048
Due to unfortunate circumstances beyond our control, there has been a
date change for the conference which has not been reflected in
several current announcements. The correct date is May 15- 17, 1984.
CSCSI-84
Canadian Society for
Computational Studies of Intelligence
Fifth National Conference
May 15 - 17
University of Western Ontario
London, Ontario, Canada
PRELIMINARY PROGRAM
Tuesday Morning, May 15
8:30 - 8:40 Introduction and Welcome
Session 1 - Natural Language
8:40 - 9:40 Martin Kay (XEROX PARC) - Invited Lecture
9:40 - 10:10 "A Theory of Discourse Coherence for Argument Understanding"
Robin Cohen (U of Toronto) (Long paper)
10:10 - 10:30 "Scalar Implicature and Indirect Responses in
Question-Answering"
Julia Hirschberg (U of Pennsylvania) (Short paper)
10:30 - 10:40 BREAK
10:40 - 11:00 "Generating Non-Direct Answers by Computing Presuppositions
of Answers, Not of Questions or Mind your P's, not your Q's"
Robert Mercer, Richard Rosenberg (U of British Columbia)
(Short paper)
11:00 - 11:20 "Good Answers to Bad Questions: Goal Deduction in Expert
Advice-Giving"
Martha Pollack (U of Pennsylvania) (Short paper)
Session 2 - Cognitive Modelling and Problem Solving
11:20 - 11:40 "Using Spreading Activation to Identify Relevant Help"
Adele Howe (ITT), Timothy Finin (U of Pennsylvania)
(Short paper)
11:40 - 12:00 "Managing Time Maps"
Thomas Dean (Yale) (Short paper)
12:00 - 1:30 LUNCH
Tuesday Afternoon, May 15
Panel Discussion
1:30 - 2:45 "The Artificial Intelligence, Robotics and Society Program"
of the Canadian Institute for Advanced Research
Panel members : Zenon Pylyshyn - moderator (U of Western Ontario)
Raymond Reiter - coordinator for the University of British Columbia
John Mylopoulos - coordinator for the University of Toronto
Steven Zucker - coordinator for McGill University
Nick Cercone - president CSCSI/SCEIO
Session 3 - Computer Vision I
2:45 - 3:45 "Optical Phenomena in Computer Vision"
Steven Shafer (CMU) - Invited Lecture
3:45 - 4:00 BREAK
4:00 - 4:30 "Procedural Adequacy in an Image Understanding System"
Jay Glicksman (Texas Instruments) (Long paper)
4:30 - 5:00 "The Local Structure of Image Discontinuities in One Dimension"
Yvan Leclerc (McGill) (Long paper)
5:00 - 5:30 "Receptive Fields and the Reconstruction of Visual Informatiom"
Steven Zucker (McGill) (Long paper)
Wednesday Morning, May 16
Session 4 - Robotics
8:30 - 9:30 "Robotic Manipulation"
Matthew Mason (CMU) - Invited Lecture
9:30 - 10:00 "Trajectory Planning Problems, I: Determining Velocity
Along a Fixed Path"
Kamal Kant (McGill) (Long paper)
10:00 - 10:20 "Interpreting Range Data for a Mobile Robot"
Stan Letovsky (Yale) (Short paper)
10:20 - 10:45 BREAK
Panel Discussion
10:45 - 12:00 "What is a valid methodology for judging the quality
of AI research?"
Panel Moderator : Alan Mackworth (U of British Columbia)
12:00 - 1:30 LUNCH
Wednesday Afternoon, May 16
Session 5 - Learning
1:30 - 2:00 "The Use of Causal Explanations in Learning"
David Atkinson, Steven Salzberg (Yale) (Long paper)
2:00 - 2:30 "Experiments in the Automatic Discovery of Declarative
and Procedural Data Structure Concepts"
Mostafa Aref, Gordon McCalla (U of Saskatchewan) (Long paper)
2:30 - 3:00 "Theory Formation and Conjectural Knowledge in Knowledge Bases"
James Delgrande (U of Toronto) (Long paper)
3:00 - 3:20 "Conceptual Clustering as Discrimination Learning"
Pat Langley, Stephanie Sage (CMU) (Short paper)
3:20 - 3:40 BREAK
3:40 - 4:00 "Some Issues in Training Learning Systems and an
Autonomous Design"
David Coles, Larry Rendell (U of Guelph) (Short paper)
4:00 - 4:20 "Inductive Learning of Phonetic Rules for Automatic
Speech Recognition"
Renato de Mori (Concordia University)
Michel Gilloux (Centre National d'Etudes des
Telecommunications, France)
(Short paper)
4:20 - 4:30 BREAK
Session 6 - Computer Vision II
4:30 - 5:00 "Applying Temporal Constraints to the Problem of Stereopsis
of Time-Varying Imagery"
Michael Jenkin (U of Toronto) (Long paper)
5:00 - 5:30 "Scale-Based Descriptions of Planar Curves"
Alan Mackworth, Farzin Mokhtarian
(U of British Columbia) (Long paper)
Wednesday Evening, May 16 - BANQUET
Thursday Morning, May 17
Session 7 - Logic Programming
8:30 - 9:30 J. Alan Robinson (Syracuse U) - Invited Lecture
9:30 - 9:50 "Implementing PROGRAPH in Prolog: An Overview of the
Interpreter and Graphical Interface"
P. Cox, T. Pietrzykowski (Acadia U) (Short paper)
9:50 - 10:10 "Making 'Clausal' Theorem Provers 'Non-Clausal'"
David Poole (U of Waterloo) (Short paper)
10:10 - 10:30 "Logic as Interaction Language"
Martin van Emden (U of Waterloo) (Short paper)
10:30 - 10:45 BREAK
10:45 - 12:00
Report of the CSCSI/SCEIO Survey on AI Research in Canada
Nick Cercone - President CSCSI/SCEIO
Gordon McCalla - Vice-President CSCSI/SCEIO
12:00 - 1:00 LUNCH
Thursday Afternoon, May 17
Session 8 - Expert Systems and Applications
1:00 - 2:00 Ramesh Patil (MIT) - Invited Lecture
2:00 - 2:20 "ROG-O-MATIC: A Belligerent Expert System"
Michael Mauldin, Guy Jacobson, Andrew Appel, Leonard Hamey (CMU)
(Short paper)
2:20 - 2:40 "An Explanation System for Frame-Based Knowledge Organized
Along Multiple Dimensions"
Ron Gershon, Yawar Ali, Michael Jenkin (U of Toronto)
(Short paper)
2:40 - 3:00 "Qualitative Sensitivity Analysis: A New Approach to Expert
System Plan Justification"
Stephen Cross (Air Force Institute of Technology) (Short paper)
3:00 - 3:20 BREAK
Session 9 - Knowledge Representation
3:20 - 4:20 "A Fundamental Trade-off in Knowledge Representation
and Reasoning"
Hector Levesque (Fairchild R&D) Invited Lecture
4:20 - 4:50 "Representing Control Strategies Using Reflection"
Bryan Kramer (U of Toronto) (Long paper)
4:50 - 5:10 "Knowledge Base Design for an Operating System
Expert Consusltant"
Stephen Hegner (U of Vermont),
Robert Douglass (Los Alamos National Laboratory) (Short paper)
5:10 - 5:30 "Steps Towards a Theory of Exceptions"
James Delgrande (U of Toronto) (Short paper)
5:30 - 5:45 CLOSING REMARKS