Copy Link
Add to Bookmark
Report
AIList Digest Volume 1 Issue 025
AIList Digest Friday, 22 Jul 1983 Volume 1 : Issue 25
Today's Topics:
AAAI Preliminary Schedule
----------------------------------------------------------------------
Date: 20 Jul 1983 0407-EDT
From: STRAZ.TD%MIT-OZ@MIT-MC
Subject: AAAI Preliminary Schedule
What follows is a complete preliminary schedule for AAAI-83.
Presumably changes are still possible, particularly in times, but it
does tell what papers will be presented.
AAAI-83 THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE at the
Washington Hilton Hotel, Washington, D.C. August 22-26, 1983,
sponsored by THE AMERICAN ASSOCIATION FOR ARTIFICIAL INTELLIGENCE and
co-sponsored by University of Maryland and George Washington
University.
CONFERENCE SCHEDULE
SUNDAY, AUGUST 21
_________________
5:30-7:00 CONFERENCE, TUTORIAL, AND TECHNOLOGY TRANSFER SYMPOSIUM REGISTRATION
MONDAY, AUGUST 22 - FRIDAY, AUGUST 26
_____________________________________
9:00-5:00 AAAI-83 R & D EXHIBIT PROGRAM
WEDNESDAY, AUGUST 24 - FRIDAY, AUGUST 26
--------------------------------------
8:00 p.m.- SMALL GROUP MEETINGS : please sign up for rooms at the information
desk in the Concourse Lobby.
SUNDAY, AUGUST 21 - THURSDAY, AUGUST 23
----------------------------------------
7:00 p.m. FREDKIN- AAAI COMPUTER CHESS TOURNAMENT
Each night at 7:00 p.m., the Fredkin-AAAI Tournament will demonstrate
the Turing Test where human players do not know if they are playing
a machine or other human players with equal probability. Human players
will be rewarded primarily for winning, but secondarily for guessing the
genus of their opponent. The audience also will be kept in the dark,
and there should be some fun in guessing who is who as the game progresses.
There will be three games per night; each night, two games will pit
a human being against a computer and the other game will pit two
human players against each other. The computer system's names are
Belle and Nuches.
TUTORIAL PROGRAM
MONDAY, AUGUST 22 - TUESDAY, AUGUST 23
______________________________________
8:00-5:00 TUTORIAL REGISTRATION in the CONCOURSE LOBBY, CONCOURSE LEVEL
MONDAY, AUGUST 22
_________________
9:00-1:00- TUTORIAL NUMBER 1: AN INTRODUCTION TO ARTIFICIAL INTELLIGENCE
Dr. Eugene Charniak, Brown University
9:00-1:00 TUTORIAL NUMBER 2: AN INTRODUCTION TO ROBOTICS
Dr. Richard Paul, Purdue University
2:00-6:00 TUTORIAL NUMBER 3: NATURAL LANGUAGE PROCESSING
Dr. Gary G. Hendrix, SYMANTEC, Inc.
2:00-6:00 TUTORIAL NUMBER 4: EXPERT SYSTEMS - PART 1 - FUNDAMENTALS
Drs. Randall Davis and Charles Rich, MIT
TUESDAY, AUGUST 23
__________________
9:00-1:00 TUTORIAL NUMBER 5: EXPERT SYSTEMS - PART 2 - APPLICATION AREAS
Drs. Randall Davis and Charles Rich, MIT
9:00-1:00 TUTORIAL NUMBER 6: AI PROGRAMMING TECHNOLOGY - LANGUAGES AND MACHINES
Dr. Howard Shrobe, MIT and Symbolics
Dr. Larry Masinter, Xerox Palo Alto Research Center
MONDAY, AUGUST 22
_________________
8:00-5:00 TECHNOLOGY TRANSFER SYMPOSIUM REGISTRATION in CONCOURSE LOBBY
TUESDAY, AUGUST 23
__________________
8:00-2:00 TECHNOLOGY TRANSFER SYMPOSIUM REGISTRATION in CONCOURSE LOBBY
2:00-9:30 TECHNOLOGY TRANSFER SYMPOSIUM (6-7:30 dinner break)
TECHNICAL WORKSHOPS
___________________
MONDAY, AUGUST 22 AND TUESDAY, AUGUST 23
________________________________________
9:00-5:00 SENSORS AND ALGORITHMS FOR 3-D VISION Dr. Azriel Rosenfeld, Maryland
9:00-5:00 PLANNING organized by Dr. Robert Wilensky, Berkeley
HOSPITALITY
___________
MONDAY, AUGUST 22
_________________
6:00-8:00 RECEPTION (Welcome!) in the CONCOURSE EXHIBIT HALL, CONCOURSE LEVEL
TUESDAY, AUGUST 23
__________________
5:30-7:00 CONFERENCE REGISTRATION RECEPTION; INTERNATIONAL TERRACE
WEDNESDAY, AUGUST 24
____________________
6:00-8:00 MAIN CONFERENCE RECEPTION (NO HOST BAR); INTERNATIONAL TERRACE
THURSDAY, AUGUST 25
___________________
6:00-7:00 BOARDING BUSES FOR GALA at the T STREET ENTRANCE, TERRACE LEVEL
7:00-10:30 GALA RECEPTION AND ENTERTAINMENT AT THE CAPITOL CHILDREN'S MUSEUM
(NO HOST BAR) *** RESERVATIONS ONLY ***
FRIDAY, AUGUST 26
_________________
6:00-8:00 HAIL AND FAREWELL in the INTERNATIONAL BALLROOM EAST
TECHNICAL CONFERENCE SCHEDULE
_____________________________
* PLEASE NOTE: Depending on the size of attendance, closed circuit T.V.
will be available Wednesday, August 24 thru Friday, August 26, for
particular sessions (that is, those sessions scheduled for the
International Ballroom Center and West). The closed circuit
T.V. rooms will be the Georgetown Room, Concourse Level, and the
Back Terrace, Terrace Level.
MONDAY, AUGUST 22
_________________
8:00-5:00 TECHNICAL CONFERENCE REGISTRATION
TUESDAY, AUGUST 23
__________________
8:00-7:00 TECHNICAL CONFERENCE REGISTRATION
7:00 p.m. SPECIAL SESSION dedicated to Dr. Victor Lesser, USSR
WEDNESDAY, AUGUST 24
____________________
8:00-5:00 TECHNICAL CONFERENCE REGISTRATION
KNOWLEDGE REPRESENTATION AND PROBLEM SOLVING SESSION I
______________________________________________________
9:00-9:20 AN OVERVIEW OF META-LEVEL ARCHITECTURE Michael Genesereth, Stanford
9:20-9:40 FINDING ALL OF THE SOLUTIONS TO A PROBLEM David Smith, Stanford
9:40-10:00 COMMUNICATION & INTERACTION IN MULTI-AGENT PLANNING
Michael Georgeff, SRI
10:00-10:20 DATA DEPENDENCIES ON INEQUALITIES Drew McDermott, Yale
10:20-10:40 KRYPTON: INTEGRATING TERMINOLOGY & ASSERTION
Ronald Brachman and Hector Levesque, Fairchild AI Laboratory
Richard Fikes, Xerox PARC
in the INTERNATIONAL BALLROOM CENTER
COGNITIVE MODELLING SESSION I
_____________________________
9:00-9:20 THREE DIMENSIONS OF DESIGN DEVELOPMENT Neil M. Goldman, USC/ISI
9:20-9:40 SIX PROBLEMS FOR STORY UNDERSTANDERS Peter Norvig, Berkeley
9:40-10:00 PLANNING AND GOAL INTERACTION: THE USE OF PAST SOLUTIONS IN PRESENT
SITUATIONS Kristian Hammond, Yale
10:00-10:20 A MODEL OF INCREMENTAL LEARNING BY INCREMENTAL AND ANALOGICAL
REASONING & DEBUGGING Mark Burnstein, Yale
10:20-10:40 MODELLING OF HUMAN KNOWLEDGE ROUTES: PARTIAL AND INDIVIDUAL
VARIATION Benjamin Kuipers, Tufts
in the INTERNATIONAL BALLROOM WEST
VISION AND ROBOTICS SESSION I
_____________________________
9:00-9:20 A VARIATIONAL APPROACH TO EDGE DETECTION John Canny, MIT
9:20-9:40 SURFACE CONSTRAINTS FROM LINEAR EXTENTS John Kender, Columbia
9:40-10:00 AN ITERATIVE METHOD FOR RECONSTRUCTING CONVEX POLYHEDRA FROM
EXTENDED GAUSSIAN IMAGES James J. Little, U.of British Columbia
10:00-10:20 TWO RESULTS CONCERNING AMBIGUITY IN SHAPE FROM SHADING
M.J. Brooks, Flinders University of South Australia
In the INTERNATIONAL BALLROOM EAST
10:40-11:00 BREAK
11:00-12:30 PANEL: LOGIC PROGRAMMING
Howard Shrobe, Organizer, MIT
Michael Genesereth, Stanford,
J. Alan Robinson, David Warren, SRI International
In the INTERNATIONAL BALLROOM CENTER
12:30-2:00 LUNCH BREAK
ANNUAL SIGART BUSINESS MEETING in the HEMISPHERE ROOM
2:00-3:10 INVITED LECTURE: THE STATE OF THE ART IN COMPUTER LEARNING
Douglas Lenat, Stanford in the INTERNATIONAL BALLROOM CENTER
3:10-3:30 BREAK
NATURAL LANGUAGE SESSION I
__________________________
3:30-3:50 RECURSION IN TEXT AND ITS USE IN LANGUAGE GENERATION
Kathleen McKeown, Columbia
3:50-4:10 RELAXATION IN REFERENCE Bradley Goodman, BBN
4:10-4:30 TRACKING USER GOALS IN AN INFORMATION-SEEKING ENVIRONMENT
M. Sandra Carberry, Delaware
4:30-4:50 REASONS FOR BELIEFS IN UNDERSTANDING: APPLICATIONS OF NON-MONOTONIC
DEPENDENCIES TO STORY PROCESSING Paul O' Rorke, Illinois
4:50-5:10 RESEARCHER: AN OVERVIEW Michael Lebowitz, Columbia
in the INTERNATIONAL BALLROOM EAST
LEARNING SESSION I
__________________
3:30-3:50 EPISODIC LEARNING Dennis Kibler and Bruce Porter, California-Irvine
3:50-4:10 HUMAN PROCEDURAL SKILL ACQUISITION: THEORY, MODEL AND PSYCHOLOGICAL
VALIDATION Kurt VanLehn, Xerox PARC
4:10-4:30 A PRODUCTION SYSTEM FOR LEARNING FROM AN EXPERT
D. Paul Benjamin and Malcolm Harrison, Courant Institute, NYU
4:30-4:50 OPERATOR DECOMPOSABILITY: A NEW TYPE OF PROBLEM STRUCTURE
Richard Korf, CMU
4:50-5:10 SCHEMA SELECTION AND STOCHASTIC INFERENCE IN MODULAR ENVIRONMENT
Paul Smolensky, UCSD
in the INTERNATIONAL BALLROOM WEST
EXPERT SYSTEMS SESSION I
------------------------
3:30-3:50 THE DESIGN OF A LEGAL ANALYSIS PROGRAM Anne v.d.L. Gardner, Stanford
3:50-4:10 THE ADVANTAGES OF ABSTRACT CONTROL KNOWLEDGE IN EXPERT SYSTEM DESIGN
William J. Clancey, Stanford
4:10-4:30 THE GIST BEHAVIOR EXPLAINER William Swartout, USC/ISI
4:30-4:50 A COMPARATIVE STUDY OF CONTROL STRATEGIES FOR EXPERT SYSTEMS: AGE
IMPLEMENTATION OF THE THREE VARIATIONS OF PUFF
Nelleke Aiello, Stanford
4:50-5:10 A RULE-BASED APPROACH TO INFORMATION RETRIEVAL: SOME RESULTS AND
COMMENTS Richard Tong, Daniel Shapiro, Brian McCune & Jeffrey Dean,
Advanced Information & Decision Systems
5:10-5:30 EXPERT SYSTEM CONSULTATION CONTROL STRATEGY James Slagle and Michael
Gaynor, Naval Research Laboratory
in the INTERNATIONAL BALLROOM CENTER
7:00 P.M. AAAI EXECUTIVE COMMITTEE MEETING
THURSDAY, AUGUST 25
___________________
8:00-5:00 TECHNICAL CONFERENCE REGISTRATION in the CONCOURSE LOBBY
KNOWLEDGE REPRESENTATION AND PROBLEM SOLVING SESSION II
_______________________________________________________
9:00-9:20 THE DENOTATIONAL SEMANTICS OF HORN CLAUSES AS A PRODUCTION SYSTEM
J-L. Lassez and M. Maher, University of Melbourne
9:20-9:40 THEORY RESOLUTION: BUILDING IN NONEQUATIONAL THEORIES
Mark Stickel, SRI International
9:40-10:00 IMPROVING THE EXPRESSIVENESS OF MANY SORTED LOGIC
Anthony Cohn, University of Warwick
10:00-10:20 THE BAYESIAN BASIS OF COMMON SENSE MEDICAL DIAGNOSIS
Eugene Charniak, Brown
10:20-10:40 ANALYZING THE ROLES OF DESCRIPTIONS AND ACTIONS IN OPEN SYSTEMS
Carl Hewitt and Peter DeJong, MIT
in the INTERNATIONAL BALLROOM CENTER
NATURAL LANGUAGE SESSION II
___________________________
9:00-9:20 PHONOTACTIC AND LEXICAL CONSTRAINTS IN SPEECH RECOGNITION
Daniel P. Huttenlocher and Victor W. Zue, MIT
9:20-9:40 DETERMINISTIC AND BOTTOM-UP PARSING IN PROLOG
Edward Stabler, Jr., University of Western Ontario
9:40-10:00 MCHART: A FLEXIBLE, MODULAR CHART PARSING SYSTEM
Henry Thompson, Edinburgh
10:00-10:20 INFERENCE-DRIVEN SEMANTIC ANALYSIS Martha Stone Palmer, Penn & SDC
10:20-10:40 MAPPING BETWEEN SEMANTIC REPRESENTATIONS USING HORN CLAUSES
Ralph M. Weischedel, Delaware
in the INTERNATIONAL BALLROOM WEST
SEARCH SESSION I
________________
9:00-9:20 A THEORY OF GAME TREES Chun-Hung Tzeng, Paul Purdom, Jr., Indiana
9:20-9:40 OPTIMALITY OF A A* REVISITED Rina Dechter and Judea Pearl, UCLA
9:40-10:00 SOLVING THE GENERAL CONSISTENT LABELING (OR CONSTRAINT SATISFACTION)
TWO ALGORITHMS AND THEIR EXPECTED COMPLEXITIES Bernard Nudel,Rutgers
10:00-10:20 THE COMPOSITE DECISION PROCESS: A UNIFYING FORMULATION FOR
HEURISTIC SEARCH, DYNAMIC PROGRAMMING AND BRANCH & BOUND PROCEDURES
Vipin Kumar, Texas & Laveen Kanal, Maryland
10:20-10:40 NON-MINIMAX SEARCH STRATEGIES FOR USE AGAINST FALLIBLE OPPONENTS
Andrew Louis Reibman and Bruce Ballard, Duke
in the INTERNATIONAL BALLROOM EAST
10:40-11:00 BREAK
11:00-12:30 AAAI PRESIDENTIAL ADDRESS Nils Nilsson, SRI International
ANNOUNCEMENT OF THE PUBLISHER'S PRIZE
AAAI COMMENDATION FOR EXCELLENCE to MARVIN DENICOFF, Office of
Naval Research
in the INTERNATIONAL BALLROOM CENTER
12:30-2:00 LUNCH BREAK
ANNUAL AAAI BUSINESS MEETING in the INTERNATIONAL BALLROOM CENTER
2:00-3:10 THE GREAT DEBATE: METHODOLOGIES FOR AI RESEARCH
John McCarthy, Stanford vs. Roger Schank, Yale
in the INTERNATIONAL BALLROOM CENTER
3:10-3:30 BREAK
KNOWLEDGE REPRESENTATION AND PROBLEM SOLVING SESSION III
-------------------------------------------------------
3:30-3:50 PROVING THE CORRECTNESS OF DIGITAL HARDWARE DESIGNS
Harry G. Barrow, Fairchild AI Laboratory
3:50-4:10 A CHESS PROGRAM THAT CHUNKS Murray Campbell & Hans Berliner, CMU
4:10-4:30 THE DECOMPOSITION OF A LARGE DOMAIN: REASONING ABOUT MACHINES
Craig Stanfill, Maryland
4:30-4:50 REASONING ABOUT STATE FROM CAUSATION AND TIME IN A MEDICAL DOMAIN
William Long, MIT
4:50-5:10 THE USE OF QUALITATIVE AND QUANTITATIVE SIMULATIONS Reid Simmons, MIT
5:10-5:30 AN AUTOMATIC ALGORITHM DESIGNER: AN INITIAL IMPLEMENTATION
Elaine Kant and Allen Newell, CMU
in the INTERNATIONAL BALLROOM EAST
LEARNING SESSION II
___________________
3:30-3:50 WHY AM AND EURISKO APPEAR TO WORK?
Douglas Lenat, Stanford, John Seely Brown, Xerox PARC
3:50-4:10 LEARNING PHYSICAL DESCRIPTIONS FROM FUNCTIONAL DEFINITIONS, EXAMPLES,
AND PRECEDENTS Patrick Winston & Boris Katz, MIT, Thomas Binford &
Michael Lowry, Stanford
4:10-4:30 A PROBLEM-SOLVER FOR MAKING ADVICE OPERATIONAL Jack Mostow, USC/ISI
4:30-4:50 GENERATING HYPOTHESES TO EXPLAIN PREDICTION FAILURES
Steven Salzberg, Yale
4:50-5:10 LEARNING BY RE-EXPRESSING CONCEPTS FOR EFFICIENT RECOGNITION
Richard Keller, Rutgers
in the INTERNATIONAL BALLROOM WEST
EXPERT SYSTEMS SESSION II
_________________________
3:30-3:50 DIAGNOSIS VIA CAUSAL REASONING: PATHS OF INTERACTION AND THE
LOCALITY PRINCIPLE Randall Davis, MIT
3:50-4:10 A NEW INFERENCE METHOD FOR FRAME-BASED EXPERT SYSTEMS
James Reggia, Dana Nau, Pearl Wang, Maryland
4:10-4:30 ANALYSIS OF PHYSIOLOGICAL BEHAVIOR USING A CAUSAL MODLE BASED ON
FIRST PRINCIPLES John C. Kunz, Stanford
4:30-4:50 AN INTELLIGENT AID FOR CIRCUIT REDESIGN Tom Mitchell, Louis
Steinberg, Smadar Kedar-Cabelli, Van Kelly, Jeffrey Shulman,
Timothy Weinrich, Rutgers
4:50-5:10 TALIB: AN IC LAYOUT DESIGN ASSISTANT Jin Kim and John McDermott, CMU
in the INTERNATIONAL BALLROOM CENTER
FRIDAY, AUGUST 26
_________________
KNOWLEDGE REPRESENTATION & PROBLEM SOLVING SESSION IV
------------------------------------------------------
9:00-9:20 ON INHERITANCE HIERARCHIES WITH EXCEPTIONS David W. Etherington,
University of British Columbia, Raymond Reiter, UBC and Rutgers
9:20-9:40 DEFAULT REASONING AS LIKELIHOOD REASONING Elaine Rich, Texas
9:40-10:00 DEFAULT REASONING USING MONOTONIC LOGIC: A MODEST PROPOSAL
Jane Terry Nutter, Tulane
10:00-10:20 A THEOREM-PROVER FOR A DETECTABLE SUBSET OF DEFAULT LOGIC
Philippe Besnard, Rene Quiniou,&Patrice Quinton, IRISA-INRIA Rennes
10:20-10:40 DERIVATIONAL ANALOGY AND ITS ROLE IN PROBLEM SOLVING
Jaime Carbonell, CMU
in the INTERNATIONAL BALLROOM CENTER
COGNITIVE MODELLING SESSION II
------------------------------
9:00-9:20 STRATEGIST: A PROGRAM THAT MODELS STRATEGY-DRIVEN AND CONTENT-DRIVEN
INFERENCE BEHAVIOR Richard Granger, Jennifer Holbrook, and
Kurt Eiselt, California-Irvine
9:20-9:40 LEARNING OPERATOR SEMANTICS BY ANALOGY
Sarah Douglas, Stanford & Xerox PARC, Thomas Moran, Xerox PARC
9:40-10:00 AN ANALYSIS OF A WELFARE ELIGIBILITY DETERMINATION INTERVIEW:
A PLANNING APPROACH Eswaran Subrahmanian, CMU
in the INTERNATIONAL BALLROOM EAST
VISION AND ROBOTICS SESSION II
------------------------------
9:00-9:20 THE PERCEPTUAL ORGANIZATION AS BASIS FOR VISUAL RECOGNITION
David Lowe and Thomas Binford, Stanford
9:20-9:40 MODEL BASED INTERPRETATION OF RANGE IMAGERY
Darwin Kuan and Robert Drazovich, AI&DS
9:40-10:00 A DESIGN METHOD FOR RELAXATION LABELING APPLICATIONS
Robert Hummel, Courant Institute, NYU
10:00-10:20 APPROPRIATE LENGTHS BETWEEN PHALANGES OF MULTI JOINTED FINGERS FOR
STABLE GRASPING Tokuji Okada and Takeo Kanade, CMU
10:20-10:40 FIND-PATH FOR A PUMA-CLASS ROBOT Rodney Brooks, MIT
in the INTERNATIONAL BALLROOM WEST
10:40-11:00 BREAK
11:00-12:30 PANEL: ADVANCED HARDWARE ARCHITECTURES FOR ARTIFICIAL INTELLIGENCE
Allen Newell, Organizer, CMU
in the INTERNATIONAL BALLROOM
12:30-2:00 LUNCH BREAK
AAAI SUBGROUP: AI IN MEDICINE MEMBERSHIP MEETING in HEMISPHERE ROOM
2:00-3:10 INVITED LECTURE - THE STATE OF THE ART IN ROBOTICS Michael Brady, MIT
in the INTERNATIONAL BALLROOM
3:10-3:30 BREAK
SEARCH SESSION II
-----------------
3:30-3:50 INTELLIGENT CONTROL USING INTEGRITY CONSTRAINTS
Madhur Kohli and Jack Minker, Maryland
3:50-4:10 PREDICTING THE PERFORMANCE OF DISTRIBUTED KNOWLEDGE-BASED SYSTEMS:
MODELLING APPROACH Jasmina Pavlin, UMASS
in the INTERNATIONAL BALLROOM EAST
LEARNING SESSION III
--------------------
3:30-3:50 LEARNING: THE CONSTRUCTION OF A POSTERIORI KNOWLEDGE STRUCTURES
Paul Scott, University of Michigan
3:50-4:10 A DOUBLY LAYERED, GENETIC PENETRANCE LEARNING SYSTEM
Larry Rendell, University of Guelph
4:10-4:30 AN ANALYSIS OF GENETIC-BASED PATTERN TRACKING AND COGNITIVE-BASED
COMPONENT TRACKING MODELS OF ADAPTATION
Elaine Pettit and Kathleen Swigger, North Texas State University
in the INTERNATIONAL BALLROOM CENTER
SUPPORT HARDWARE AND SOFTWARE SESSION
-------------------------------------
3:30-3:50 MASSIVELY PARALLEL ARCHITECTURES FOR AI: NETL, THISTLE, AND BOLTZMANN
MACHINES Scott Fahlman, Geoffrey Hinton, CMU, Terrence Sejnowski, JHU
3:50-4:10 YAPS: A PRODUCTION RULE SYSTEMS MEETS OBJECTS
Elizabeth Allen, Maryland
4:10-4:30 SPECIFICATION-BASED COMPUTING ENVIRONMENTS Robert Balzer, David Dyer,
Mathew Morgenstern, and Robert Neches, USC/ISI
in the INTERNATIONAL BALLROOM WEST
------------------------------
End of AIList Digest
********************
