Abstract is missing.
- The Role of Eye Position Information in Algorithms for Stereoscopic MatchingK. Prazdny. 1-4
- Tracking Known Three-Dimensional ObjectsDonald B. Gennery. 13-17
- A Model Based Vision System for Recognition of Machine PartsKatsushi Ikeuchi, Yoshiaki Shirai. 18-21
- Local Computation of ShapeAlex Pentland. 22-25
- Edge Detection in Optical Flow FieldsWilliam B. Thompson, Kathleen M. Mutch, Valdis Berzins. 26-29
- Modeling and Using Physical Constraints in Scene AnalysisMartin A. Fischler, Stephen T. Barnard, Robert C. Bolles, Michael R. Lowry, L. Quam, G. Smith, Andrew P. Witkin. 30-35
- Intensity-Based Edge ClassificationAndrew P. Witkin. 36-41
- Segmentation of Images Into Regions Using Edge InformationGérard G. Medioni. 42-45
- A Corner Finding Algorithm for Image Analysis and RegistrationJ.-Q. Fang, Thomas S. Huang. 46-49
- A Systematic Approach to Continuous Graph Labeling With Application to Computer VisionM. D. Diamond, N. Narasimhamurthi, S. Ganapathy. 50-54
- Planning Natural-Language UtterancesDouglas E. Appelt. 59-62
- Argument Molecules: A Functional Representation of Argument StructureLawrence Birnbaum. 63-65
- ARGOT: The Rochester Dialogue SystemJames F. Allen, Alan M. Frisch, Diane J. Litman. 66-70
- Dividing Up the Question Answering ProcessMarc Luria. 71-74
- Salience as a Simplifying Metaphor for Natural Language GenerationDavid D. McDonald, E. Jeffery Conklin. 75-78
- Conceptual Dependency and Montague Grammar: A Step Toward ConciliationMark A. Jones, David Scott Warren. 79-83
- Event Shape DiagramsDavid L. Waltz. 84-87
- An Explanation for Minimal Attachment and Right AssociationRobert Milne. 88-90
- Word Learning With Hierarchy-Guided InferenceDavid M. Keirsey. 99-102
- Talking to UNIX in English: An Overview of UCRobert Wilensky. 103-106
- An Expert System for Interpreting Speech PatternsRenato de Mori, Attilio Giordana, Lorenza Saitta, Pietro Laface. 107-110
- A Search Procedure for Perfect Information Games of Chance: Its Formulation and AnalysisBruce W. Ballard. 111-114
- Synchronization of Multi-Agent PlansJeffrey S. Rosenschein. 115-119
- A General Paradigm for A.I. Search ProceduresDana S. Nau, Vipin Kumar, Laveen N. Kanal. 120-123
- Evaluating Search Methods AnalyticallyPaul Walton Purdom Jr., Cynthia A. Brown. 124-127
- Consistent-Labeling Problems and Their AlgorithmsBernard Nudel. 128-132
- Reverend Bayes on Inference Engines: A Distributed Hierarchical ApproachJudea Pearl. 133-136
- Diagnosis Based on Description of Structure and FunctionRandall Davis, Howard E. Shrobe, Walter Hamscher, Kären Wieckert, Mark Shirley, Steve Polit. 137-142
- Unifying Data-Directed and Goal-Directed Control: An Example and ExperimentsDaniel D. Corkill, Victor R. Lesser, Eva Hudlicka. 143-147
- Knowledge Integration in Text RecognitionSargur N. Srihari, Jonathan J. Hull. 148-151
- Spatial and Temporal Reasoning in Geologic Map InterpretationReid G. Simmons. 152-154
- Job-Shop Scheduling: An Investigation in Constraint-Directed ReasoningMark S. Fox, Bradley P. Allen, Gary Strohm. 155-158
- Heuretics: Theoretical and Experimental Study of Heuristic RulesDouglas B. Lenat. 159-163
- A Program That Learns to Solve Rubik s CubeRichard E. Korf. 164-167
- Experiential Learning in Analogical Problem SolvingJaime G. Carbonell. 168-171
- Error Detection and Recovery in a Dynamic Planning EnvironmentBlake Ward, Gordon I. McCalla. 172-175
- Scenarios as an Aid to PlanningRajendra S. Wall, Edwina L. Rissland. 176-180
- A Framework for Distributed Problem SolvingDavid McArthur, Randall Steeb, Stephanie J. Cammarata. 181-184
- PANDORA: A Program for Doing Commonsense Planning in Complex SituationsJoseph Faletti. 185-188
- Competence in Knowledge RepresentationRonald J. Brachman, Hector J. Levesque. 189-192
- Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It TooCharles Rich. 193-196
- A System for Reasoning About TimeMarc B. Vilain. 197-201
- Circumscriptive IgnoranceKurt Konolige. 202-204
- Modeling Motion With Qualitative Process TheoryKenneth D. Forbus. 205-208
- Getting the Envisionment RightBenjamin Kuipers. 209-212
- The QBKG System: Generating Explanations From a Non-Discrete Knowledge RepresentationHans J. Berliner, David H. Ackley. 213-216
- PLANT/ds Revisited: Non-Homogeneous Evaluation Schema in Expert SystemsCarl T. Uhrik. 217-220
- Inheritance of Statistical PropertiesNeil C. Rowe. 221-224
- Proof Methods in an Agenda-Based Natural-Deduction Theorem ProverMabry Tyson. 225-228
- A Nonclausal Connection-Graph Resolution Theorem-Proving ProgramMark E. Stickel. 229-233
- Multiple Inheritance in Smalltalk-8OAlan Borning, Daniel H. H. Ingalls. 234-237
- GLISP: A High-Level Language for A.I. ProgrammingGordon S. Novak. 238-241
- DADO: A Tree-Structured Machine Architecture for Production SystemsSalvatore J. Stolfo, David Elliot Shaw. 242-246
- Toward Connectionist ParsingSteven L. Small, Garrison W. Cottrell, Lokendra Shastri. 247-250
- Why Do Children Misunderstand Reversible Passives? The CHILD Program Learns to Understand Passive SentencesMallory Selfridge. 251-254
- Learning by Chunking: Summary of a Task and a ModelPaul S. Rosenbloom, Allen Newell. 255-257
- Plan Understanding, Narrative Comprehension, and Story SchemasWilliam F. Brewer. 262-264
- Affect Processing for NarrativesMichael G. Dyer. 265-268
- On Being ContradictoryMargot Flowers. 269-272
- The Role of Experience in Development of ExpertiseJanet L. Kolodner. 273-277
- Diagnosis Using Hierarchical Design ModelsMichael R. Genesereth. 278-283
- The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and SpecificationsVan E. Kelly, Louis I. Steinberg. 284-289
- IDT: An Intelligent Diagnostic ToolHal Shubin, John Wade Ulrich. 290-295
- Knowledge Management: A Practical Amalgam of Knowledge and Data Base TechnologyCharles Kellogg. 306-309
- Removing Restrictions in the Relational Data Base Model: An Application of Problem Solving TechniquesLaurent Siklóssy, Jean-Louis Laurière. 310-313
- RABBIT: An Intelligent Database AssistantFrederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone. 314-318
- Building Expert Systems for Controlling Complex ProgramsSholom M. Weiss, Casimir A. Kulikowski, Chidanand Apté, Michael Uschold, Jay Patchett, Robert Brigham, Belynda Spitzer. 322-326
- SWIRL: An Object-Oriented Air Battle SimulatorPhilip Klahr, David McArthur, Sanjai Narain. 331-334
- Plan Recognition Strategies in Student Modeling: Prediction and DescriptionBob London, William J. Clancey. 335-338
- SPEX: A Second-Generation Experiment Design SystemYumi Iwasaki, Peter Friedland. 341-344
- Information Acquisition in DiagnosisRamesh S. Patil, Peter Szolovits, William B. Schwartz. 345-348
- Deep Versus Compiled Knowledge Approaches to Diagnostic Problem-SolvingB. Chandrasekaran, Sanjay Mittal. 349-354
- Induction of Causal Relationships From a Time-Oriented Clinical Database: An Overview of the RX ProjectRobert L. Blum. 355-357
- Toward a Learning of Object Models Using Analogical Objects and Verbal InstructionNorihiro Abe, Fumihide Itoh, Saburo Tsuji. 362-366
- An Overview of Phi::NIX::David R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal. 367-369
- ARBY: Diagnosis With Shallow Causal ModelsDrew V. McDermott, Ruven E. Brooks. 370-372
- Graphical Animation From KnowledgeDaniel E. Neiman. 373-376
- The CMU RoverHans P. Moravec. 377-380
- Solving the Find-Path Problem by Good Representation of Free SpaceRodney A. Brooks. 381-386
- Final Position Control in Planar Horizontal Arm MovementsJonathan Delatizky. 387-389
- Development of an Overall Direction-of-Action Sensor for RobotsTokuji Okada. 390-393
- An Efficient Collision Warning Algorithm for Robot ArmsE. Gordon Powell. 394-395
- Stability of Automatic Guidance for a Mobile RobotL. Y. Shih. 396-399
- Using Temporal Abstraction to Understand Recursive Programs Involving Side EffectsJoachim Laubsch, Marc Eisenstadt. 400-403
- GIST English GeneratorWilliam R. Swartout. 404-409
- Automatic Schema Acquisition in a Natural Language EnvironmentGerald DeJong. 410-413
- Acquisition of Appropriate Bias for Inductive Concept LearningPaul E. Utgoff, Tom M. Mitchell. 414-417
- Circumscription Implies Predicate Completion (Sometimes)Raymond Reiter. 418-420
- Monitors as Responses to Questions: Determining CompetenceEric Mays. 421-423
- Efficient Minimum Information Updating for Bayesian Inferencing in Expert SystemsJohn F. Lemmer, Stephen W. Barth. 424-427
- Foundations of EnvisioningJohan de Kleer, John Seely Brown. 434-437