Abstract is missing.
- Generalization Heuristics for Theorems Related to Recursively Defined FunctionsS. Kamal Abdali, Jan Vytopil. 1-5
- Constraint Limited Generalization: Acquiring Procedures From ExamplesPeter M. Andreae. 6-10
- Learning Problem Classes by Means of Experimentation and GeneralizationAgustin A. Araya. 11-15
- Task Frames in Robot ManipulationDana H. Ballard. 16-22
- Reconstructing a Visible SurfaceAndrew Blake. 23-26
- Personal Construct Theory and the Transfer of Human ExpertiseJohn H. Boose. 27-33
- A Self-Modifying Theorem ProverCynthia A. Brown. 38-41
- Focusing in Plan RecognitionNorman Carver, Victor R. Lesser, Daniel L. McCue. 42-48
- Classification Problem SolvingWilliam J. Clancey. 49-55
- A Forward Inference Engine to Aid in Understanding SpecificationsDonald Cohen. 56-60
- A Model of Lexical Access of Ambiguous WordsGarrison W. Cottrell. 61-67
- Towards a Better Understanding of Bidirectional SearchHenry W. Davis, Randy B. Pollack, Thomas Sudkamp. 68-72
- Hardware and Software Architectures for Efficient AIMichael F. Deering. 73-78
- Choices Without BacktrackingJohan de Kleer. 79-85
- Qualitative Reasoning With Higher-Order DerivativesJohan de Kleer, Daniel G. Bobrow. 86-91
- A System of Plans for Connected Speech RecognitionRenato de Mori, Yu F. Mong. 92-95
- Learning About Systems That Contain State VariablesThomas G. Dietterich. 96-100
- Referential Determinism and Computational Efficiency: Posting Constraints from Deep StructureGavan Duffy, John C. Mallery. 101-105
- An Interactive Computer-Based Tutor for LISPRobert G. Farrell, John R. Anderson, Brian J. Reiser. 106-109
- Initial Assessment of Architectures for Production SystemsCharles Forgy, Anoop Gupta, Allen Newell, Robert G. Wedig. 116-120
- A Theory of Action for MultiAgent PlanningMichael P. Georgeff. 121-125
- Non-Monotonic Reasoning Using Dempster s RuleMatthew L. Ginsberg. 126-129
- YES/MVS: A Continuous Real Time Expert SystemJames H. Griesmer, Se June Hong, Maurice Karnaugh, John K. Kastner, Marshall I. Schor, Robert L. Ennis, David A. Klein, Keith R. Milliken, Hugo M. Van Woerkom. 130-136
- Likelihood, Probability, and KnowledgeJoseph Y. Halpern, David A. McAllester. 137-141
- Diagnosing Circuits With State: An Inherently Underconstrained ProblemWalter Hamscher, Randall Davis. 142-147
- Meta-Level Control Through Fault Detection and DiagnosisEva Hudlicka, Victor R. Lesser. 153-161
- Intention-Based Diagnosis of Programming ErrorsW. Lewis Johnson, Elliot Soloway. 162-168
- Living Up To Expectations: Computing Expert ResponsesAravind K. Joshi, Bonnie L. Webber, Ralph M. Weischedel. 169-175
- Self-Explanatory Financial Planning ModelsDonald W. Kosy, Ben P. Wise. 176-181
- A General Bottom-up Procedure for Searching And/Or GraphsVipin Kumar. 182-187
- Towards Chunking as a General Learning MechanismJohn E. Laird, Paul S. Rosenbloom, Allen Newell. 188-192
- Automated Cognitive ModelingPat Langley, Stellan Ohlsson. 193-197
- A Logic of Implicit and Explicit BeliefHector J. Levesque. 198-202
- A Self-Organizing Retrieval System for GraphsRobert Levinson. 203-206
- Domain Independent Object Description and DecompositionTod S. Levitt. 207-211
- How to Cope With Anomalies in Parallel Approximate Branch-and-Bound AlgorithmsGuo-Jie Li, Benjamin W. Wah. 212-215
- Frame Selection in ParsingSteven L. Lytinen. 222-225
- Expressiveness of LanguagesJock D. Mackinlay, Michael R. Genesereth. 226-232
- Processing Entailments and Accessing Facts in a Uniform Frame SystemAnthony S. Maida. 233-236
- A Representation for Image CurvesDavid H. Marimont. 237-242
- A Production Rule System for Message SummarizationElaine Marsh, Henry Hamburger, Ralph Grishman. 243-246
- Maintaining Diversity in Genetic SearchMichael L. Mauldin. 247-250
- Constraint-Based Generalization: Learning Game-Playing Plans From Single ExamplesSteven Minton. 251-254
- Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic NetworksMatthew Morgenstern. 255-259
- Selective Abstraction of AI System ActivityJasmina Pavlin, Daniel D. Corkill. 264-268
- Shading Into TextureAlex Pentland. 269-273
- Learning Operator TransformationsBruce W. Porter, Dennis F. Kibler. 278-282
- Qualitative Modeling in the Turbojet Engine DomainRaman Rajagopalan. 283-287
- Explaining and Arguing With ExamplesEdwina L. Rissland, Eduardo M. Valcarce, Kevin D. Ashley. 288-294
- Knowledge InversionYoav Shoham, Drew V. McDermott. 295-299
- Five Parallel Algorithms for Production System Execution on the DADO MachineSalvatore J. Stolfo. 300-307
- Continuous Belief Functions for Evidential ReasoningThomas M. Strat. 308-313
- Path Relaxation: Path Planning for a Mobile RobotCharles E. Thorpe. 318-321
- Three Findpath ProblemsRichard S. Wallace. 326-329
- A Mechanical Solution of Schubert s Steamroller by Many-Sorted ResolutionChristoph Walther. 330-334
- Phenomenologically Plausible ParsingDavid L. Waltz, Jordan B. Pollack. 335-339
- The Shape of Subjective ContoursJon A. Webb, Edward Pervin. 340-343
- Very-High-Level Programming of Knowledge Representation SchemesStephen J. Westfold. 344-349
- The Use of Continuity in a Qualitative PhysicsBrian C. Williams. 350-354
- Context-Dependent Transitions in Tutoring DiscourseBeverly Park Woolf, David D. McDonald. 355-361
- Fingerprints TheoremsAlan L. Yuille, Tomaso Poggio. 362-365