Table of Contents

• Additive AND/OR GraphsAlberto Martelli, Ugo Montanari. 1-11
• The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem SolvingIra Pohl. 12-17
• Some Theoretical Results Concerning Automated Game-PlayingT. B. Boffey. 18-22
• The Bandwidth Heuristic SearchLarry R. Harris. 23-30
• The Q* Algorithm - A Search Strategy for a Deduclive Question-Answering SystemJack Minker, Daniel H. Fishman, James R. McSkimin. 31-40
• A Semantically Guided Deductive System for Automatic Theorem-ProvingRaymond Reiter. 41-46
• Deletion-Directed Search in Resolution-Dased Proof ProceduresDavid Gelperin. 47-50
• A Definition-Driven Theorem ProverGeorge W. Ernst. 51-55
• A Man-Machine Theorem-Proving SystemW. W. Bledsoe, Peter Bruell. 56-66
• Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous Classes of ObjectsBruce G. Buchanan, N. S. Sridharan. 67-76
• Some Necessary Conditions for a Master Chess ProgramHans J. Berliner. 77-85
• Artificial Intelligence and Automatic Programming in CAIElliot B. Koffman, Sumner E. Blount. 86-94
• Search Strategies for the Task of Organic Chemical SynthesisN. S. Sridharan. 95-104
• Forecasting and Assessing the Impact of Artificial Intelligence on SocietyOscar Firschein, Martin A. Fischler, L. Stephen Coles, Jay M. Tenenbaum. 105-120
• Steps Toward Automatic Theory FormationJohn Seely Brown. 121-129
• Doing Arithmetic with DiagramsAlan Bundy. 130-138
• A Mechanization of Type TheoryGérard P. Huet. 139-146
• On the Mechanization of Abductive LogicHarry E. Pople. 147-152
• A Hole in Goal Trees: Some Guidance from Resolution TheoryDonald W. Loveland, Mark E. Stickel. 153-161
• Discovering Classification Rules Using variable-Valued Logic System VL_1Ryszard S. Michalski. 162-172
• System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architecture for AILee D. Erman, R. D. Fenneli, Victor R. Lesser, D. R. Reddy. 194-199
• Mechanical Inference Prohlems in Continuous Speech UnderstandingWilliam A. Woods, John Makhoul. 200-207
• Speech Understanding Through Syntactic and Semantic AnalysisDonald E. Walker. 208-215
• A Parser for a Speech Understanding SystemWilliam H. Paxton, Ann E. Robinson. 216-222
• Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic ProgramsErik Sandewall. 230-234
• A Universal Modular ACTOR Formalism for Artificial IntelligenceCarl Hewitt, Peter Bishop, Richard Steiger. 235-245
• A Model for Control Structures for Artificial Intelligence Programming LanguagesDaniel G. Bobrow. 246-254
• MARGIE: Memory Analysis Response Generation, and Inference on EnglishRoger C. Schank, Neil M. Goldman, Charles J. Rieger III, Christopher Riesbeck. 255-261
• Language Processing Via Canonical Verbs and Semantic ModelsGary G. Hendrix, C. W. Thompson, Jonathan Slocum. 262-269
• Idiolectic Language-Analysis for Understanding Doctor-Patient DialoguesHorace Enea, Kenneth Mark Colby. 278-284
• Mechanism of Deduction in a Question-Answering System with Natural Language InputdMakoto Nagao, Jun-ichi Tsujii. 285-290
• A Versatile Computer-Controlled Assembly SystemA. P. Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, Robin J. Popplestone. 298-307
• Planning Considerations for a Roving Robot with ArmRichard A. Lewis, Antal K. Bejczy. 308-316
• Control Algorithm of the Walker Climbing Over ObstaclesD. E. Okhotsimsky, A. K. Platonov. 317-323
• Design of a Low Cost, General Purpose RobotMichael H. Smith, L. Stephen Coles. 324-336
• Jack and Janet in Search of a Theory of KnowledgeEugene Charniak. 337-343
• Natural Semantics in Artificial IntelligenceJames R. Carbonell, Allan M. Collins. 344-351
• Some Frills for the Modal Tic-Tac-Toe of Davies and Isard: Semantics of Predicate Complement ConstructionsAravind K. Joshi, Ralph M. Weischedel. 352-355
• Semantic Modeling for Deductive Question-AnsweringKenneth Biss, Robert T. Chien, Fred Stahl, Steven J. Weissman. 356-363
• Case Structure SystemsBertram C. Bruce. 364-371
• A Linguistics Oriented Programming LanguageVaughan R. Pratt. 372-382
• Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary PartitionsLaurent Siklóssy, John W. Roach. 383-387
• Robot Planning System Based on Problem SolversTadashi Nagata, Masato Yamazaki, Michiharu Tsukamoto. 388-395
• DECIDER-l: A System that Chooses Among Different Types of ActsLeonard Uhr. 396-401
• Planning in a Hierarchy of Abstraction SpacesEarl D. Sacerdoti. 412-422
• An Efficient Robot Planner which Generates Its Own ProceduresLaurent Siklóssy, J. Dreussi. 423-430
• PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis SystemDonald A. Waterman, Allen Newell. 431-445
• Toward a Model of Human Game PlayingMarc Eisenstadt, Yaakov Kareev. 458-464
• A Model of the Common-Sense Theory of Intention and Personal CausationCharles F. Schmidt, John D Addamio. 465-471
• The Symbolic Nature of Visual ImageryThomas P. Moran. 472-478
• A System which Automatically Improves ProgramsJohn Darlington, Rod M. Burstall. 479-485
• Proving Theorems about LISP FunctionsRobert S. Boyer, J. Strother Moore. 486-493
• A Gobal View of Automatic ProgrammingRobert Balzer. 494-499
• A Heuristic Approach to Program VerificationShmuel Katz, Zohar Manna. 500-512
• Iterated Limiting Recursion and the Program Minimization ProblemLenhart K. Schubert. 513-523
• Heuristic Methods for Mechanically Deriving Inductive AssertionsBen Wegbreit. 524-536
• Automatic Program Synthesis in Second-Order LogicJared L. Darlington. 537-542
• Finding Picture Edges through Collinearity of Feature PointsFrank O Gorman, M. B. Clowes. 543-555
• Detection of Homogeneous Regions by Structural AnalysisFumiaki Tomita, Masahiko Yachida, Saburo Tsuji. 564-571
• Computer Description of Textured SurfacesRuzena Bajcsy. 572-579
• A Semantics-Based Decision Theory Region AnalyserYoram Yakimovsky, Jerome A. Feldman. 580-588
• CASAP: A Testbed for Program FlexibilityRobert Balzer. 601-605
• A Number Theory Approach to Problem Representation and SolutionStewart N. T. Shen, Edward R. Jones. 606-611
• Computer Description of Curved ObjectsGerald J. Agin, Thomas O. Binford. 629-640
• Structured Descriptions of Complex ObjectsRamakant Nevatia, Thomas O. Binford. 641-647
• On Calibrating Computer Controlled Cameras for Perceiving 3-D ScenesIrwin Sobel. 648-657
• Pattern Classification of the Grasped Object by the Artificial HandGen-ichiro Kinoshita, Shuhei Aida, Masahiro Mori. 665-670
• The LISP7O Pattern Matching SystemLawrence G. Tesler, Horace Enea, David Canfield Smith. 671-676
• Backtracking in MLISP2: an efficient backtracking method for LISPDavid Canfield Smith, Horace Enea. 677-685
• l.Pak: A SNOBOL-Dased Programming Language for Artificial Intelligence ApplicationsJohn Mylopoulos, Norman I. Badler, L. Melli, Nick Roussopoulos. 691-696
• A LISP Machine with Very Compact ProgramsL. Peter Deutsch. 697