Stanford, California, USA · 20-23 August 1973
Edited by Nils J. Nilsson
No papers match this filter.
Theory of Heuristic Search
Additive AND/OR Graphs
Pages 1–10
The Bandwidth Heuristic Search
Pages 23–29
Theorem Proving and Logic: 1
A Definition-Driven Theorem Prover
Pages 51–54
A Man-Machine Theorem-Proving System
Pages 56–65
Applications and Implications of A. I.
Theorem Proving and Logic: 2
Steps Toward Automatic Theory Formation
Pages 121–128
Doing Arithmetic with Diagrams
Pages 130–137
A Mechanization of Type Theory
Pages 139–145
On the Mechanization of Abductive Logic
Pages 147–151
Natural Language: Speech
A Parser for a Speech Understanding System
Pages 216–221
Formalisms for A.I.
D-SCRlPT: A Computational Theory of Descriptions
Pages 223–228
Natural Language: Systems
Understanding Without Proofs
Pages 270–276
Robot I mplementations
A Versatile Computer-Controlled Assembly System
Pages 298–306
Planning Considerations for a Roving Robot with Arm
Pages 308–315
Design of a Low Cost, General Purpose Robot
Pages 324–335
Natural Language; Semantics and Parsing
Jack and Janet in Search of a Theory of Knowledge
Pages 337–342
Natural Semantics in Artificial Intelligence
Pages 344–350
Semantic Modeling for Deductive Question-Answering
Pages 356–362
Case Structure Systems
Pages 364–370
A Linguistics Oriented Programming Language
Pages 372–381
Robot Problem Solving
Robot Planning System Based on Problem Solvers
Pages 388–394
Robot Decisions Based on Maximizing Utility
Pages 402–410
Planning in a Hierarchy of Abstraction Spaces
Pages 412–421
Psychology and A.I
Outlines of a Computer Model of Motivation
Pages 446–448
Active Semantic Networks as a Model of Human Memory
Pages 450–456
Toward a Model of Human Game Playing
Pages 458–463
The Symbolic Nature of Visual Imagery
Pages 472–477
Automatic Programming
A System which Automatically Improves Programs
Pages 479–484
Proving Theorems about LISP Functions
Pages 486–492
A Gobal View of Automatic Programming
Pages 494–498
A Heuristic Approach to Program Verification
Pages 500–511
Automatic Program Synthesis in Second-Order Logic
Pages 537–541
Computer Vision
Interpreting Pictures of Polyhedral Scenes
Pages 556–562
Computer Description of Textured Surfaces
Pages 572–578
A Semantics-Based Decision Theory Region Analyser
Pages 580–587
General Problem Solving
CASAP: A Testbed for Program Flexibility
Pages 601–604
Perception for Robots
Computer Description of Curved Objects
Pages 629–639
Structured Descriptions of Complex Objects
Pages 641–646
Thoughts About a Visually Guided Grasp Reflex
Pages 658–663
Hardware and Software for A.I.
The LISP7O Pattern Matching System
Pages 671–675
CLISP - Conversational LISP
Pages 686–689
A LISP Machine with Very Compact Programs
Pages 697–-1
Front matter, copyright and publication details
Sponsored by
International Joint Conferences on Artifical Intelligence (IJCAI)
Published by
International Joint Conferences on Artificial Intelligence
©1973 INTERNATIONAL JOINT CONFERENCES
ON ARTIFICIAL INTELLIGENCE
Enquiries for purchase of copies
of this volume should be made to
Stanford Research Institute
Publications Department
333 Ravenswood Avenue
Menlo Park, California 94025
IJCAI Secretary-Treasurer: Dr. Warren Teitelman, Xerox Palo Alto Research Center
Palo Alto, California
