Abstract is missing.
- Automatic Programming Using Abstract Data TypesGérard D. Guiho. 1-9
- Theory of Linear Equations Applied to Program TransformationUday S. Reddy, Bharat Jayaraman. 10-16
- Symbolic Execution of the Gist Specification LanguageDonald Cohen. 17-20
- Manipulating Descriptions of Programs for Database AccessPeter M. D. Gray, David S. Moffat. 21-24
- Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative ProgramsShamim A. Naqvi, Lawrence J. Henschen. 25-28
- Diagnostic Reasoning in Software Fault LocalizationRobert L. Sedlmeyer, William B. Thompson, Paul E. Johnson. 29-31
- A Problem Reduction Approach to Program SynthesisDouglas R. Smith. 32-36
- Automatic Programming From Data Types Decomposition PatternsChristian Gresse. 37-39
- Program Transtormations for VLSIJack Mostow. 40-43
- Under What Conditions Can a Machine Attribute Meanings to SymbolsAaron Sloman, Drew V. McDermott, William A. Woods, Brian Cantwell Smith, Patrick J. Hayes. 44-48
- How to Discover a Knowledge Representation for Causal Reasoning by Studying an Expert PhysicianBenjamin Kuipers, Jerome P. Kassirer. 49-56
- Learning to ProgramJohn R. Anderson. 57-62
- Creating a Story-Telling UniverseMichael Lebowitz. 63-65
- Shifting the Focus of Attention: The Way Agatha Christie Leads You OnAndrás Márkus. 66-68
- Some Basic Mechanisms for Common Sense Reasoning About Stories EnvironmentsGiovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia. 72-74
- Logic Modelling of Cognitive ReasoningGöran Hagert, Åke Hansson. 81-83
- Motives and Emotions in a General Learning SystemJ. G. (Iain) Wallace. 84-86
- Examples in Legal Reasoning: Legal HypotheticalsEdwina L. Rissland. 90-93
- Modeling Cognitive Development on the Balance Scale TaskStephanie Sage, Pat Langley. 94-96
- Semi-Automated Analysis of Protocols From Novices and Experts Solving Physics ProblemsL. Konst, Bob J. Wielinga, J. J. Elshout, Wouter N. H. Jansweijer. 97-99
- Industrial Strength Knowledge Bases: Issues and Experiences - Knowledge Base Stability, Memory: Unitorm or Structured, Integrity, Knowledge Acquisition and the User Interface, Joint Knowledge Base Development, Intertaces to Databases (Panel)Thomas P. Kehler, Peter Friedland, Harry E. Pople, René Reboh, Steve Rosenberg. 108-109
- ACE: An Expert System for Telephone Cable MaintenanceGregg T. Vesonder, Salvatore J. Stolfo, John E. Zielinski, Frederick D. Miller, David H. Copp. 116-121
- The Dipmeter Advisor System - A Case Study in Commercial Expert System DevelopmentReid G. Smith, James D. Baker. 122-129
- A Synthetic View of Approximate Reasoning TechniquesHenri Prade. 130-136
- Consistency and Plausible ReasoningJ. Ross Quinlan. 137-144
- Procedural Expert SystemsMichael P. Georgeff, Umberto Bonollo. 151-157
- Techniques for Sensor-Based DiagnosisMark S. Fox, Simon Lowenfeld, Pamela Kleinosky. 158-163
- AI Research in China: A ReviewJiang Xinsong, Song Guoning, Chen Yu. 164-166
- Knoesphere: Building Expert Systems With Encyclopedic KnowledgeDouglas B. Lenat, Alan Borning, David McDonald, Craig Taylor, Steven Weyer. 167-169
- Intelligent Assistants for Knowledge and Information Resources ManagementCharles Kellogg. 170-172
- Providing Help and Advice in Task Oriented SystemsTimothy W. Finin. 176-178
- Detecting Ambiguity: An Example in Knowledge EvaluationDonald W. Loveland, Marco Valtorta. 182-184
- A Computational Model for Causal and Diagnostic Reasoning in Inference SystemsJin H. Kim, Judea Pearl. 190-193
- A Comparison of Uncertainty Calculi in an Expert System for Information RetrievalRichard M. Tong, Daniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune. 194-197
- A Method of Computing Generalized Bayesian Probability Values for Expert SystemsPeter Cheeseman. 198-202
- Reasoning About Control: The Investigation of an Evidential ApproachLeonard P. Wesley. 203-206
- Model-Based Probabilistic Reasoning for Electronics TroubleshootingRichard R. Cantone, Frank J. Pipitone, W. Brent Lander, Michael P. Marrone. 207-211
- A Report on FOLIO: An Expert Assistant for Portfolio ManagersPaul R. Cohen, Mark D. Lieberman. 212-214
- HPRL: A Language for Building Expert SystemsSteven Rosenberg. 215-217
- CSRL: A Language for Expert Systems for DiagnosisTom Bylander, Sanjay Mittal, B. Chandrasekaran. 218-221
- A Diagnosis Method of Dynamic System Using the Knowledge on System DescriptionNaoyuki Yamada, Hiroshi Motoda. 225-229
- A Control Structure for Time Dependent ReasoningWilliam J. Long, Thomas A. Russ. 230-232
- Decision-Making in Time-Critical SituationsShoichi Masui, John P. McDermott, Alan Sobel. 233-235
- Recognition-Based Diagnostic ReasoningWilliam B. Thompson, Paul E. Johnson, James B. Moen. 236-238
- Medical Plan-Analysis: The Attending SystemPerry L. Miller. 239-241
- CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm DisordersTetsutaro Shibahara, John K. Tsotsos, John Mylopoulos, H. Dominic Covvey. 242-245
- The Use of Simulation Models and Human Advice to Build an Expert System for the Defense and Control of River FloodsJosé Cuena. 246-249
- Representation of Experts Knowledge in a Subdomain of Chess IntelligenceH. Jaap van den Herik. 252-255
- Integrating Multiple Knowledge Representations and Learning Capabilities in an Expert System: The ADVISE SystemRyszard S. Michalski, Arthur B. Baskin. 256-258
- An Expert System for Indications and Warning AnalysisDouglas B. Lenat, Albert Clarkson, Garo Kiremidjian. 259-262
- Representation of Empirically Derived Causal RelationshipsRobert L. Blum. 268-271
- Intensions as Such: An OutlineJohn A. Barnden. 280-286
- Permissions and ObligationsL. Thorne McCarty. 287-294
- The Mercator Representation of Spatial KnowledgeErnest Davis. 295-301
- Generalizing Problem Reduction: A Logical AnalysisDrew V. McDermott. 302-308
- A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and Virtual CopiesJon Doyle. 309-314
- Measurement Interpretation in Qualitative Process TheoryKenneth D. Forbus. 315-320
- Semantic Networks as Abstract Data TypesWerner Dilger, Wolfgang Womann. 321-324
- Modelling and Manipulating Production Data Bases in Terms of Semantic NetsRobert Meersman, Frans Van Assche. 325-329
- Classification in the KL-ONE Knowledge Representation SystemJames G. Schmolze, Thomas A. Lipkis. 330-332
- KL-Conc: A Language for Interacting With SI-NetsAmedeo Cappelli, Lorenzo Moretti, Carlo Vinchesi. 333-336
- A Formal Approach to the Semantics of a Frame Data Model337-339
- Reasoning in Time and SpaceJitendra Malik, Thomas O. Binford. 343-345
- Representation of Temporal KnowledgeE. Yu Kandrashina. 346-348
- The Ins and Outs of Reason MaintenanceJon Doyle. 349-351
- General Approach to Nonmonotonic LogicsWitold Lukaszewicz. 352-354
- A Framework for Heuristic Reasoning About UncertaintyPaul R. Cohen, Milton R. Grinberg. 355-357
- How to Represent Evidence - Aspects of Uncertain ReasoningClaus-Rainer Rollinger. 358-361
- Simulating Non-Deductive ReasoningJames W. Hearne. 362-364
- Meta-Knowledge and Meta-ReasoningRobert E. Filman, John Lamping, Fanya S. Montalvo. 365-369
- Reasoning in Multiple Belief SpacesJoão P. Martins, Stuart C. Shapiro. 370-373
- A Deductive Model of BeliefKurt Konolige. 377-381
- Knowing Intensional Individuals, and Reasoning About Knowing Intensional IndividualsAnthony S. Maida. 382-384
- A Case Study of Knowledge Representation in UCDavid N. Chin. 388-390
- Predicate Logic Involving Data Structure as a Knowledge Representation LanguageSetsuo Ohsuga. 391-394
- Descriptions as Constraints in Object-Oriented RepresentationLuc Steels. 395-397
- Memory and InferenceRobert Wilensky. 402-404
- A Description and Reasoning of Plant Controllers in Temporal LogicAkira Fusaoka, Hirohisa Seki, Kazuko Takahashi. 405-408
- Representation and Induction of Infinite Concepts and Recursive Action SequencesFritz Wysotzki. 409-414
- Perturbation: A Means for Guiding GeneralizationDennis F. Kibler, Bruce W. Porter. 415-418
- Learning Effective Search HeuristicsPat Langley. 419-421
- Flexible Learning of Problem Solving Heuristics Through Adaptive SearchStephen F. Smith. 422-425
- A Constrained Mechanism for Procedural LearningStellan Ohlsson. 426-428
- Learning Equation Solving Methods From ExamplesBernard Silver. 429-431
- Knowledge Oriented LearningPaul D. Scott, Robert C. Vogt. 432-435
- A Pragmatic Knowledge Acquisition MethodologyMark D. Grover. 436-438
- Learning by Controlled Transference of Knowledge Between DomainsAgustin A. Araya. 439-443
- What s New? A Semantic Definition of NoveltyRussell Greiner, Michael R. Genesereth. 450-454
- The Discovery of the Equator or Concept Driven LearningWerner Emde, Christopher Habel, Claus-Rainer Rollinger. 455-458
- Learning Word Meanings From ExamplesRobert C. Berwick. 459-461
- Acquiring Schemata Through Understanding and Generalizing PlansGerald DeJong. 462-464
- Three Facets of Scientific DiscoveryPat Langley, Jan M. Zytkow, Gary L. Bradshaw, Herbert A. Simon. 465-468
- A Learning System Which Accommodates Feature InteractionsLarry A. Rendell. 469-472
- An Appraisal of a Decision Tree Approach to Image ClassificationB. A. Shepherd. 473-475
- Algorithms for Learning Logical FormulasJoël Quinqueton, Jean Sallantin. 476-478
- Concept Formation From Very Large Training SetsRichard A. O Keefe. 479-481
- Towards Knowledge Acquisition From Natural Language Documents - Automatic Model Construction From Hardware ManualToyoaki Nishida, Akira Kosaka, Shuji Doshita. 482-486
- Prolog in Ten FiguresAlain Colmerauer. 487-499
- Completeness of the Negation as Failure RuleJoxan Jaffar, Jean-Louis Lassez, John W. Lloyd. 500-506
- Qute: A Prolog/Lisp Type Language for Logic ProgrammingMasahiko Sato, Takafumi Sakurai. 507-513
- Equality for PrologWilliam A. Kornfeld. 514-519
- Semantic Code AnalysisWalter G. Wilson, Chester C. John. 520-525
- Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No AnswersAdrian Walker. 526-528
- Logic Programs With Uncertainties: A Tool for Implementing Rule-Based SystemsEhud Y. Shapiro. 529-532
- Integrating Prolog Into the Poplog EnvironmentChris Mellish, Steve Hardy. 533-535
- Logal : Algorithmic Control Structures for PrologD. C. Dodson, Alan L. Rector. 536-538
- AND Parallelism in Logic ProgramsJohn S. Conery, Dennis F. Kibler. 539-543
- PRISM: A Parallel Inference System for Problem SolvingSimon Kasif, Madhur Kohli, Jack Minker. 544-546
- A Unification Algorithm for Infinite TreesKuniaki Mukai. 547-549
- Phrase Structure Grammars and Natural LanguagesGerald Gazdar. 556-565
- Formal Theories of Language Acquisition: Practical and Theoretical PerspectivesDaniel N. Osherson, Michael Stob, Scott Weinstein. 566-572
- Focus Constraints on Language GenerationKathleen McKeown. 582-587
- Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background SystemsWolfgang Hoeppner, Thomas Christaller, Heinz Marburger, Katharina Morik, Bernhard Nebel, Mike O Leary, Wolfgang Wahlster. 588-594
- TELEGRAM: A Grammar Formalism for Language PlanningDouglas E. Appelt. 595-599
- Mutual Beliefs in Conversational Systems: Their Role in Referring ExpressionsGopalan Nadathur, Aravind K. Joshi. 603-605
- Some Issues in Generation From a Semantic RepresentationLaurence Danlos. 606-609
- Generation of Japanese Sentences From Conceptual RepresentationShun Ishizaki. 613-615
- Impression Monitoring in Evaluation-Oriented Dialog - The Role of the Listener s Assumed Expectations and Values in the Generation of Informative StatementsAnthony Jameson. 616-620
- Shifting Meaning RepresentationsKaren Sparck Jones. 621-623
- Frame Activated Inferences in a Story Understanding ProgramPeter Norvig. 624-626
- Structural Relations - A Case Against CaseIngeborg Steinacker, Harald Trost. 627-629
- Over-Answering Yes-No Questions: Extended Responses in a NL Interface to a Vision SystemWolfgang Wahlster, Heinz Marburger, Anthony Jameson, Stephan Busemann. 643-646
- Demand and Requirements for Natural Language Systems-Results of an InquiryKatharina Morik. 647-649
- Varieties of User Misconceptions: Detection and CorrectionBonnie L. Webber, Eric Mays. 650-652
- The XCALIBUR Project: A Natural Language Interface to Expert SystemsJaime G. Carbonell, W. Mark Boggs, Michael L. Mauldin, Peter G. Anick. 653-656
- Towards a Computable Model of Meaning-Text Relations Within a Natural SublanguageRichard I. Kittredge, Igor Mel cuk. 657-659
- Q-TRANS: Query Translation Into EnglishEva-Maria M. Mueckstein. 660-662
- Understanding Natural Language Through Parallel Processing of Syntactic and Semantic Knowledge: An Application to Data Base QueryR. Comino, Roberto Gemello, Giovanni Guida, Claudio Rullent, L. Sisto, Marco Somalvico. 663-667
- A Framework for Processing Corrections in Task-Oriented DialoguesPhilip J. Hayes, Jaime G. Carbonell. 668-670
- Graph Grammar Approach to Natural Language Parsing and UnderstandingEero Hyvönen. 671-674
- Articles and Resource ControlJanusz S. Bien. 675-677
- Activation-Based ParsingMark A. Jones. 678-682
- Two-Level Model for Morphological AnalysisKimmo Koskenniemi. 683-685
- A Modular Parser for FrenchEric Wehrli. 686-689
- An Object-Oriented Parser for Text UnderstandingBrian Phillips. 690-692
- A PROLOG Implementation of Lexical Functional GrammarUwe Reyle, Werner Frey. 693-695
- A Breadth-First Parsing ModelJohn Bear. 696-698
- Sentence Disambiguation by a Shift-Reduce Parsing TechniqueStuart M. Shieber. 699-703
- Word Formation in Natural Language Processing SystemsRoy J. Byrd. 704-706
- A Deterministic Syntactic-Semantic ParserGérard Sabah, Mohamed Rady. 707-709
- A Deterministic Parser With Broad CoverageRobert C. Berwick. 710-712
- Narrative Complexity Based on Summarization AlgorithmsWendy G. Lehnert. 713-716
- Japanese Language Semantic Analyzer Based on an Extended Case Frame ModelAkira Shimazu, Shozo Naito, Hirosato Nomura. 717-720
- Syntax, Semantics, and Pragmatics in Concert: An Incremental, Multilevel Approach in Reconstructing Task-Oriented DialoguesManfred Gehrke. 721-723
- Event Models for Recognition and Natural Language Description of Events in Real-World Image SequencesBernd Neumann, Hans-Joachim Novak. 724-726
- Automatic Construction of a Knowledge Base by Analysing Texts in Natural LanguageWerner Frey, Uwe Reyle, Christian Rohrer. 727-729
- Representation in a Domain-Independent PlannerDavid E. Wilkins. 733-740
- Planning Using a Temporal World ModelJames F. Allen, Johannes A. G. M. Koomen. 741-747
- The Use of Meta-Level Control for Coordination in a Distributed Problem Solving NetworkDaniel D. Corkill, Victor R. Lesser. 748-756
- The Statistical Inference Method in Heuristic Search TechniquesLing Zhang, Bo Zhang. 757-759
- Searching to Variable Depth in Computer ChessHermann Kaindl. 760-762
- Relative Efficiency of Alpha-Beta ImplementationsT. Anthony Marsland. 763-766
- Strategies of Cooperation in Distributed Problem SolvingStephanie J. Cammarata, David McArthur, Randall Steeb. 767-770
- A Universal Weak Method: Summary of Results771-773
- A Wrinkle on Satisficing Search ProblemsJeffrey A. Barnett, Don Cohen. 774-776
- A Result on the Computational Complexity of Heuristic Estimates for the A* AlgorithmMarco Valtorta. 777-779
- Characterizing Search SpacesRoy Rada. 780-782
- On A* as a Special Case of Ordered SearchMarcel Schoppers. 783-785
- Optimal Searches From AND and OR NodesJeffrey A. Barnett. 786-788
- A::epsilon:: - An Efficient Near Admissible Heuristic Search AlgorithmMalik Ghallab, Dennis G. Allard. 789-791
- Resolving Observer Motion by Object TrackingJohn Hallam. 792-798
- A Subdivision Algorithm Configuration Space for Findpath With RotationRodney A. Brooks, Tomás Lozano-Pérez. 799-806
- Towards Automatic Error Recovery in Robot ProgramsMaria L. Gini, Giuseppina C. Gini. 821-823
- Knowledge Based Error Recovery in Industrial RobotsM. H. Lee, David P. Barnes, N. W. Hardy. 824-826
- A Distributed Control System for the CMU RoverAlberto Elfes, Sarosh Talukdar. 830-833
- Concurrent Programming of Intelligent RobotsYutaka Kanayama. 834-838
- Model Structuring and Concept Recognition: Two Aspects of Learning for a Mobile RobotJean-Paul Laumond. 839-841
- Reasoning About the Spatial Relationships Derived From a RAPT Program for Describing Assembly by a RobotD. F. Corner, A. P. Ambler, Robin J. Popplestone. 842-844
- Lisp-in-Lisp: High Performance and PortabilityRodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.. 845-849
- Architecture and Applications of DADO: A Large-Scale Parallel Computer for Artificial IntelligenceSalvatore J. Stolfo, Daniel P. Miranker, David Elliot Shaw. 850-854
- STROBE: Support for Structured Object Knowledge RepresentationReid G. Smith. 855-858
- Large-Scale System Development in Several Lisp EnvironmentsSanjai Narain, David McArthur, Philip Klahr. 859-861
- Demonizing Production SystemsGiuliano Pacini, Franco Turini. 862-866
- Automated Reasoning: Real Uses and Potential UsesLarry Wos. 867-876
- Negative Hyper-Resolution for Proving Statements Containing Transitive RelationsTamás Gergely, Konstantin Vershinin. 877-881
- A Many-Sorted Calculus Based on Resolution and ParamodulationChristoph Walther. 882-891
- Using Examples to Generate Instantiations of Set VariablesW. W. Bledsoe. 892-901
- Semantic Paramodula tion for Horn SetsWilliam McCune, Lawrence J. Henschen. 902-908
- Church-Rosser Properties of Weakly Terminating Term Rewriting SystemsJean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Remy. 909-915
- TERMINATORGrigoris Antoniou, Hans Jürgen Ohlbach. 916-919
- Towards an Advanced Implementation of the Connection MethodWolfgang Bibel, Elmar Eder, Bertram Fronhöfer. 920-922
- A Superposition Oriented Theorem ProverLaurent Fribourg. 923-925
- Temporal Reasoning and Termination of ProgramsLuis Fariñas del Cerro. 926-929
- Trivializing the Proof of Trivial TheoremsYves Kodratoff, Jacqueline Castaing. 930-932
- Equality Reasoning in Clause GraphicsKarl-Hans Bläsius. 936-939
- Associative-Commutative RewritingNachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted. 940-944
- Constraints for the Estimation of Displacement Vector Fields From Image SequencesHans-Hellmut Nagel. 945-951
- Correspondence in Line Drawings of Multiple Views of ObjectsCharles E. Thorpe, Steven A. Shafer. 959-965
- An Extremum Principle for Shape From ContourMichael Brady, Alan L. Yuille. 969-972
- Fractal-Based DescriptionAlex Pentland. 973-981
- Prism Trees: A Hierarchical Representation for 3-D ObjectsOlivier D. Faugeras, Jean Ponce. 982-988
- Using Surfaces and Object Models to Recognize Partially Obscured ObjectsRobert B. Fisher. 989-995
- A 3-D Recognition and Positioning Algorithm Using Geometrical Matching Between Primitive SurfacesOlivier D. Faugeras, Martial Hebert. 996-1002
- Optimization Approaches to the Problem of Edge Linking With a Focus on Parallel ProcessingM. D. Diamond, N. Narasimhamurthi, S. Ganapathy. 1003-1009
- Machine Perception of Linear StructureMartin A. Fischler, Helen C. Wolf. 1010-1013
- Perceptual Organization and the Curve Partitioning ProblemMartin A. Fischler, Robert C. Bolles. 1014-1018
- Scale-Space FilteringAndrew P. Witkin. 1019-1022
- What Is Perceptual Organization For?Andrew P. Witkin, Jay M. Tenenbaum. 1023-1026
- Sensor Motion and Relative Depth From Difference Fields of Optic FlowsJ. H. Rieger, Daryl T. Lawton. 1027-1031
- Inferring Motion of Cylindrical Object From Shape InformationMinoru Asada, Saburo Tsuji. 1032-1034
- 3-D Inference From the Motion Parallax of a Conic Arc and a Point in Two Perspective ViewsRoger Y. Tsai. 1038-1042
- A Computational Framework for the Visual Correspondence ProblemMichael Kass. 1043-1045
- The Stereo Matching Problem From the Topological ViewpointA. Peter Blicher. 1046-1049
- Computing Convergence Angle From Random Dot StereogramsK. Prazdny. 1050-1052
- Is What You See What You Get?Anni R. Bruss. 1053-1056
- Three-Dimensional Shape From Line DrawingsStephen T. Barnard, Alex Pentland. 1062-1064
- Global Optimization of a Consistent LabelingMarc Berthod. 1065-1067
- Boundary Conditions in Multiple Intrinsic ImagesBernhard H. Stuth, Dana H. Ballard, Christopher M. Brown. 1068-1072
- The Role of Constraints and Discontinuities in Visible-Surface ReconstructionDemetri Terzopoulos. 1073-1077
- Using Multiple Information Sources in a Computational Vision SystemJay Glicksman. 1078-1080
- Advanced Hough Transform ImplementationsChristopher M. Brown, Matthew B. Curtiss, David B. Sher. 1081-1085
- Image Compression and Filtering Using Pyramid Data StructuresJoseph Naor, Shmuel Peleg. 1086-1088
- Generating Models of Solid Objects by Matching 3D Surface SegmentsMichael Potmesil. 1089-1093
- An ATN Model for 3-D Recognition of Solids in Single ImagesH. Tropf, I. Walter. 1094-1098
- Detection of Buildings in Aerial Images Using Shape and ShadowsAndres Huertas, Ramakant Nevatia. 1099-1103
- The 3D MOSAIC Scene Understanding SystemMartin Herman, Takeo Kanade, Shigeru Kuroe. 1108-1112
- Toward Generation of 3-Dimensional Models of Objects Using 2-Dimensional Figures and Explanations in LanguageNorihiro Abe, Fumihide Itho, Saburo Tsuji. 1113-1115
- PVV: A Goal-Oriented System for Industrial VisionAugustin Lux, Viviane Souvignier. 1121-1124
- Model-Guided Monitoring of a Building Environment by a Mobile RobotMasahiko Yachida, T. Ichinose, Saburo Tsuji. 1125-1127
- Model Driven Visualization of Coronary ArteriesGabor T. Herman, L. Axel, Ruzena Bajcsy, H. Kundel, R. LeVeen, Jayaram K. Udupa, G. Wolf. 1128-1131
- A Learning Vision System for 2D Object RecognitionFumiaki Tomita. 1132-1135
- Recognition of Occluded ObjectsBir Bhanu. 1136-1138
- Learning and Problem SolvingTom M. Mitchell. 1139-1151
- AI, Where It Has Been and Where It Is GoingArthur L. Samuel. 1152-1157
- The Origin, Form, and Logic of Qualitative Physical LawsJohn Seely Brown, Johan de Kleer. 1158-1169
- Natural-Language Processing: Crucible for Computational Theories of CognitionStanley J. Rosenschein. 1180-1186
- Panel on the Fifth Generation ProjectRobert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar. 1192-1194
- Artificial Intelligence: Its Impact on Human Occupations and Distribution of IncomeNils J. Nilsson, Sandra B. Cook, Alan C. Kay, Faye Duchin, Margaret A. Boden, Dennis Chamot. 1195-1198
- A Panel on AI and DatabasesRaymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber. 1199