Abstract is missing.
- 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