IJCAI 1981

219 papers

\RESTAURANT Revisited or "Lunch with BORIS" Michael C. Dyer

3D Object Representation and Matching with B-Splines and Surface Patches Bryant W. York, Allen R. Hanson, Edward M. Riseman

A Belief Representation for Understanding Deception Gregory B. Taylor, Stephen B. Whitehill

A Computational Model of Analogical Problem Solving Jaime G. Carbonell

A Computer Model of Child Language Acquisition Mallory Selfridge

A Design for an Automatic Programming System Douglas R. Smith

A Deterministic Analyzer for the Interpretation of Natural Language Commands Leonardo Lesmo, Daniela Magnani, Pietro Torasso

A Feature-Based Scene Matcher Donald B. Gennery

A Formal Representation for Plans in the Programmers Apprentice Charles Rich

A General Semantic Analyser for Data Base Access Branimir Boguraev, Karen Sparck Jones

A Knowledge-Based Approach to Language Processing: A Progress Report Robert Wilensky

A Knowledge-Based Program Editor Richard C. Waters

A Locomotion Control System for Mobile Robots Jun'ichi Iijima, Yutaka Kanayama, Shin'ichi Yuta

A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems Kurt Konolige

A New Approach to the Problem of Acquiring Randomly Oriented Workpieces Out of a Bin Jean-Daniel Boissonnat, F. Germain

A New Method for Solving Constraint Satisfaction Problems Raimund Seidel

A Parallel Computation That Assigns Canonical Object-Based Frames of Reference Geoffrey E. Hinton

A Plot Understanding System on Reference to Both Image and Language Norihiro Abe, Itsuya Soga, Saburo Tsuji

A Precedence Scheme for Selection and Explanation of Therapies John K. Kastmer, Sholom M. Weiss

A Psychologist Views Human Processing: Human Errors and Other Phenomena Suggest Processing Mechanisms Donald A. Norman

A RANSAC-Based Approach to Model Fitting and Its Application to Finding Cylinders in Range Data Robert C. Bolles, Martin A. Fischler

A Rule-Based Task Generation System Derek H. Sleeman

A Set of APL Functions to Play New Eleusis Michael J. A. Berry

A Simple Method for Recovering a Relative Depth mAP in the Case of a Translating Sensor K. Prazdny

A Structural Method of Scene Analysis Zdenek Zdráhal

A Theory of Language Acquisition Based on General Learning Principles John R. Anderson

Acquisition of Procedural Knowledge from Domain Experts Peter Friedland

Advanced Automaton for Space Missions Robert A. Freitas Jr., Timothy J. Healy, James E. Long

Algebraic Approximations David A. McAllester

Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud

Algorithms of the Complex Tactile Information Processing Vladimír Marík

An Advisory System for Developing Data Representations Shmuel Katz, Ruth Zimmerman

An Algorithm That Infers Theories from Facts Ehud Y. Shapiro

An Application of AI Techniques to Structuring Objects into an Optimal Conceptual Hierarchy Ryszard S. Michalski, Robert E. Stepp

An Examination of Brute Force Intelligence Hans J. Berliner

An Improved Filter for Literal Indexing in Resolution Systems Lawrence J. Henschen, Shamim A. Naqvi

An Inference Technique for Integrating Knowledge from Disparate Sources Thomas D. Garvey, John D. Lowrance, Martin A. Fischler

An Information Presentation System Frank Zdybel, Norton Greenfeld, Martin D. Yonke, Jeff Gibbons

An Interval-Based Representation of Temporal Knowledge James F. Allen

An Iterative Image Registration Technique with an Application to Stereo Vision Bruce D. Lucas, Takeo Kanade

An Object-Oriented Language for Constructing Simulations David McArthur, Henry Sowizral

Analogy-Based Acquisition of Utterances Relating to Temporal Aspects V. Sembugamoorthy

Anaphora for Limited Domain Systems Philip J. Hayes

APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms Ulrich Bartels, Walter G. Olthoff, Peter Raulefs

Application Design: Issues in Expert System Architecture Harry C. Reinstein, Janice S. Aikins

Application of Automatic Transformations to Program Verification Robert Veroff, Lawrence J. Henschen

Automatic Synthesis of Numerical Computer Programs Richard H. Brown

AUTOPILOT: A Distributed Planner for Air Fleet Control Perry W. Thorndyke, Dave McArtbur, Stephanie J. Cammarata

BACON.5: The Discovery of Conservation Laws Pat Langley, Gary L. Bradshaw, Herbert A. Simon

Beverly Park Woolf, Eric Rubin, Paul Barth: Meno-II: An Intelligent Tutoring System for Novice Programmers Elliot Soloway

BORIS - An In-Dept Understander of Narratives Michael G. Dyer, Thomas C. Wolf, Martin Korsin

Branch & Bound Formulation for Sequential and Parallel Game Tree Searching: Preliminary Results Laveen N. Kanal, Vipin Kumar

Brand X: LISP Suport for Semantic Networks Peter Szolovits, William A. Martin

Building the Inference Component of an Historical Information Retrieval System Gian Piero Zarri

Cancellation in a Parallel Semantic Network Scott E. Fahlman, David S. Touretzky, Walter van Roggen

Cancelled Due to Lack of Interest Michael Lebowitz

Causal Understanding of Patient Illness in Medical Diagnosis Ramesh S. Patil, Peter Szolovits, William B. Schwartz

Character Tracking and the Understanding of Narratives Brian J. Reiser

Compound: A Program That Understands Noun Compounds David B. McDonald

Computational Methods for a Mathematical Theory of Evidence Jeffrey A. Barnett

Computer Vision and Human Perception: An Essay on the Discovery of Constraints Steven W. Zucker

Computing a mAP from Michi-Annai-Bun or Written Descriptions Teiji Furugori

Computing Optic Flow Frank Claser

Concept Learning by Experiment Claude Sammut

Concept Learning by Structured Examples - An Algebraic Approach Fritz Wysotzki, Werner Kolbe, Joachim Selbig

Concurrent LISP on a Multi-Micro-Processor System Shigeo Sugimoto, Koichi Tabata, Kiyoshi Agusa, Yutaka Ohno

Consistency and Completeness of OMEGA, a Logic for Knowledge Representation Giuseppe Attardi, Maria Simi

Constrained Example Generation: A Testbed for Studying Issues in Learning Edwina L. Rissland, Elliot Soloway

Control of Inference: Role of Some Aspects of Discourse Structure-Centering Aravind K. Joshi, Scott Weinstein

DART: An Expert System for Computer Fault Diagnosis James S. Bennett, Clifford R. Hollander

Decision Trees for Optimizing Pattern - Matching Algorithms in Production Systems Malik Ghallab

Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems Pierre Lescanne

Deductive Modeling of Human Cognition Göran Hagert, Sten-Åke Tärnlund

Demonstrating PROLOG on APPLE II Alain Colmerauer, Henry Kanoui, Michel Van Caneghem

Depth from Edge and Intensity Based Stereo H. Harlyn Baker, Thomas O. Binford

Design Characteristics of a Machine Translation System Margaret King

Design Concept of Direct-Drive Manipulators Using Rare-Earth DC Torque Motors Haruhiko Asada, Takeo Kanade

Design of a Highly Parallel Visual Recognition System Daniel Sabbah

Determining Velocity mAP by 3-D Iterative Estimation Masahiko Yachida

Developing Microprocessor Based Expert Models for Instrument Interpretation Sholom M. Weiss, Casimir A. Kulikowski, Robert S. Galen

Directing and Re-Directing Inference Pursuit: Extra-Textual Influences on Text Interpretation Richard H. Granger

Distinctions and Confusions: A Catalogue Raisonne David J. Israel, Ronald J. Brachman

Domain Specific Debugging Aids for Novice Programmers Joachim H. Laubsch, Marc Eisenstadt

Don't Be Stupid Dennis F. Kibler, Paul Morris

Dynamically Quantized Pyramids Kenneth R. Sloan Jr.

Dynamically Quantized Spaces for Focusing the Hough Transform Joseph O'Rourke

Experiments in Knowledge-Driven Interpretation of Natural Scenes Terry E. Weymouth

Explaining and Justifying Expert Consulting Programs William R. Swartout

Extended Plausible Inference Leonard Friedman

Extending a Knowledge-Based System to Deal with Ad Hoc Constraints John P. McDermott, Barbara Steele

Factory Modelling, Simulation, and Scheduling in the Intelligent Management System Mark S. Fox

Failure-Driven Reminding for Incremental Learning Christopher Riesbeck

Figuring Out What the User Wants: Steps Toward an Automatic Yellow Pages Assistant Anatole Gershman

GARI: A Problem Solver That Plans How to Machine Mechanical Parts Yannick Descotte, Jean-Claude Latombe

Generalizations Based on Explanations Gerald DeJong

GLP: A General Linguistic Processor G. Goerx

Heuristic Search Theory: Survey of Recent Results Judea Pearl

Hierarchical Description of Textures Fumiaki Tomita

High Level Memory Structures and Text Coherence in Translation C. J. Yang

Homogenization: Preparing Equations for Change of Unknown Alan Bundy, Bernard Silver

How Expert Should an Expert System Be? Roger T. Hartley

How to Search Efficiently Cynthia A. Brown, Paul Walton Purdom Jr.

HPM: A Computational Formalism for Heuristic Procedure Modification Robert Neches

Inductive Learning of Pronunciation Rules by Hypothesis Testing and Correction S. Oakey, R. C. Cawthorn

Inexact Inference for Rule-Based Damage Assessment of Existing Structures Mitsuru Ishizuka, King-sun Fu, James T. P. Yao

Inferential Region Extraction in TV-Sequences Bernd Radig

Integration, Unification, Reconstruction, Modification: An Eternal Parsing Braid Michael C. Dyer

Intensity Discontinuity Location to SubPixel Precision P. J. MacVicar-Whelan, Thomas O. Binford

Inversion of Applicative Programs Richard E. Korf

IPP Program Description Michael Lebowitz

KEYSIGHT: Computer Vision Inspection of Valve Spring Assemblies on Engine Heads Walton A. Perkins

Knowledge Acquisition in the Consul System David Wilczynski

Knowledge Representation of Design in Many-Sorted Logic Zsuzsanna Markusz

Knowledge Sources in Vision Steven Rubin

Knowledge Structure Definition for an Expert System in Primary Medical Care Werner Horn, Walter Buchstaller, Robert Trappl

Knowledge-Based Identification of Artery Branches in Cine-Angiograms Saburo Tsuji, Hidetoshi Nakano

Language Comprehension in a Problem Solver Douglas Wong

Large Human-Machine Information Spaces Chuck Rieger, Richard J. Wood, Elizabeth Allen

Last Steps Towards an Ultimate PROLOG Alain Colmerauer, Henry Kanoui, Michel Van Caneghem

Layered Networks as a Tool for Software Development Ira P. Goldstein, Daniel G. Bobrow

Learning (Complex) Structural Descriptions from Examples Regine Loisel, Yves Kodratoff

Learning and Abstraction in Simulation Sarah E. Goldin, Philip Klahr

Learning of Sensory-Motor Schemas in a Mobile Robot Alan H. Bond, David H. Mott

Learning Problem-Solving Heuristics Through Practice Tom M. Mitchell, Paul E. Utgoff, Bernard Nudel, Ranan B. Banerji

Learning Racquetball by Constrained Example Generation Leonard P. Wesley

LOGO as an Information Prosthetic for Communication and Control Sylvia Weir

MARK I Robot John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle

MDX and Related Medical Decision-Making Systems B. Chandrasekaran, Sanjay Mittal, Jack W. Smith

Metaphor Interpretation as Selective Inferencing Jerry R. Hobbs

Model-Based Three Dimensional Interpretations of Two Dimensional Images Rodney A. Brooks

Modeling Informal Debates Rachel Reichman

Multi-Processor Rotation and Comparison of Objects Brian V. Funt

Multi-Strategy Construction-Specific Parsing for Flexible Data Base Query and Update Philip J. Hayes, Jaime G. Carbonell

MUMBLE: A Flexible System for Language Production David B. McDonald

Natural Language Dialogue About Moving Objects in an Automatically Analyzed Traffic Scene Heinz Marburger, Bernd Neumann, Hans-Joachim Novak

Natural Language Interaction with Dynamic Knowledge Bases: Monitoring as Response Eric Mays, Sitaram Lanka, Aravind K. Joshi, Bonnie L. Webber

NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to Teaching William J. Clancey, Reed Letsinger

NON-VON: A Parallel Machine Architecture for Knowledge-Based Information Processing David Elliot Shaw

Object Recognition Using Three-Dimensional Information Masaki Oshima, Yoshiaki Shirai

Obtaining Surface Orientation from Texels Under Perspective Projection Tu-ichi Ohta, Kiyoshi Maenobu, Toshiyuki Sakai

Obvious Logical Inferences Martin Davis

On 3D Reconstruction from Two Perspective Views Hans-Hellmut Nagel, Bernd Neumann

On Interacting Defaults Raymond Reiter, Giovanni Criscuolo

On Shapes Dana H. Ballard, Daniel Sabbah

On the Definition of Specialization Hierarchies for Procedures Alexander Borgida

ONCOCIN: An Expert System for Oncology Protocol Management Edward H. Shortliffe, A. Carlisle Scott, Miriam B. Bischoff, A. Bruce Campbell, William van Melle, Charlotte D. Jacobs

Opportunistic Processing in Arguments Rod McGuire, Lawrence Birnbaum, Margot Flowers

Optic Flow Field Structure and Processing Image Motion Daryl T. Lawton

Organization and Retrieval in a Conceptual Memory for Events or CON 54, Where Are You? Janet L. Kolodner

Overview of a Display-Oriented Editor for INTERLISP David R. Barstow

PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces F.-Y. Villemin

Parameter Networks: Towards a Theory of Low-Level Vision Dana H. Ballard

PARTS INFERENCE: Closed and Semi-Closed Partitioning Graphs Mary Angela Papalaskaris, Lenhart K. Schubert

PEARL - A Package for Efficient Access to Representations in LISP Michael Deering, Joseph Faletti, Robert Wilensky

Perceptual Problems in Analyzing Industrial Radiographs Oscar Firschein, Martin A. Fischler

Physics Problem Solving: ISAAC-II Gordon S. Novak

Plan Synthesis: A Logical Perspective Stanley J. Rosenschein

Polyhedra of Minimal Area as 3D Object Models Joseph O'Rourke

Qualitative Reasoning About Physical Processes Kenneth D. Forbus

Real-Time Natural Scene Analysis for a Blind Prosthesis Michael F. Peering, Carter Collins

Reasoning About Deduction with Unknown Constants Andrew Eaas

Reasoning About Images: Application to Aerial Image Understanding Peter G. Selfridge, Kenneth R. Sloan Jr.

Reasoning with Incomplete Knowledge in a Resource-Limited Environment: Integrating Reasoning and Knowledge Acquisition Mark S. Fox

Recognition of 3-D Objects Using the Extended Gaussian Image Katsushi Ikeuchi

Recognizing Intended Meaning and Speakers' Plans Candace L. Sidner, David J. Israel

Representation and Inference in the Consul System William Mark

Representations for Reasoning About Digital Circuits Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly

Representing Implicit and Explicit Time Relations in Narrative Lynette Hirschman, Guy Story

Rover Visual Obstacle Avoidance Hans P. Moravec

Search Methods Using Heuristic Strategies Michael P. Georgeff

Shape from Shading for Surfaces with Texture and Specularity E. North Coleman Jr., Ramesh C. Jain

Shape Representation in Parallel Systems Geoffrey E. Hinton

Six Topics in Search of a Parser: An Overview of AI Language Research Eugene Charniak

Some Remarks on Heuristic Search Algorithms László Méro

Spatial Problems for a Simulated Robot Richard S. Rosenberg, Peter F. Rowat

STAMMER2: A Rule-Based Application Robert J. Bechtel

Story Generation After TALE-SPIN Natlie Dehn

Strolling Down the Garden Path: Error Prone Tasks in Expert Problem Solving Paul E. Johnson, William B. Thompson

Structure from Motion of Rigid and Jointed Objects Jon A. Webb, Jake K. Aggarwal

Structuring Domain Knowledge for Visual Perception Alan K. Mackworth, William S. Havens

Subsumption and Connection Graphs Norbert Eisinger

Summarizing Narratives Wendy G. Lehnert, John B. Black, Brian J. Reiser

Symbolic Evaluation of LISP Functions with Side Effects for Verification Dennis de Champeaux, Jos de Bruin

Tactile Sensation for Robots Kenneth J. Overton, Thomas Williams

Temporal Event Recognition: An Application to Left Ventricular Performance John K. Tsotsos

Text Plans and World Plans in Natural Discourse Jerry R. Hobbs, Michael Agar

The Conceptual Calculus for Automatic Program Understanding Daniel Goossens

The Design and an Example Use of Hearsay-III Lee D. Erman, Philip London, Stephen Fickas

The Design of a System for Designing Knowledge Representation Systems James L. Weiner, Martha Palmer

The DIPMETER ADVISOR: Interpretation of Geologic Signals Randall Davis, Howard Austin, Ingrid Carlbom, Bud Frawley, Paul Pruchnik, Rich Sneiderman, J. A. Gilreath

The Efficacy of RUE Resolution Experimental Results and Heuristic Theory Vincent J. Digricoli

The Framework for a Model of Psychoanalytic Inference Virginia Teller, Hartvig Dahl

The Interaction with Incomplete Knowledge Bases: A Formal Treatment Hector J. Levesque

The Interpretation of Three-Dimensional Structure from Image Curves David G. Lowe, Thomas O. Binford

The Markgraf Karl Refutation Procedure Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther

The Model Inference System Ehud Y. Shapiro

The Nature of Generalization in Understanding Michael Lebowitz

The Need for Referent Identification as a Planned Action Philip R. Cohen

The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations L. Thorne McCarty, N. S. Sridharan

The Role of Roles: Some Aspects of Real World Knowledge Representation Harald Trost, Ingeborg Steinacker

The Superiority of Relative Criteria in Partial Matching and Generalization Paul J. Kline

The Use of Parallelism to Implement a Heuristic Search William A. Kornfeld

Time-Oriented Features for Medical Consultation Systems Teruo Koyama, Shigekoto Kaihara, Tadatoshi Minamikawa, Toshiaki Kurokawa

Tinker: Example-Based Programming for Artificial Intelligence Henry Lieberman

Toward a Detailed Model of Processing for Language Describing the Physical World David L. Waltz

Towards Automating Explanations Richard E. Cullingford, Myron W. Krueger, Mallory Selfridge, Marie A. Bienkowski

Triangulation of 3-D Objects Jean-Daniel Boissonnat, Olivier D. Faugeras

Tuning of Search of the Problem Space for Geometry Proofs John R. Anderson

UNIFORM: A Language Based upon Unification Which Unifies (Much of) LISP, PROLOG, and ACT I Kenneth M. Kahn

Universal Unification and Regular Equational ACFM Theories Jörg H. Siekmann, Peter Szabó

Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures Koichi Furukawa

Using Active Connection Graphs for Reasoning with Recursive Rules Donald P. McKay, Stuart C. Shapiro

Using Language and Context in the Analysis of Text Yigal Arens

Using Matching in Algebraic Equation Solving Alan Borning, Alan Bundy

Variable-Depth Natural Language Understanding Daniel Kayser, Daniel Coulon

Viewing Word Expert Parsing as Linguistic Theory Steven L. Small

Volumetric Model and 3D-Trajectory of a Moving Car Derived from Monocular TV-Frame Sequence of a Street Scene Leonie Dreschler, Hans-Hellmut Nagel

Why Robots Will Have Emotions Aaron Sloman, Monica Croucher

ZMOB: A New Conputing Engine for AI Chuck Rieger, Randall H. Trigg, Bob Bane