Proceedings of the Third International Joint Conference on Artificial Intelligence
IJCAI-73 Contents
THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
20-23 August 1973
Stanford University Stanford, California
CONTENTS
Theory of Heuristic Search
Some Theoretical Results Concerning Automated Game-Playing
The Bandwidth Heuristic Search
Theorem Proving and Logic: I
The Q* Algorithm—A Search Strategy for a Deductive Question-Answering System
A Semantically Guided Deductive System for Automatic Theorem-Proving
Deletion-Directed Search in Resolution-Based Proof Procedures
A Definition-Driven Theorem Prover
A Man-Machine Theorem-Proving System
Applications and Implications of A.I.
Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous Classes of Objects
Some Necessary Conditions for a Master Chess Program
Artificial Intelligence and Automatic Programming in CAI
Search Strategies for the Task of Organic Chemical Synthesis
Forecasting and Assessing the Impact of Artificial Intelligence on Society
Theorem Proving and Logic: II
Steps Toward Automatic Theory Formation
Doing Arithmetic with Diagrams
A Mechanization of Type Theory
On the Mechanization of Abductive Logic
A Hole in Goal Trees: Some Guidance from Resolution Theory
Discovering Classification Rules Using Variable-Valued Logic System VL
Natural Language: Speech
The Hearsay Speech Understanding System: An Example of the Recognition Process
Mechanical Inference Problems in Continuous Speech Understanding
Speech Understanding Through Syntactic and Semantic Analysis
A Parser for a Speech Understanding System
Formalisms for A.I.
D-SCRIPT; A Computational Theory of Descriptions
A Universal Modular ACTOR Formalism for Artificial Intelligence
A Model lor Control Structures for Artificial Intelligence Programming Languages
Natural Language; Systems
MARGIE: Memory, Analysis, Response Generation,and Inference on English
Language Processing Via Canonical Verbs and Semantic Models
Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues
Mechanism of Deduction in a Question-Answering System with Natural Language Input
Robot Implementations
Design of a Computer Controlled Manipulator for Robot Research
A Versatile Computer-Controlled Assembly System
Planning Considerations for a Roving Rohot with Arm
Control Algorithm of the Walker Climbing Over Obstacles
Design of a Low Cost, General Purpose Robot
Natural Language: Semantics and Parsing
Jack and Janet in Search of a Theory of Knowledge
Natural Semantics in Artificial Intelligence
Semantic Modeling for Deductive Question-Answering
A Linguistics Oriented Programming Language
Robot Problem Solving
Proving the Impossible is Impossible Possible: Disproofs Based on Hereditary Partitions
Robot Planning System Based on Problem Solvers
DECIDER-1:A System that Chooses Among Different Types of Acts
Robot Decisions Based on Maximizing Utility
Planning in a Hierarchy of Abstraction Spaces
An Efficient Robot Planner Which Generates Its Own Procedures
Psychology and A.I.
PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System
Outlines of a Computer Model of Motivation
Active Semantic Networks as a Model of Human Memory
Toward a Model of Human Game Playing
A Model of the Common-Sense Theory of Intention and Personal Causation
The Symbolic Nature of Visual Imagery
Automatic Programming
A System Which Automatically Improves Programs
Proving Theorems about LISP Functions
A Gobal View of Automatic Programming
A Heuristic Approach to Program Verification
Iterated Limiting Recursion and the Program Minimization Problem
Heuristic Methods for Mechanically Deriving Inductive Assertions
Automatic Program Synthesis in Second-Order Logic
Computer Vision
Finding Picture Edges through Collinearity of Feature Points
Interpreting Pictures of Polyhedral Scenes
Detection of Homogeneous Regions by Structural Analysis
Computer Description of Textured Surfaces
A Semantics-Based Decision Theory Region Analyzer
General Problem Solving
CASAP; A Testbed for Program Flexibility
A Number Theory Approach to Problem Representation and Solution
On a Local Approach to Representation in Problem Solving
The Architecture of Coherent Information System: A General Problem Solving System
Perception for Robots
Computer Description of Curved Objects
Structured Descriptions of Complex Objects
On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes
Thoughts About a Visually Guided Grasp Reflex
Pattern Classification of the Grasped Object by the Artificial Hand
Hardware and Software for A.I.
The LISP70 Pattern Matching System
l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications
A LISP Machine with Very Compact Programs
DISCLAIMER: Please note that IJCAI Organization is the sole copyright owner of all materials published in the Proceedings of its conferences. All rights are reserved. No part of any IJCAI conference Proceedings may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, which is also the IJCAI Organization. Contact information for obtaining written permission can be found here.