Abstract is missing.
- YAPS: A Production Rule System Meets ObjectsElizabeth Allen. 5-7
- Constraining a Deterministic ParserJoan Bachenko, Donald Hindle, Eileen Fitzpatrick. 8-11
- Specification-Based Computing EnvironmentsRobert Balzer, David Dyer, Matthew Morgenstern, Robert Neches. 12-16
- Proving the Correctness of Digital Hardware DesignsHarry G. Barrow. 17-21
- A Production System for Learning Plans From an ExpertD. Paul Benjamin, Malcolm C. Harrison. 22-26
- A Theorem-Prover for a Decidable Subset of Default LogicPhilippe Besnard, Rene Quiniou, Patrice Quinton. 27-30
- KRYPTON: Integrating Terminology and AssertionRonald J. Brachman, Hector J. Levesque, Richard Fikes. 31-35
- Two Results Concerning Ambiguity in Shape From ShadingMichael J. Brooks. 36-39
- Find-Path for a PUMA-Class RobotRodney A. Brooks. 40-44
- A Model of Learning by Incremental Analogical Reasoning and DebuggingMark H. Burstein. 45-48
- A Variational Approach to Edge DetectionJohn F. Canny. 54-58
- Derivational Analogy and Its Role in Problem SolvingJaime G. Carbonell. 64-69
- The Bayesian Basis of Common Sense Medical DiagnosisEugene Charniak. 70-73
- The Advantages of Abstract Control Knowledge in Expert System DesignWilliam J. Clancey. 74-78
- QE-III: A Formal Approach to Natural Language OueryingJames Clifford. 79-83
- Improving the Expressiveness of Many Sorted LogicAnthony G. Cohn. 84-87
- Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality PrincipleRandall Davis. 88-94
- The Optimality of A* RevisitedRina Dechter, Judea Pearl. 95-99
- Learning Operator Semantics by AnalogySarah A. Douglas, Thomas P. Moran. 100-103
- On Inheritance Hierarchies With ExceptionsDavid W. Etherington, Raymond Reiter. 104-108
- Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann MachinesScott E. Fahlman, Geoffrey E. Hinton, Terrence J. Sejnowski. 109-113
- The Design of a Legal Analysis ProgramAnne v. d. L. Gardner. 114-118
- An Overview of Meta-Level ArchitectureMichael R. Genesereth. 119-124
- Communication and Interaction in Multi-Agent PlanningMichael P. Georgeff. 125-129
- Three Dimensions of Design DevelopmentNeil M. Goldman. 130-133
- Repairing Miscommunication: Relaxation in ReferenceBradley A. Goodman. 134-138
- STRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference BehaviorRichard H. Granger, Kurt P. Eiselt, Jennifer K. Holbrook. 139-147
- Planning and Goal Interaction: The Use of Past Solutions in Present SituationsKristian J. Hammond. 148-151
- Using Structural and Functional Information in Diagnostic DesignWalter Hamscher. 152-156
- Abstract Explanations of Strategy in a Diagnostic Consultation SystemDiane Warner Hasling. 157-161
- Analyzing the Roles of Descriptions and Actions in Open SystemsCarl Hewitt, Peter de Jong. 162-167
- A Design Method for Relaxation Labeling ApplicationsRobert A. Hummel. 168-171
- Phonotactic and Lexical Constraints in Speech RecognitionDaniel P. Huttenlocher, Victor W. Sue. 172-176
- An Automatic Algorithm Designer: An Initial ImplementationElaine Kant, Allen Newell. 177-181
- Learning by Re-Expressing Concepts for Efficient RecognitionRichard M. Keller. 182-186
- Episodic LearningDennis F. Kibler, Bruce W. Porter. 191-196
- TALIB: An IC Layout Design AssistantJin Kim, John P. McDermott. 197-201
- Intelligent Control Using Integrity ConstraintsMadhur Kohli, Jack Minker. 202-205
- Operator Decomposability: A New Type of Problem StructureRichard E. Korf. 206-209
- Modeling Human Knowledge of Routes: Partial Knowledge and Individual VariationBenjamin Kuipers. 216-219
- The Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch & Bound ProceduresVipin Kumar, Laveen N. Kanal. 220-224
- Analysis of Physiological Behavior Using a Causal Model Based on First PrinciplesJohn C. Kunz. 225-228
- The Denotational Semantics of Horn Clauses as a Production SystemJean-Louis Lassez, Michael J. Maher. 229-231
- RESEARCHER: An OverviewMichael Lebowitz. 232-235
- Why AM and Eurisko Appear to WorkDouglas B. Lenat, John Seely Brown. 236-240
- An Object-Oriented Simulator for the ApiaryHenry Lieberman. 241-246
- An Iterative Method for Reconstructing Convex Polyhedra From External Guassian ImagesJames J. Little. 247-250
- Reasoning About State From Causation and Time in a Medical DomainWilliam J. Long. 251-254
- Perceptual Organization as a Basis for Visual RecognitionDavid G. Lowe, Thomas O. Binford. 255-260
- An Overview of the Penman Text Generation SystemWilliam C. Mann. 261-265
- Data Dependencies on InequalitiesDrew V. McDermott. 266-269
- Recursion in TEXT and Its Use in Language GenerationKathleen McKeown. 270-273
- An Intelligent Aid for Circuit RedesignTom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey Shulman, Timothy Weinrich. 274-278
- A Problem-Solver for Making Advice OperationalJack Mostow. 279-283
- Six Problems for Story UnderstandersPeter Norvig. 284-287
- Knowledge-Based Programming Using Abstract Data TypesGordon S. Novak. 288-291
- Default Reasoning Using Monotonic Logic: A Modest ProposalJane Terry Nutter. 297-300
- Appropriate Lengths Between Phalanges of Multijointed Fingers for Stable GraspingTokuji Okada, Takeo Kanade. 301-305
- Inference-Driven Semantic AnalysisMartha Stone Palmer. 310-313
- Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling ApproachJasmina Pavlin. 314-319
- Interactive Script InstantiationMichael J. Pazzani. 320-326
- An Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of AdaptationElaine Pettit, Kathleen M. Swigger. 327-332
- A New Inference Method for Frame-Based Expert SystemsJames A. Reggia, Dana S. Nau, Pearl Y. Wang. 333-337
- Non-Minimax Search Strategies for Use Against Fallible OpponentsAndrew L. Reibman, Bruce W. Ballard. 338-342
- A Doubly Layered, Genetic Penetrance Learning SystemLarry A. Rendell. 343-347
- Default Reasoning as Likelihood ReasoningElaine Rich. 348-351
- Generating Hypotheses to Explain Prediction FailuresSteven Salzberg. 352-355
- IMPULSE: A Display Oriented Editor for STROBEEric Schoen, Reid G. Smith. 356-358
- Learning: The Construction of A Posteriori Knowledge StructuresPaul D. Scott. 359-363
- The Use of Qualitative and Quantitative SimulationsReid G. Simmons. 364-368
- Expert System Consultation Control StrategyJames R. Slagle, Michael Gaynor. 369-372
- Finding All of the Solutions to a ProblemDavid E. Smith. 373-377
- Schema Selection and Stochastic Inference in Modular EnvironmentsPaul Smolensky. 378-382
- Deterministic and Bottom-Up Parsing in PrologEdward P. Stabler Jr.. 383-386
- The Decomposition of a Large Domain: Reasoning About MachinesCraig Stanfill. 387-390
- Theory Resolution: Building in Nonequational TheoriesMark E. Stickel. 391-397
- An Analysis of a Welfare Eligibility Determination Interview: A Planning ApproachEswaran Subrahmanian. 398-401
- The GIST Behavior ExplainerWilliam R. Swartout. 402-407
- MCHART: A Flexible, Modular Chart Parsing SystemHenry S. Thompson. 408-410
- A Rule-Based Approach to Information Retrieval: Some Results and CommentsRichard M. Tong, Daniel G. Shapiro, Brian P. McCune, Jeffrey S. Dean. 411-415
- A Theory of Game TreesChun-Hung Tzeng, Paul Walton Purdom Jr.. 416-419
- Human Procedural Skill Acquisition: Theory, Model and Psychological ValidationKurt VanLehn. 420-423
- Mapping Between Semantic Representations Using Horn ClausesRalph M. Weischedel. 424-428
- Rule Based Strategies for Image InterpretationTerry E. Weymouth, J. S. Griffith, Allen R. Hanson, Edward M. Riseman. 429-432
- Learning Physical Descriptions From Functional Definitions, Examples, and PrecedentsPatrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry. 433-439