Table of Contents

• Ms. Maloprop, A Language Comprehension ProgramEugene Charniak. 1-7
• How to Learn/What to LearnRoger C. Schank, Mallory Selfridge. 8-14
• PAM - A Program That Infers IntentionsRobert Wilensky. 15
• Skimming Newspaper Stories by ComputerGerald DeJong. 16
• Controlling Inference in Story UnderstandingR. E. Cullingford. 17
• Shortfall and Density Scoring Strategies for Speech Understanding ControlWilliam A. Woods. 18-26
• Focus of Attention in the Hearsay-II Speech Understanding SystemFrederick Hayes-Roth, Victor R. Lesser. 27-35
• Procedures for Integrating Knowledge in a Speech Understanding SystemDonald E. Walker, William H. Paxton, Barbara J. Grosz, Gary G. Hendrix, Ann E. Robinson, Jane J. Robinson, Jonathan Slocum. 36-42
• The Use of a Semantic Network in a Deductive Question- Answering SystemJames R. McSkimin, Jack Minker. 50-58
• A Deductive Question Answering System on Relational Data BasesKoichi Furukawa. 59-66
• The Representation and Use of Focus in a System for Understanding DialogsBarbara J. Grosz. 67-76
• Using Process Knowledge in Understanding Task- Oriented DialogsBarbara J. Grosz, Gary G. Hendrix, Ann E. Robinson. 90
• TALE-SPIN, An Interactive Program that Writes StoriesJames R. Meehan. 91-98
• On Semantic Nets, Frames and AssociationsPhilip J. Hayes. 99-107
• Frames-based Text ProcessingSteven Rosenberg. 108
• Coherence and Interpretation in English TextsJerry R. Hobbs. 110-116
• Automatic Abstracting of Textual MaterialS. L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen. 117-118
• Overview of Planning Speech Acts C. Raymond Perrault, P. R. Kohen. 119
• Conceptual Analysis of Noun Groups in EnglishAnatole Gershman. 132-138
• A Note on Representing Adjectives and AdverbsNick Cercone. 139-140
• From Conversations to Stories: An Analysis of Differences Between Oral and Written Language ComprehensionAviel D. Rubin, Bertram C. Bruce. 141
• Generating Noun Phrases to Identify Nodes in a Semantic NetworkGeorge E. Heidorn. 143
• Writing a Natural Language Data Base SystemDavid L. Waltz, Bradley A. Goodman. 144-150
• A Conceptual Theory of Question AnsweringWendy G. Lehnert. 158-164
• Maximal Consistent Interpretations of Errorful Data in Hierarchically Modeled DomainsMark S. Fox, Jack Mostow. 165-171
• FOUL-UP: A Program that Figures Out Meanings of Words from ContextRichard H. Granger. 172-178
• A Simplified Heuristic Version of Raviv s Algorithm for Using Context in Text RecognitionR. Schinghal, D. Rosenberg, Godfried T. Toussaint. 179-180
• Two Semantic Worlds: A Data Base System with Provision for Natural Language InputP. Dell Orco, Margaret King, V. N. Spadavecchia. 181-182
• Advantages of a Transformational Grammar for Question AnsweringFred Damerau. 192
• Augmenting ATNSTimothy W. Finin, George D. Hadden. 193
• The Use of Dynamically Extracted Context for Anaphoric Reference ResolutionDavid Klappholz, Abe Lockman. 194
• Presupposition-Based AI Natural Language SystemVictor Raskin. 195
• Language Access to Distributed Data with Error RecoveryEarl D. Sacerdoti. 196-202
• Deductive Methods for Large Data BasesCharles Kellogg, Philip Klahr, Larry Travis. 203-209
• SPARK: A System for Parallel Representation of KnowledgeGerald A. Wilson. 210
• Approximate Responses from a Data Base Query System: An Application of Inferencing in Natural LanguageAravind K. Joshi, S. Jerrold Kaplan, R. M. Lee. 211-212
• Experience with KRL-0: One Cycle of a Knowledge Representation LanguageDaniel G. Bobrow, Terry Winograd. 213-222
• Vocabularies for Problem Solver State DescriptionsDrew V. McDermott. 229-234
• A Network-Based Knowledge Representation and Its Natural Deduction SystemRichard Fikes, Gary G. Hendrix. 235-246
• Truth Maintenance Systems for Problem SolvingJon Doyle. 247
• A Structure for the Representation of Knowledge: A Proposal for a Micro-ActorH. Ogawa, K. Tanaka. 248-249
• he Declarative Representation and Procedural Simulation of Causality in Physical MechanismsChuck Rieger, Maurice Grinberg. 250-256
• NUDGE, A Knowledge-Based Scheduling ProgramIra P. Goldstein, R. B. Roberts. 257-263
• A Procedural Model of RecognitionWilliam S. Havens. 264
• Representation of Actions That Have Side-EffectsN. S. Sridharan, Frank M. Hawrusik. 265-266
• Inferences in Quantified Semantic NetworksRobert F. Simmons, Daniel L. Chester. 267-273
• IRIS: A System for the Propogation of Inferences in a Semantic NetM. Trigoboff, Casimir A. Kulikowski. 274-280
• An Overview of a Procedural Approach to Semantic NetworksHector J. Levesque, John Mylopoulos. 283
• Representing Numbers in Semantic Networks: ProlegomenaStuart C. Shapiro. 284
• Representations of Knowledge in a Program for Solving Physics ProblemsGordon S. Novak. 286-291
• Modeling Spatial KnowledgeBenjamin Kuipers. 292-298
• Multiple Representations of Knowledge in a Mechanics Problem-SolverJohan de Kleer. 299-304
• Version Spaces: A Candidate Elimination Approach to Rule LearningTom M. Mitchell. 305-310
• Annotated Production Systems: A Model for Skill AcquisitionIra P. Goldstein, Eric Grimson. 311-317
• Knowledge Guided Learning of Structural DescriptionsMark S. Fox, Raj Reddy. 318-318
• A System of Programs for Computer-Aided Induction: A SummaryRyszard S. Michalski. 319-320
• Interactive Transfer of Expertise: Acquisition of New Inference RulesRandall Davis. 321-328
• The Reformulation Approach to Building Expert SystemsWilliam S. Mark. 329-335
• An Interactive Program for Conversational Elecitation of Decision StructuresA. Leal, Judea Pearl. 336
• Problems in Building an Instructable Production SystemMichael D. Rychener, Charles Forgy, Pat Langley, John P. McDermott, Allen Newell, K. Ramakrishna. 337
• A Model for Learning SystemsReid G. Smith, Tom M. Mitchell, R. A. Chestek, Bruce G. Buchanan. 338-343
• BACON: A Production System That Discovers Empirical LawsPat Langley. 344-344
• Learning Simple ArithmeticPavel Brazdil. 346-346
• Analysis of an Extended Concept-Learning TaskRichard M. Young, Gordon D. Plotkin, R. F. Linz. 348
• Induction of Relational Productions in the Presence of Background InformationSteven A. Vere. 349-355
• Knowledge Acquisition from Structural DescriptionsFrederick Hayes-Roth, John P. McDermott. 356-362
• Strategies for Mechanizing Structural InductionRaymond Aubin. 363-369
• Modelling Distributed SystemsAkinori Yonezawa, Carl Hewitt. 370-376
• Understanding and Improving LISP ProgramsHarald Wertz. 377
• Automatic Program AnnotationNachum Dershowitz. 378
• Toward Automatic Debugging of CompilersHanan Samet. 379
• A Knowledge-Based System for Automatic Program ConstructionDavid R. Barstow. 382-388
• Informality in Program SpecificationsRobert Balzer, Neil M. Goldman, David S. Wile. 389-397
• Meta-Evaluation as a Tool for Program UnderstandingRobert Balzer, Neil M. Goldman, David S. Wile. 398-403
• The Use of a Domain Model in Understanding Informal Process DescriptionsNeil M. Goldman, Robert Balzer, David S. Wile. 404
• The Automatic Synthesis of Systems of Recursive ProgramsZohar Manna, Richard J. Waldinger. 405-411
• SISP/1: An Interactive System Able to Synthesize Functions from ExamplesJean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil. 412-418
• Predicate Logic: A Calculus for the Formal Derivation of ProgramsKeith L. Clark, Sharon Sickel. 419-420
• EG - A Case Study in Problem Solving with King and Pawn EndingsC. Perdue, Hans J. Berliner. 421-427
• Experiences in Evaluation with BKG - A Program that Plays BackgammonHans J. Berliner. 428-433
• A Comparsion of Three Problem-Solving MethodsRanan B. Banerji, George W. Ernst. 442-449
• A Theory for the Complete Mechanization of a GPS-Type Problem SolverRanan B. Banerji, George W. Ernst. 450-456
• Generality and Computational CostAzriel Rosenfeld. 458
• WHISPER: A Problem-Solving System Utilizing Diagrams and a Parallel Processing RetinaBrian V. Funt. 459-464
• The Role of Preprocessing in Problem Solving SystemsClive Dawson, Laurent Siklóssy. 465-471
• The Contract Net: A Formalism for the Control of Distributed Problem SolvingReid G. Smith. 472
• Plan Recognition Using A Hypothesize and Revise ParadigmCharles F. Schmidt, N. S. Sridharan. 480-486
• Subgoal Protection and Unraveling During Plan SynthesisChuck Rieger, Philip London. 487-493
• Using and Re-Using Partial PlansP. R. Davis, Robert T. Chien. 494
• The Coordination of Multiple Goal SatisfactionArthur M. Farley. 495
• Can Domain Specific Knowledge Be Generalized?Alan Bundy. 496
• ThingLab - An Object-Oriented System for Building Simulations Using ConstraintsAlan Borning. 497-498
• Representing Semantic Information In Pulley ProblemsGeorge F. Luger, Alan Bundy. 500
• Set VariablesW. W. Bledsoe. 501-510
• A Lemma Driven Automatic Theorem Prover for Recursive Function TheoryRobert S. Boyer, J. Strother Moore. 511-519
• Improving the Efficiency of Higher Order UnificationJared L. Darlington. 520-525
• An Algorithm for Reasoning About EqualityRobert E. Shostak. 526-527
• Unification of Idempotent FunctionsStefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann. 528
• A Hierarchical Approach to Theorem-ProvingMalcolm C. Harrison. 529-533
• A Theorem Prover for Elementary Set TheoryFrank M. Brown. 534-540
• Theorem Proving by Covering ExpressionsLawrence J. Henschen, W. M. Evangelist. 541-542
• Theorem Proving with Structure Sharing and Efficient UnificationAlberto Martelli, Ugo Montanari. 543
• Formal Grammars as Models of Logic DerivationsSharon Sickel. 544-551
• A Proof-Checker for Dynamic LogicSteven D. Litvintchouk, Vaughan R. Pratt. 552-558
• In Defense of LogicPatrick J. Hayes. 559-565
• Theorem Proving in Type TheoryPeter B. Andrews, Eve Longini Cohen. 566-566
• A Mechanized Proof Procedure for Free Intensional LogicsRaymond D. Gumb. 567-568
• A Stereo Vision System for an Autonomous VehicleDonald B. Gennery. 576-582
• A System for Stereo Computer Vision with Geometric ModelsD. J. Burr, Robert T. Chien. 583
• Towards Automatic Visual Obstacle AvoidanceHans P. Moravec. 584
• The LOCUS Model of Search and its Use in Image InterpretationSteven M. Rubin, Raj Reddy. 590-595
• Steps Towards the Representation of Complex Three- Dimensional ObjectsRuzena Bajcsy, Barry I. Soroka. 596
• A Recognition Cone Perceptual System: Brief Test ResultsLeonard Uhr, R. J. Douglass. 597
• Computer Interpretation of PEANUTS CartoonsM. R. Adler. 608
• Understanding a Simple Cartoon Film by a Computer Vision SystemSaburo Tsuji, A. Morizono, S. Kuroda. 609-610
• Some Notes on Motion UnderstandingJohn K. Tsotsos. 611
• Separating Non-Stationary from Stationary Scene Components in a Sequence of Real World TV ImagesRamesh Jain, D. Militzer, Hans-Hellmut Nagel. 612-618
• Change Detection and Analysis in Multispectral ImagesK. Price, Raj Reddy. 619-625
• Analysing Sequences of TV-FramesHans-Hellmut Nagel. 626
• A Methodology for Real Time Scene AnalysisDavid Hogg. 627
• Reconstruction of Curved-Surface Bodies from a Set of Imperfect ProjectionsRuth Shapira, Herbert Freeman. 628-634
• A Cooperative Algorithm for Determining Surface Orientation from a Single ViewRobert J. Woodham. 635-641
• Segmentation Processes in the VISIONS SystemJ. Prager, P. Nagin, Ralf R. Kohler, Allen R. Hanson, Edward M. Riseman. 642-643
• Model-Building in the Visions SystemT. Williams, John D. Lowrance, Allen R. Hanson, Edward M. Riseman. 644-645
• Between Regions and Objects - Surfaces and VolumesKurt Konolige, Bryant W. York, Allen R. Hanson, Edward M. Riseman. 646-647
• Towards a Science of Image UnderstandingBerthold K. P. Horn. 648
• Human Vision Paradox Implicates Relaxation ModelFanya S. Montalvo. 656
• Recognition and Depth Perception of Objects in Real World ScenesR. J. Douglass. 657
• Parametric Correspondence and Chamfer Matching: Two New Techniques for Image MatchingHarry G. Barrow, Jay M. Tenenbaum, Robert C. Bolles, Helen C. Wolf. 659-663
• An Approach to Knowledge-Directed Image AnalysisDana H. Ballard, Christopher M. Brown, Jay M. Feldman. 664-670
• An Automatic Position Recognition Technique for LSI AssemblyM. Mese, T. Miyatake, S. Kasaioka, M. Etiri, I. Yamazaki, T. Hamada. 685-693
• Experiments in Map-Guided Photo InterpretationHarry G. Barrow, Robert C. Bolles, Thomas D. Garvey, J. H. Kremers, Jay M. Tenenbaum, Helen C. Wolf. 696
• Knowledge-Base Driven Analysis of CinecardioangiogramsJohn K. Tsotsos. 699
• Detection of Elliptic and Linear Edges by Searching Two Parameter SpacesSaburo Tsuji, Fumio Matsumoto. 700-705
• Range Data Understanding Guided by a Junction DictionaryK. Sugihara, Yoshiaki Shirai. 706
• Rapid Computation of Fourier Texture DescriptorsSteven L. Tanimoto. 707
• Computation of Immediate Texture DiscriminationBruce R. Schatz. 708
• Toward Consistent Descriptions in Vision SystemsSteven W. Zucker. 709
• LAMA: A Language for Automatic Mechanical AssemblyTomás Lozano-Pérez, Patrick H. Winston. 710-716
• Force Control in Coordination of Two ArmsT. Ishida. 717-722
• A Practical Manipulator SystemB. Dobrotin, R. A. Lewis. 723-732
• The Navigation System of the JPL RobotAlan M. Thompson. 749-757
• Workpiece Orientation Correction with a Robot Arm Using Visual InformationJ. R. Birk, Robert B. Kelley, Vivek V. Badami. 758
• Autonomous Guidance and Control of a Roving RobotJ. A. Miller. 759-760
• A Model for Motor Control and LearningMarc H. Raibert. 761
• A Scanning Laser Rangefinder for a Robotic VechicleR. A. Lewis, A. R. Johnston. 762-768
• Structured Planning and DebuggingM. L. Miller, Ira P. Goldstein. 773-779
• A System Which Allows Students to Explore AlgorithmsDerek H. Sleeman. 780-786
• The FLOW Tutor: A Schema-Based Tutorial SystemDonald R. Gentner. 787
• The Use of Models in a Rule-Based Consultation SystemJan Aikins. 788
• An Automated Consultant for MACSYMAMichael R. Genesereth. 789
• A Retrospective View of the Hearsay-II ArchitectureVictor R. Lesser, Lee D. Erman. 790-800
• Levels of Pattern Description in LearningElliot Soloway, Edward M. Riseman. 801-811
• Program Inference from Traces using Multiple Knowledge SourcesJ. V. Phillips. 812
• Delayed Interpretation Using Processing NotesChristopher Riesbeck. 813
• A Digitalis Therapy Advisor with ExplanationsWilliam R. Swartout. 819-825
• A Model-Based Consultation System for the Long-Term Management of GlaucomaSholom M. Weiss, Casimir A. Kulikowski, Aran Safir. 826-832
• Automated Theory Formation in MathematicsDouglas B. Lenat. 833-842
• Inductive Reasoning in MathematicsFrank M. Brown, Sten-Åke Tärnlund. 844-850
• Computer Understanding of Mathematical ProofsVesko Marinov. 851-857
• An Antibiotic Therapy Selector which Provides for ExplanationsWilliam J. Clancey. 858
• A Two-dimensional Trim-Loss Problem with Sequencing ConstraintsAnthony I. Hinxman. 859-864
• The Analysis and Synthesis of Jazz by ComputerJohn Wade Ulrich. 865-872
• Ghosts in the Machine: An AI Treatment of Medieval HistoryMargaret King, Monique Ornato, Gian Piero Zarri, L. Zarri-Baldi, A. Zwiebel. 873-879
• Knowledge Base Management for Experiment Planning in Molecular GeneticsNancy Martin, Peter Friedland, Jonathan King, Mark Stefik. 882-887
• Generating Project NetworksAustin Tate. 888-893
• Electrical Design: A Problem for Artificial Intelligence ResearchGerald Jay Sussman. 894-900
• An Intelligent Information System for Criminal Case Management in the Federal CourtsJack R. Buchanan, Richard D. Fennell. 901-902
• ROBOT: A High Performance Natural Language Data Base Query SystemLarry R. Harris. 903-904
• NLG - Natural Language GraphicsDavid C. Brown, Stanley C. Kwasny, H. William Buttelmann, B. Chandrasekaran, Norman K. Sondheimer. 916
• TELOS, A Language for Building Well-Structured AI ModelsLarry Travis, M. Honda, R. LeBlanc, S. Ziegler. 917
• PRUF - A Language for the Representation of Meaning in Natural LanguagesLotfi A. Zadeh. 918
• Meta-Level Knowledge: Overview and ApplicationsRandall Davis, Bruce G. Buchanan. 920-927
• Less Than General Production System ArchitecturesDouglas B. Lenat, John P. McDermott. 928-932
• OPS, A Domain-Independent Production System LanguageCharles Forgy, John P. McDermott. 933-939
• Federal Programs in Artificial IntelligenceWilliam B. Gevarter, James S. Albus, N. Caplan, B. Chern, Kent Curtis, Marvin Denicoff, James R. Slagle. 940-950
• History of Artificial IntelligencePamela McCorduck, Marvin Minsky, Oliver G. Selfridge, Herbert A. Simon. 951-954
• Artificial Intelligence in Western EuropeJacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco. 955-969
• Speech Understanding and AI/AI and Speech UnderstandingDonald E. Walker, Lee D. Erman, Allen Newell, Nils J. Nilsson, William H. Paxton, Terry Winograd, William A. Woods. 970-974
• Computer Game PlayingHans J. Berliner, R. Greenblatt, Jacques Pitrat, A. Samuel, David Slate. 975-982
• Knowledge RepresentationDaniel G. Bobrow, Gary G. Hendrix, William A. Martin, John L. McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan. 983-992
• AI and Pattern RecognitionAzriel Rosenfeld, Jerome A. Feldman, Laveen N. Kanal, Patrick H. Winston. 993
• Applications of Artificial IntelligenceSaul Amarel, John Seely Brown, Bruce G. Buchanan, Peter E. Hart, Casimir A. Kulikowski, William A. Martin, Harry E. Pople. 994-1006
• Natural Language ProcessingRoger C. Schank, Eugene Charniak, Yorick Wilks, Terry Winograd, William A. Woods. 1007-1013
• The Art of Artificial Intelligence: Themes and Case Studies of Knowledge EngineeringEdward A. Feigenbaum. 1014-1029
• The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic ReasoningHarry E. Pople. 1030-1037
• Epistemological Problems of Artificial IntelligenceJohn L. McCarthy. 1038-1044
• Putting Theories Together to Make SpecificationsRod M. Burstall, Joseph A. Goguen. 1045-1058
• Artificial Intelligence Systems That UnderstandHerbert A. Simon. 1059-1073
• Model Representations and Control Structures in Image UnderstandingTakeo Kanade. 1074-1082
• Plain Talk about Neurodevelopmental EpistemologyMarvin Minsky. 1083-1092
• Computers and Thought Lecture: The Ubiquity of DiscoveryDouglas B. Lenat. 1093