ijcai 1973 论文列表Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, CA, USA, August 20-23, 1973. |
A LISP Machine with Very Compact Programs.
l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications.
CLISP - Conversational LISP.
Backtracking in MLISP2: an efficient backtracking method for LISP.
The LISP7O Pattern Matching System.
Pattern Classification of the Grasped Object by the Artificial Hand.
Thoughts About a Visually Guided Grasp Reflex.
On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes.
Structured Descriptions of Complex Objects.
Computer Description of Curved Objects.
The Architecture of Coherent Information System: A General Problem Solving System.
On a Local Approach to Representation in Problem Solving.
A Number Theory Approach to Problem Representation and Solution.
CASAP: A Testbed for Program Flexibility.
POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language.
A Semantics-Based Decision Theory Region Analyser.
Computer Description of Textured Surfaces.
Detection of Homogeneous Regions by Structural Analysis.
Interpreting Pictures of Polyhedral Scenes.
Finding Picture Edges through Collinearity of Feature Points.
Automatic Program Synthesis in Second-Order Logic.
Heuristic Methods for Mechanically Deriving Inductive Assertions.
Iterated Limiting Recursion and the Program Minimization Problem.
A Heuristic Approach to Program Verification.
A Gobal View of Automatic Programming.
Proving Theorems about LISP Functions.
A System which Automatically Improves Programs.
The Symbolic Nature of Visual Imagery.
A Model of the Common-Sense Theory of Intention and Personal Causation.
Toward a Model of Human Game Playing.
Active Semantic Networks as a Model of Human Memory.
Outlines of a Computer Model of Motivation.
PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System.
An Efficient Robot Planner which Generates Its Own Procedures.
Planning in a Hierarchy of Abstraction Spaces.
Robot Decisions Based on Maximizing Utility.
DECIDER-l: A System that Chooses Among Different Types of Acts.
Robot Planning System Based on Problem Solvers.
Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions.
A Linguistics Oriented Programming Language.
Case Structure Systems.
Semantic Modeling for Deductive Question-Answering.
Some Frills for the Modal Tic-Tac-Toe of Davies and Isard: Semantics of Predicate Complement Constructions.
Natural Semantics in Artificial Intelligence.
Jack and Janet in Search of a Theory of Knowledge.
Design of a Low Cost, General Purpose Robot.
Control Algorithm of the Walker Climbing Over Obstacles.
Planning Considerations for a Roving Robot with Arm.
A Versatile Computer-Controlled Assembly System.
Design of a Computer Controlled Manipulator for Robot Research.
Mechanism of Deduction in a Question-Answering System with Natural Language Input.
Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues.
Understanding Without Proofs.
Language Processing Via Canonical Verbs and Semantic Models.
MARGIE: Memory Analysis Response Generation, and Inference on English.
A Model for Control Structures for Artificial Intelligence Programming Languages.
A Universal Modular ACTOR Formalism for Artificial Intelligence.
Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs.
D-SCRlPT: A Computational Theory of Descriptions.
A Parser for a Speech Understanding System.
Speech Understanding Through Syntactic and Semantic Analysis.
Mechanical Inference Problems in Continuous Speech Understanding.
System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architecture for AI.
The Hearsay Speech Understanding System: An Example of the Recognition Process.
A Procedure for Adaptive Control of the Interaction Between Acoustic Classification and Linguistic Decoding in Automatic Recognition of Continuous Speech.
Discovering Classification Rules Using variable-Valued Logic System VL1.
A Hole in Goal Trees: Some Guidance from Resolution Theory.
On the Mechanization of Abductive Logic.
A Mechanization of Type Theory.
Doing Arithmetic with Diagrams.
Steps Toward Automatic Theory Formation.
Forecasting and Assessing the Impact of Artificial Intelligence on Society.
Search Strategies for the Task of Organic Chemical Synthesis.
Artificial Intelligence and Automatic Programming in CAI.
Some Necessary Conditions for a Master Chess Program.
Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous Classes of Objects.
A Man-Machine Theorem-Proving System.
A Definition-Driven Theorem Prover.
Deletion-Directed Search in Resolution-Based Proof Procedures.
A Semantically Guided Deductive System for Automatic Theorem-Proving.
The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System.
The Bandwidth Heuristic Search.
Some Theoretical Results Concerning Automated Game-Playing.
The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving.
Additive AND/OR Graphs.