IJCAI 1973

85 papers

A Definition-Driven Theorem Prover George W. Ernst

A Gobal View of Automatic Programming Robert Balzer

A Heuristic Approach to Program Verification Shmuel Katz, Zohar Manna

A Hole in Goal Trees: Some Guidance from Resolution Theory Donald W. Loveland, Mark E. Stickel

A Linguistics Oriented Programming Language Vaughan R. Pratt

A LISP Machine with Very Compact Programs L. Peter Deutsch

A Man-Machine Theorem-Proving System W. W. Bledsoe, Peter Bruell

A Mechanization of Type Theory Gérard P. Huet

A Model for Control Structures for Artificial Intelligence Programming Languages Daniel G. Bobrow

A Model of the Common-Sense Theory of Intention and Personal Causation Charles F. Schmidt, John D'Addamio

A Number Theory Approach to Problem Representation and Solution Stewart N. T. Shen, Edward R. Jones

A Parser for a Speech Understanding System William H. Paxton, Ann E. Robinson

A Procedure for Adaptive Control of the Interaction Between Acoustic Classification and Linguistic Decoding in Automatic Recognition of Continuous Speech Charles C. Tappert, N. R. Dixon

A Semantically Guided Deductive System for Automatic Theorem-Proving Raymond Reiter

A Semantics-Based Decision Theory Region Analyser Yoram Yakimovsky, Jerome A. Feldman

A System Which Automatically Improves Programs John Darlington, Rod M. Burstall

A Universal Modular ACTOR Formalism for Artificial Intelligence Carl Hewitt, Peter Boehler Bishop, Richard Steiger

A Versatile Computer-Controlled Assembly System A. Patricia Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, Robin J. Popplestone

Active Semantic Networks as a Model of Human Memory David E. Rumelhart, Donald A. Norman

Additive AND/OR Graphs Alberto Martelli, Ugo Montanari

An Efficient Robot Planner Which Generates Its Own Procedures Laurent Siklóssy, J. Dreussi

Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous Classes of Objects Bruce G. Buchanan, N. S. Sridharan

Artificial Intelligence and Automatic Programming in CAI Elliot B. Koffman, Sumner E. Blount

Automatic Program Synthesis in Second-Order Logic Jared L. Darlington

Backtracking in MLISP2: An Efficient Backtracking Method for LISP David Canfield Smith, Horace J. Enea

CASAP: A Testbed for Program Flexibility Robert Balzer

Case Structure Systems Bertram C. Bruce

CLISP - Conversational LISP Warren Teitelman

Computer Description of Curved Objects Gerald J. Agin, Thomas O. Binford

Computer Description of Textured Surfaces Ruzena Bajcsy

Control Algorithm of the Walker Climbing over Obstacles D. E. Okhotsimsky, Alexander K. Platonov

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

D-SCRlPT: A Computational Theory of Descriptions Robert C. Moore

DECIDER-L: A System That Chooses Among Different Types of Acts Leonard Uhr

Deletion-Directed Search in Resolution-Based Proof Procedures David Gelperin

Design of a Computer Controlled Manipulator for Robot Research Boris M. Dobrotin, Victor Scheinman

Design of a Low Cost, General Purpose Robot Michael H. Smith, L. Stephen Coles

Detection of Homogeneous Regions by Structural Analysis Fumiaki Tomita, Masahiko Yachida, Saburo Tsuji

Discovering Classification Rules Using Variable-Valued Logic System VL1 Ryszard S. Michalski

Doing Arithmetic with Diagrams Alan Bundy

Finding Picture Edges Through Collinearity of Feature Points Frank O'Gorman, M. B. Clowes

Forecasting and Assessing the Impact of Artificial Intelligence on Society Oscar Firschein, Martin A. Fischler, L. Stephen Coles, Jay M. Tenenbaum

Heuristic Methods for Mechanically Deriving Inductive Assertions Ben Wegbreit

Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues Horace J. Enea, Kenneth Mark Colby

Interpreting Pictures of Polyhedral Scenes Alan K. Mackworth

Iterated Limiting Recursion and the Program Minimization Problem Lenhart K. Schubert

Jack and Janet in Search of a Theory of Knowledge Eugene Charniak

l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications John Mylopoulos, Norman I. Badler, L. Melli, Nick Roussopoulos

Language Processing via Canonical Verbs and Semantic Models Gary G. Hendrix, Craig W. Thompson, Jonathan Slocum

MARGIE: Memory Analysis Response Generation, and Inference on English Roger C. Schank, Neil M. Goldman, Charles J. Rieger Iii, Christopher Riesbeck

Mechanical Inference Problems in Continuous Speech Understanding William A. Woods, John Makhoul

Mechanism of Deduction in a Question-Answering System with Natural Language Input Makoto Nagao, Jun'ichi Tsujii

Natural Semantics in Artificial Intelligence James R. Carbonell, Allan M. Collins

On a Local Approach to Representation in Problem Solving Vadim L. Stefanuk

On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes Irwin Sobel

On the Mechanization of Abductive Logic Harry E. Pople

Outlines of a Computer Model of Motivation George R. Kiss

PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System Donald A. Waterman, Allen Newell

Pattern Classification of the Grasped Object by the Artificial Hand Gen-ichiro Kinoshita, Shuhei Aida, Masahiro Mori

Planning Considerations for a Roving Robot with Arm Richard A. Lewis, Antal K. Bejczy

Planning in a Hierarchy of Abstraction Spaces Earl D. Sacerdoti

POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language Gregory Dean Gibbons

Proving the Impossible Is Impossible Is Possible: Disproofs Based on Hereditary Partitions Laurent Siklóssy, John W. Roach

Proving Theorems About LISP Functions Robert S. Boyer, J Strother Moore

Robot Decisions Based on Maximizing Utility Walter Jacobs, Maxine Kiefer

Robot Planning System Based on Problem Solvers Tadashi Nagata, Masato Yamazaki, Michiharu Tsukamoto

Search Strategies for the Task of Organic Chemical Synthesis N. S. Sridharan

Semantic Modeling for Deductive Question-Answering Kenneth Biss, Robert T. Chien, Fred A. Stahl, Steven J. Weissman

Some Frills for the Modal Tic-Tac-Toe of Davies and Isard: Semantics of Predicate Complement Constructions Aravind K. Joshi, Ralph M. Weischedel

Some Necessary Conditions for a Master Chess Program Hans J. Berliner

Some Theoretical Results Concerning Automated Game-Playing T. Brian Boffey

Speech Understanding Through Syntactic and Semantic Analysis Donald E. Walker

Steps Toward Automatic Theory Formation John Seely Brown

Structured Descriptions of Complex Objects Ramakant Nevatia, Thomas O. Binford

System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architecture for AI Lee D. Erman, R. D. Fenneli, Victor R. Lesser, Dabbala Rajagopal Reddy

The Architecture of Coherent Information System: A General Problem Solving System Chitoor V. Srinivasan

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

The Bandwidth Heuristic Search Larry R. Harris

The Hearsay Speech Understanding System: An Example of the Recognition Process Dabbala Rajagopal Reddy, Lee D. Erman, R. D. Fenneli, Richard B. Neely

The LISP7O Pattern Matching System Lawrence G. Tesler, Horace J. Enea, David Canfield Smith

The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System Jack Minker, Daniel H. Fishman, James R. McSkimin

The Symbolic Nature of Visual Imagery Thomas P. Moran

Thoughts About a Visually Guided Grasp Reflex Richard L. Didday

Toward a Model of Human Game Playing Marc Eisenstadt, Yaakov Kareev

Understanding Without Proofs Yorick Wilks