STRAZ.TD%MIT-OZ@MIT-MC@sri-unix.UUCP (07/20/83)
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. [Interested readers should FTP file <AILIST>V1N25.TXT from SRI-AI. It is about 19,000 characters. -- KIL]
liz@umcp-cs.UUCP (07/25/83)
What follows is the AAAI schedule as ftp'd from sri-ai. I'm posting it here since a lot of you can't ftp. (We actually can't ftp very easily from here either so we can symapthize...) -Liz Allen ...!seismo!umcp-cs!liz (Usenet) liz.umcp-cs@Udel-Relay (Arpanet) --------------------------------------------------------------------- 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