Vancouver, British Columbia, Canada · 24-28 August 1981
Edited by Roger C. Schank
No papers match this filter.
Natural Language
Language Comprehension in a Problem Solver
Pages 7–11
Cancelled Due To Lack Of Interest
Pages 13–14
Story Generation After TALE-SPIN
Pages 16–17
Modeling Informal Debates
Pages 19–23
Opportunistic Processing in Arguments
Pages 58–59
Variable-Depth Natural Language Understanding
Pages 64–65
Generalizations Based on Explanations
Pages 67–68
Learning
A Computer Model of Child Language Acquisition
Pages 92–95
Concept Learning by Experiment
Pages 104–104
Failure-Driven Reminding for Incremental Learning
Pages 115–119
BACON.5: The Discovery of Conservation Laws
Pages 121–125
Learning Problem-Solving Heuristics Through Practice
Pages 127–133
Knowledge Acquisition in the Consul System
Pages 135–139
Learning Racquetball by Constrained Example Generation
Pages 144–145
A Computational Model of Analogical Problem Solving
Pages 147–151
Learning of Sensory-Motor Schemas in a Mobile Robot
Pages 159–160
Cognitive Science
AUTOPILOT: A Distributed Planner for Air Fleet Control
Pages 171–176
Deductive Modeling of Human Cognition
Pages 178–182
Summarizing Narratives
Pages 184–188
Text Plans and World Plans in Natural Discourse
Pages 190–195
Why Robots Will Have Emotions
Pages 197–201
Recognizing Intended Meaning and Speakers' Plans
Pages 203–207
Character Tracking and the Understanding of Narratives
Pages 209–210
Learning And Abstraction In Simulation
Pages 212–213
Multi-Processor Rotation and Comparison of Objects
Pages 218–219
Nowledge Representation
An Interval-Based Representation of Temporal Knowledge
Pages 221–225
RESTAURANT Revisited or "Lunch with BORIS"
Pages 234–235
Cancellation in a Parallel Semantic Network
Pages 257–262
On Interacting Defaults
Pages 270–275
INFERENCE and REASONING
Qualitative Reasoning about Physical Processes
Pages 326–329
Plan Synthesis: A Logical Perspective
Pages 331–336
Representations for Reasoning about Digital Circuits
Pages 343–343
Don't Be Stupid
Pages 345–346
The Nature of Generalization in Understanding
Pages 348–352
Towards Automating Explanations
Pages 362–366
Representation and Inference in the Consul System
Pages 375–380
Reasoning about Deduction with Unknown Constants
Pages 382–383
A Belief Representation for Understanding Deception
Pages 388–392
The Framework for a Model of Psychoanalytic Inference
Pages 394–399
Natural Language Applications
The Design and an Example Use of Hearsay-III
Pages 409–414
Anaphora for Limited Domain Systems
Pages 416–421
GLP: A General Linguistic Processor
Pages 429–430
A General Semantic Analyser for Data Base Access
Pages 443–444
Theoretical Foundations
An Algorithm that Infers Theories from Facts
Pages 446–450
Distinctions and Confusions: A Catalogue Raisonne
Pages 452–458
Using Matching in Algebraic Equation Solving
Pages 466–470
Subsumption And Connection Graphs
Pages 480–485
Extended Plausible Inference
Pages 487–494
Theorem Proving
The Markgraf Karl Refutation Procedure
Pages 511–517
Obvious Logical Inferences
Pages 530–530
Search
Heuristic Search Theory: Survey of Recent Results
Pages 554–561
Search Methods Using Heuristic Strategies
Pages 563–567
Some Remarks on Heuristic Search Algorithms
Pages 572–573
The Use of Parallelism to Implement a Heuristic Search
Pages 575–579
An Examination of Brute Force Intelligence
Pages 581–586
How to Search Efficiently
Pages 588–593
Vision: 3-d
Object Recognition Using Three-Dimensional Information
Pages 601–605
Structuring Domain Knowledge For Visual Perception
Pages 625–626
Depth from Edge and Intensity Based Stereo
Pages 631–635
Computing Optic Flow
Pages 644–646
Triangulation of 3-D Objects
Pages 658–659
On 3D Reconstruction from Two Perspective Views
Pages 661–662
Polyhedra of Minimal Area as 3D Object Models
Pages 664–665
A Feature-Based Scene Matcher
Pages 667–672
A Structural Method of Scene Analysis
Pages 680–681
Vision: Motion
Structure from Motion of Rigid and Jointed Objects
Pages 686–690
Optic Flow Field Structure And Processing Image Motion
Pages 700–702
Determining Velocity Map By 3-D Iterative Estimation
Pages 716–717
Inferential Region Extraction in TV-Sequences
Pages 719–720
Vision: Low-level
Design Of A Highly Parallel Visual Recognition System
Pages 722–726
Hierarchical Description of Textures
Pages 728–732
Dynamically Quantized Pyramids
Pages 734–735
Intensity Discontinuity Location to SubPixel Precision
Pages 752–753
Robotics
Spatial Problems for a Simulated Robot
Pages 758–764
A Locomotion Control System for Mobile Robots
Pages 779–783
Rover Visual Obstacle Avoidance
Pages 785–789
Tactile Sensation for Robots
Pages 791–794
Advanced Automaton For Space Missions
Pages 803–807
Expert Systems
Explaining and Justifying Expert Consulting Programs
Pages 815–822
DART: An Expert System for Computer Fault Diagnosis
Pages 843–844
How Expert Should an Expert System Be?
Pages 862–866
A Rule-Based Task Generation System
Pages 882–886
Medical Application
Programming Environments
Layered Networks as a Tool for Software Development
Pages 913–918
A Knowledge-Based Program Editor
Pages 920–925
Overview of a Display-Oriented Editor for INTERLISP
Pages 927–928
Brand X: LISP Suport for Semantic Networks
Pages 940–945
Last Steps Towards an Ultimate PROLOG
Pages 947–947
Hardware
Concurrent LISP on a Multi-Micro-Processor System
Pages 949–953
ZMOB: A New Conputing Engine for AI
Pages 955–959
Computer Aided Instruction
Domain Specific Debugging Aids for Novice Programmers
Pages 964–968
Man-machine Interaction
An Information Presentation System
Pages 978–983
Large Human-Machine Information Spaces
Pages 985–990
Automatic Programming
Automatic Synthesis of Numerical Computer Programs
Pages 998–1002
Inversion of Applicative Programs
Pages 1007–1008
Algebraic Approximations
Pages 1024–1025
A Design for an Automatic Programming System
Pages 1027–1028
Program Synthesis
An Advisory System for Developing Data Representations
Pages 1030–1035
Program Demonstrations
STAMMER2: A Rule-Based Application
Pages 1053–-1
A Set of APL Functions to Play New Eleusis
Pages 1054–-1
MDX and Related Medical Decision-Making Systems
Pages 1055–-1
Demonstrating PROLOG on APPLE II
Pages 1056–-1
BORIS - An In-Dept Understander of Narratives
Pages 1057–-1
IPP Program Description
Pages 1059–-1
Compound: A Program that Understands Noun Compounds
Pages 1061–-1
MUMBLE: A Flexible System for Language Production
Pages 1062–-1
Physics Problem Solving: ISAAC-II
Pages 1063–-1
The Model Inference System
Pages 1064–-1
Invited Talk
Parameter Networks: Towards a Theory of Low-Level Vision
Pages 1068–1077
Shape Representation in Parallel Systems
Pages 1088–1095
Front matter, copyright and publication details
Copyright © 1981 International Joint Conference on Artificial Intelligence
Sponsored by: International Joint Conferences on Arti.ficial Intelligence
Canadian Society for Computational Studies of Intelligence
American Association for Artificial Intelligence
SECRETARY-TREASURER: Donald E. Walker
SRI International, Menlo Park, CA 94025
ISBN 0·86576-059-4
