Proceedings of the Third International Joint Conference on Artificial Intelligence

IJCAI-73 Contents


20-23 August 1973

Stanford University Stanford, California


Theory of Heuristic Search

Additive AND/OR Graphs

The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving

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

A Procedure for Adaptive Control of the Interaction Between Acoustic Classification end Linguistic Docixiing In Automatic Recognition of Continuous Speech

The Hearsay Speech Understanding System: An Example of the Recognition Process

System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architecture for A.I

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

Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs

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

Understanding Without Proofs

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

Some Frills for the Modal Tic-Tac-Toe of Davies and Itard: Semantics of Predicate Complement Constructions

Semantic Modeling for Deductive Question-Answering

Case Structure Systems

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

POPS; An Application of Heuristic Search Methods to the Processing of a Nondetermlnistic Programming Language

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

Backtracking in MLISP2

CLISP - Conversational LISP

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.