Table of Contents

• Checking Proofs in the Metamathematics of First Order LogicMario Aiello, Richard W. Weyhrauch. 1-8
• On the Role of Mathematical Language Concept in the Theory of Intelligent SystemsHajnal Andréka, Tamás Gergely, István Németi. 9-14
• A New Mehtod for Proving Certain Presburger FormulesW. W. Bledsoe. 15-21
• Analysing Mathematical Proofs (Or Reading Between the Lines)Alan Bundy. 22-28
• On Methods To Decide Solvability of Transformation ProblemsP. Florath. 29-33
• Definition Theory as Basis for a Creative Problem SolverT. Gorgely, Hajnal Andréka, István Németi. 40-45
• Semantic Resolution for Horn SetsLawrence J. Henschen. 46-52
• A Note on Deduction Rules with Negative PremisesIvan Kramosil. 53-56
• Gentzen-Type Formel System Representing Properties of Function and its ImplementationT. Nishimura, M. Nakanishi, M. Nogeta, Y. Iwamaru. 57-64
• A Complete Unification Algorithm for Associative-Commutative FunctionsMark E. Stickel. 71-76
• Toward a State Based Conceptual RepresentationNick Cercone, Lenhart K. Schubert. 83-90
• A Partial Taxonomy of Knowledge about ActionsEugene Charniak. 91-98
• Deductive Retrieval Mechanisms for State Description ModelsRichard Fikes. 99-106
• Some Thoughts about Representing Knowledge in Instructional SystemsJoachim Laubsch. 122-125
• BEINGS: Knowledge as Interacting ExpertsDouglas B. Lenat. 126-133
• Semantic Networks and the Generation of ContextJohn Mylopoulos, P. Cohen, Alexander Borgida, L. Sugar. 134-142
• Conceptual Overlays: A Mechanism for the Interpretation of Sentence Meaning in ContextCharles J. Rieger III. 143-150
• Extending The Expressive Power Of Semantic NetworksLenhart K. Schubert. 158-164
• Planning And Execution in Incompletely Specified EnvironmentsRobert T. Chien, Steven J. Weissman. 169-174
• Bargaining Between GoalsIra P. Goldstein. 175-180
• A Representation For Robot PlansPatrick J. Hayes. 181-188
• How To Use What You KnowCarl Hewitt. 189-198
• The Nonlinear Nature of PlansEarl D. Sacerdoti. 206-214
• Interacting Goals And Their UseAustin Tate. 215-218
• Empirical Prediction AlgorithmNikolay G. Zagoruiko. 219-222
• A Basis For The Acquisition Of Procedures From ProtocolsM. Bauer. 226-231
• Some Rules For The Automatic Synthesis Of ProgramsC. Cordell Green, David R. Barstow. 232-239
• Synthesis Of LISP Functions From ExamplesSteve Hardy. 240-245
• An Automatically Compilable Recognition Network For Structured PatternsFrederick Hayes-Roth, D. Moslow. 246-252
• Automatic Program Synthesis from Example ProblemsLaurent Siklóssy, D. Sykas. 268-273
• Knowledge and Reasoning in Program SynthesisRichard J. Waldinger, Zohar Manna. 288-295
• Adaptive Production SystemsDonald A. Waterman. 296-303
• On the Structure Of An Important Class Of Exhaustive Problems And On Ways Of Search Reduction For ThemG. M. Adelson-Velskiy, V. L. Arlazarov, M. V. Donskoy. 304-308
• An Improved Di-Directional Heuristic Search AlgorithmDennis de Champeaux, Lenie Sint. 309-314
• Knowledge And Its Use In A Program For Going From One Place To AnotherTeiji Furugori. 315-320
• The Heuristic Search And The Game Of Chess - A Study Of Quiescene, Sacrifices, And Plan Oriented PlayLarry R. Harris. 334-339
• A Problem Reduction Model for Non-Independent SubproblemsGiorgio Levi, Franco Sirovich. 340-344
• Form Dynamic Programming To Search Algorithms With Functional CostsAlberto Martelli, Ugo Montanari. 345-350
• Automated Hypothesis Generation Using Extended Inductive ResolutionCharles G. Morgan. 351-356
• Predicting The Length Of Solutions To ProblemsJ. Ross Quinlan. 363-369
• A Student-Oriented Natural Language Environment For Learning LISPR. Hart, Elliot B. Koffman. 391-396
• Preliminary Report On A Program For Generating Natural LangugageD. McDonald. 401-405
• TORUS - A Natural Language Understanding System For Data ManagementJohn Mylopoulos. 414-421
• Generating Hierarchical Semantic Networks Froma Natural Language DiscourseCamilla Schwind. 429-435
• Negation And Focus in Man - Machine CommunicationPetr Sgall, Eva Hajicová. 443-448
• On The System Of Concepts Relations And Outline Of The Natural Language SystemS. Yoshida. 449-454
• A Speech Understanding System Based Upon A Co-Routine ParserJ. Allen. 455-460
• Pragmatics In Speech UnderstandingBertram C. Bruce. 461-467
• A Speech Understanding System With Learning CapabilityRenato de Mori, Silvano Rivoira, Angelo Serra. 468-475
• A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of KnowledgeLee D. Erman, Victor R. Lesser. 483-490
• Feature Extraction And Sentence Recognition Algorithm In Speech Input SystemYoshiaki Shirai. 506
• Problem Solving Approach In Data ManagementWilliam D. Haseman, Andrew B. Whinston. 528-533
• The 2 PAK Language: Goals And DescriptionsL. Melli. 549-555
• MAGMA-LISP: A Machine Language For Artificial IntelligenceCarlo Montangero, Giuliano Pacini, Franco Turini. 556-561
• On The Storage Economy Of Error-Tolerating Question-Answering SystemsJudea Pearl. 562-568
• Ideas About Management Of LISP Data BasesErik Sandewall. 585-592
• An English-Like Language For Qualitative Scientific KnowledgeDouglas R. Skuce. 593-600
• An Interpreter For The Programming Languages Predicate LogicSten-Åke Tärnlund. 601-608
• Color Picture Processing By ComputerT. Ito. 635
• Isolating And Identifying Objects In Line DrawingsEdward L. Morofsky, Andrew K. C. Wong. 656-663
• Forming Models Of Plane-And-Cylinder Faceled Bodies From Light StripesRobin J. Popplestone, Christopher M. Brown, A. P. Ambler, G. Crawford. 664-668
• A Region-Analysis Subsystem For Interactive Scene AnalysisJay M. Tenenbaum, S. Weyl. 682-687
• Automatic Detection Of Rib Contours in Chest RadiographsHarry Wechsler, Jack Sklansky. 688-694
• Boundary And Object Detection In Real World ImagesYoram Yakimovsky. 695-704
• General Purpose Models: Expectations About The UnexpectedSteven W. Zucker, Azriel Rosenfeld, Larry S. Davis. 716-721
• Visual Understanding Of Hybrid Circuits Via Procedural ModelsR. Chien, W. Snyder. 742-748
• An Overview Of AL, A Programming System For AutomationRaphael A. Finkel. 758-765
• A Hand-Eye Robot-Simulating SystemGeorgy L. Gimel farb, E. F. Kushner, V. I. Rybak. 766-770
• Perceptive Robot Moving in 3D WorldD. E. Okhotsimsky, A. K. Platongy. 798-802
• Recognition Of An Object in A Stack Of Industrial PartsSaburo Tsuji, A. Nakamura. 811-818
• A Machine Vision For Complex Industrial Parts With Learning CapabilityMasahiko Yachida, Saburo Tsuji. 819
• Progress On A Computer Based ConsultantPeter E. Hart. 831-841
• DIALOG: A Model Of Diagnostic Logic For Internal MedicineHarry E. Pople, J. Myers, R. Miller. 848-855
• A Model Of Human Cognitive Behavior in Writing Code For Computer ProgramsR. Brooks. 878-884
• Constructive Visual Imagery And PerceptionArthur M. Farley. 885-892
• Artificial Intelligence And AestheticsJames Gips, George Stiny. 907-911
• Problem Structure And Problem Solving BehaviorGeorge F. Luger, G. Goldin. 924-931