🚀 go-pugleaf

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