INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2ND, ADVANCE PAPERS OF THE CONFERENCE, 1971.

Following is the continuation of the list of titles and authors: Language Based Problem-Solver. By S. Ramani. Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases. By Terrence W. Pratt. Algebraic Definition of Simulation Between Programs. By Robin Milner. Derived Semantics for Some Programming Language Constructs. By Peter Henderson. Improvement of Marko's Model Toward the Inter-Locutional Communication Theory. By Hideo Seki. Large Systems and Their Regular Expressions: An Approach to Pattern Recognition. By David C. Rine. Net Structure for Semantic Information Storage, Deduction and Retrieval. By Stuart C. Shapiro. Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse. By Robert F. Simmons and Bertram C. Bruce. On the Problems of Time, Retrieval of Temporal Relations, Causality, and Co-Existence. By Nicholas V. Findler and David Chen. Reduction of Enumeration in Grammar Acquisition. By Stefano Crespi-Reghizzi. Solving Problems by Formula Manipulation in Logic and Linear Inequalities. By Louis Hodes. Fuzzy Logic and the Resolution Principle. By Richard C. T. Lee. Paradigm for Reasoning by Analogy. By Robert E. Kling.