ML Anthology

IJCAI 1977

235 papers

A 'Recognition Cone' Perceptual System: Brief Test Results Leonard Uhr, Robert J. Douglass
PDF
A Comparsion of Three Problem-Solving Methods Ranan B. Banerji, George W. Ernst
PDF
A Comprehension Model for Human Dialogue William C. Mann, James A. Moore, James A. Levin
PDF
A Computer System for Visual Recognition Using Active Knowledge Eugene C. Freuder
PDF
A Conceptual Theory of Question Answering Wendy G. Lehnert
PDF
A Cooperative Algorithm for Determining Surface Orientation from a Single View Robert J. Woodham
PDF
A Deductive Question Answering System on Relational Data Bases Koichi Furukawa
PDF
A Digitalis Therapy Advisor with Explanations William R. Swartout
PDF
A Display Oriented Programmer's Assistant Warren Teitelman
PDF
A General Backtrack Algorithm That Eliminates Most Redundant Tests John Gaschnig
PDF
A Hierarchical Approach to Theorem-Proving Malcolm C. Harrison
PDF
A Knowledge-Based System for Automatic Program Construction David R. Barstow
PDF
A Lemma Driven Automatic Theorem Prover for Recursive Function Theory Robert S. Boyer, J Strother Moore
PDF
A Mechanized Proof Procedure for Free Intensional Logics Raymond D. Gumb
PDF
A Methodology for Real Time Scene Analysis David C. Hogg
PDF
A Model for Learning Systems Reid G. Smith, Tom M. Mitchell, R. A. Chestek, Bruce G. Buchanan
PDF
A Model for Motor Control and Learning Marc H. Raibert
PDF
A Model-Based Consultation System for the Long-Term Management of Glaucoma Sholom M. Weiss, Casimir A. Kulikowski, Aran Safir
PDF
A Network-Based Knowledge Representation and Its Natural Deduction System Richard Fikes, Gary G. Hendrix
PDF
A Note on Representing Adjectives and Adverbs Nick Cercone
PDF
A Practical Manipulator System B. Dobrotin, R. A. Lewis
PDF
A Procedural Model of Recognition William S. Havens
PDF
A Proof-Checker for Dynamic Logic Steven D. Litvintchouk, Vaughan R. Pratt
PDF
A Random Access Picture Digitizer, Display, and Memory System R. Eskenazi, R. Cunningham
PDF
A Retrospective View of the Hearsay-II Architecture Victor R. Lesser, Lee D. Erman
PDF
A Scanning Laser Rangefinder for a Robotic Vechicle R. A. Lewis, A. R. Johnston
PDF
A Simple Model for Handwriting John M. Hollerbach
PDF
A Simplified Heuristic Version of Raviv's Algorithm for Using Context in Text Recognition R. Schinghal, D. Rosenberg, Godfried T. Toussaint
PDF
A State Logic for the Representation of Natural Language Based Intelligent Systems Camilla Schwind
PDF
A Stereo Vision System for an Autonomous Vehicle Donald B. Gennery
PDF
A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor Hitoshi Ogawa, Kokichi Tanaka
PDF
A Summary of the PSI Program Synthesis System C. Green
PDF
A System for Stereo Computer Vision with Geometric Models D. J. Burr, Robert T. Chien
PDF
A System of Programs for Computer-Aided Induction: A Summary Ryszard S. Michalski
PDF
A System Which Allows Students to Explore Algorithms Derek H. Sleeman
PDF
A Theorem Prover for Elementary Set Theory Frank M. Brown
PDF
A Theory for the Complete Mechanization of a GPS-Type Problem Solver Ranan B. Banerji, George W. Ernst
PDF
A Two-Dimensional Trim-Loss Problem with Sequencing Constraints Anthony I. Hinxman
PDF
A Variable Capacitance Touch Sensor C. C. Geschke
PDF
Advantages of a Transformational Grammar for Question Answering Fred Damerau
PDF
AI and Pattern Recognition Azriel Rosenfeld, Jerome A. Feldman, Laveen N. Kanal, Patrick H. Winston
PDF
An Algorithm for Reasoning About Equality Robert E. Shostak
PDF
An Antibiotic Therapy Selector Which Provides for Explanations William J. Clancey
PDF
An Approach to Knowledge-Directed Image Analysis Dana H. Ballard, Christopher M. Brown, Jay M. Feldman
PDF
An Automated Consultant for MACSYMA Michael R. Genesereth
PDF
An Automatic Position Recognition Technique for LSI Assembly Michihiro Mese, Takafumi Miyatake, Seiji Kashioka, Masakazu Ejiri, Isamu Yamazaki, Toshimitsu Hamada
PDF
An Intelligent Information System for Criminal Case Management in the Federal Courts Jack R. Buchanan, Richard D. Fennell
An Interactive Program for Conversational Elecitation of Decision Structures Antonio Leal, Judea Pearl
PDF
An Overview of a Procedural Approach to Semantic Networks Hector J. Levesque, John Mylopoulos
PDF
Analogical Reasoning in Problem Solving D. T. Chen, N. Finder
PDF
Analysing Sequences of TV-Frames Hans-Hellmut Nagel
PDF
Analysis of an Extended Concept-Learning Task Richard M. Young, Gordon D. Plotkin, R. F. Linz
PDF
Anaphora and Logical Form: On Formal Meaning Representations for Natural Language Bonnie Nash-Webber, Raymond Reiter
PDF
Annotated Production Systems: A Model for Skill Acquisition Ira P. Goldstein, Eric Grimson
PDF
Application of Fuzzy Heuristic Techniques to Computer Network Design S. I. Samolylenko
PDF
Applications of Artificial Intelligence Saul Amarel, John Seely Brown, Bruce G. Buchanan, Peter E. Hart, Casimir A. Kulikowski, William A. Martin, Harry E. Pople
PDF
Approximate Responses from a Data Base Query System: An Application of Inferencing in Natural Language Aravind K. Joshi, S. Jerrold Kaplan, R. M. Lee
PDF
Artificial Intelligence in Western Europe Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco
PDF
Artificial Intelligence Systems That Understand Herbert A. Simon
PDF
Augmenting ATNS Timothy W. Finin, George D. Hadden
PDF
Automated Theory Formation in Mathematics Douglas B. Lenat
PDF
Automatic Abstracting of Textual Material Stephen L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen
PDF
Automatic Program Annotation Nachum Dershowitz
PDF
Automatic Rib Detection in Chest Radiographs C. M. Brace, J. H. Kulick, T. W. Challis
PDF
Autonomous Guidance and Control of a Roving Robot J. A. Miller
PDF
BACON: A Production System That Discovers Empirical Laws Pat Langley
PDF
Between Regions and Objects - Surfaces and Volumes Kurt Konolige, Bryant W. York, Allen R. Hanson, Edward M. Riseman
PDF
Can Domain Specific Knowledge Be Generalized? Alan Bundy
PDF
Change Detection and Analysis in Multispectral Images Keith Price, Raj Reddy
PDF
Coherence and Interpretation in English Texts Jerry R. Hobbs
PDF
Collision Detection and Avoidance in Computer Controlled Manipulators S. M. Udupa
PDF
COMEX: A Commodities Support System J. Stansfield
PDF
Computation of Immediate Texture Discrimination Bruce R. Schatz
PDF
Computer Game Playing Hans J. Berliner, Richard Greenblatt, Jacques Pitrat, Arthur Samuel, David J. Slate
PDF
Computer Interpretation of PEANUTS Cartoons M. R. Adler
PDF
Computer Understanding of Mathematical Proofs Vesko Marinov
PDF
Computers and Thought Lecture: The Ubiquity of Discovery Douglas B. Lenat
PDF
Concept Decomposition as a Method of Concept Formation Edwin Towster
PDF
Conceptual Analysis of Noun Groups in English Anatole Gershman
PDF
Controlling Inference in Story Understanding Richard E. Cullingford
PDF
Deductive Methods for Large Data Bases Charles Kellogg, Philip Klahr, Larry Travis
PDF
Delayed Interpretation Using Processing Notes Christopher Riesbeck
PDF
Detection of Elliptic and Linear Edges by Searching Two Parameter Spaces Saburo Tsuji, Fumio Matsumoto
PDF
EG - A Case Study in Problem Solving with King and Pawn Endings C. Perdue, Hans J. Berliner
PDF
Electrical Design: A Problem for Artificial Intelligence Research Gerald J. Sussman
PDF
Epistemological Problems of Artificial Intelligence John McCarthy
PDF
Exactly How Good Are Heuristics?: Toward a Realistic Predictive Theory of Best-First Search John Gaschnig
PDF
EXAMINER: A System Using Contextual Knowledge for Analysis of Diagnostic Behavior C. E. Oleson
PDF
Experience with KRL-0: One Cycle of a Knowledge Representation Language Daniel G. Bobrow, Terry Winograd
PDF
Experiences in Evaluation with BKG - A Program That Plays Backgammon Hans J. Berliner
PDF
Experiments in mAP-Guided Photo Interpretation Harry G. Barrow, Robert C. Bolles, Thomas D. Garvey, J. H. Kremers, Jay M. Tenenbaum, Helen C. Wolf
PDF
Failure Handling in a Dialogue System Gretchen P. Brown
PDF
Federal Programs in Artificial Intelligence William B. Gevarter, James S. Albus, N. Caplan, B. Chern, Kent K. Curtis, Marvin Denicoff, James R. Slagle
PDF
Focus of Attention in the Hearsay-II Speech Understanding System Frederick Hayes-Roth, Victor R. Lesser
PDF
Force Control in Coordination of Two Arms Tatsuzo Ishida
PDF
Formal Grammars as Models of Logic Derivations Sharon Sickel
PDF
FOUL-UP: A Program That Figures Out Meanings of Words from Context Richard H. Granger
PDF
Frames-Based Text Processing Steven Rosenberg
PDF
From Conversations to Stories: An Analysis of Differences Between Oral and Written Language Comprehension Aviel D. Rubin, Bertram C. Bruce
PDF
Generality and Computational Cost Azriel Rosenfeld
PDF
Generating Noun Phrases to Identify Nodes in a Semantic Network George E. Heidorn
PDF
Generating Project Networks Austin Tate
PDF
Generation of Descriptions for Line Drawings A. H. Dixon
PDF
Ghosts in the Machine: An AI Treatment of Medieval History Margaret King, Monique Ornato, Gian Piero Zarri, Lucia Zarri-Baldi, A. Zwiebel
PDF
GOALEM from Prague Bohuslav Kirchmann, Pavel Kopecky, Zdenek Zdráhal
PDF
Heuristico-Conceptual Programming Vladimir V. Chavchanidze
PDF
History of Artificial Intelligence Pamela McCorduck, Marvin Minsky, Oliver G. Selfridge, Herbert A. Simon
PDF
How to Learn/What to Learn Roger C. Schank, Mallory Selfridge
PDF
Human Engineering for Applied Natural Language Processing Gary G. Hendrix
PDF
Human Vision Paradox Implicates Relaxation Model Fanya S. Montalvo
PDF
Image Compression and Reconstruction Using Feature Extraction Robert T. Chien, L. J. Peterson
PDF
Image Segmentation Technique for Locating Automotive Parts on Belt Conveyors Michael L. Baird
PDF
Improving the Efficiency of Higher Order Unification Jared L. Darlington
PDF
In Defense of Logic Patrick J. Hayes
PDF
Induction of Relational Productions in the Presence of Background Information Steven A. Vere
PDF
Inductive Reasoning in Mathematics Frank M. Brown, Sten-Åke Tärnlund
PDF
Inferences in Quantified Semantic Networks Robert F. Simmons, Daniel L. Chester
PDF
Informality in Program Specifications Robert Balzer, Neil M. Goldman, David S. Wile
PDF
Interactive Transfer of Expertise: Acquisition of New Inference Rules Randall Davis
PDF
IRIS: A System for the Propogation of Inferences in a Semantic Net M. Trigoboff, Casimir A. Kulikowski
Knowledge Acquisition from Structural Descriptions Frederick Hayes-Roth, John P. McDermott
PDF
Knowledge Base Management for Experiment Planning in Molecular Genetics Nancy Martin, Peter Friedland, Jonathan King, Mark Stefik
PDF
Knowledge Guided Learning of Structural Descriptions Mark S. Fox, Raj Reddy
PDF
Knowledge Representation Daniel G. Bobrow, Gary G. Hendrix, William A. Martin, John McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan
PDF
Knowledge Structures and Language Boundaries Yorick Wilks
PDF
Knowledge-Base Driven Analysis of Cinecardioangiograms John K. Tsotsos
PDF
LAMA: A Language for Automatic Mechanical Assembly Tomás Lozano-Pérez, Patrick H. Winston
PDF
Language Access to Distributed Data with Error Recovery Earl D. Sacerdoti
PDF
Language Generation: The Linguistics Component David D. McDonald
PDF
Learning Simple Arithmetic Pavel Brazdil
PDF
Less than General Production System Architectures Douglas B. Lenat, John P. McDermott
PDF
Levels of Complexity in Discourse for Anaphora Disambiguation and Speech Act Interpretation C. Bullwinkle
PDF
Levels of Pattern Description in Learning Elliot Soloway, Edward M. Riseman
PDF
Making Inferences in Natural Language Dialogs Charles L. Hedrick
PDF
Maximal Consistent Interpretations of Errorful Data in Hierarchically Modeled Domains Mark S. Fox, Jack Mostow
PDF
Meta-Evaluation as a Tool for Program Understanding Robert Balzer, Neil M. Goldman, David S. Wile
PDF
Meta-Level Knowledge: Overview and Applications Randall Davis, Bruce G. Buchanan
PDF
Model Representations and Control Structures in Image Understanding Takeo Kanade
PDF
Model-Based Vision System for Scenes Containing Multiple Parts W. A. Perkins
PDF
Model-Building in the Visions System Thomas Williams, John D. Lowrance, Allen R. Hanson, Edward M. Riseman
PDF
Modeling Spatial Knowledge Benjamin Kuipers
PDF
Modelling Distributed Systems Akinori Yonezawa, Carl Hewitt
PDF
Modelling Simple Dialogs M. K. Horrigan
PDF
Ms. Maloprop, a Language Comprehension Program Eugene Charniak
PDF
Multiple Representations of Knowledge in a Mechanics Problem-Solver Johan de Kleer
PDF
Natural Language Processing Roger C. Schank, Eugene Charniak, Yorick Wilks, Terry Winograd, William A. Woods
PDF
NLG - Natural Language Graphics David C. Brown, Stanley C. Kwasny, H. William Buttelmann, B. Chandrasekaran, Norman K. Sondheimer
PDF
NUDGE, a Knowledge-Based Scheduling Program Ira P. Goldstein, R. B. Roberts
PDF
On Reading Sketch Maps Alan K. Mackworth
PDF
On Semantic Nets, Frames and Associations Philip J. Hayes
PDF
OPS, a Domain-Independent Production System Language Charles Forgy, John P. McDermott
PDF
Overview of 'Planning Speech Acts' C. Raymond Perrault, P. R. Kohen
PDF
PAM - A Program That Infers Intentions Robert Wilensky
PDF
Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching Harry G. Barrow, Jay M. Tenenbaum, Robert C. Bolles, Helen C. Wolf
PDF
Plain Talk About Neurodevelopmental Epistemology Marvin Minsky
PDF
Plan Recognition Using a Hypothesize and Revise Paradigm Charles F. Schmidt, N. S. Sridharan
PDF
Planning in the World of the Air Traffic Controller Robert B. Wesson
PDF
Predicate Logic: A Calculus for the Formal Derivation of Programs Keith L. Clark, Sharon Sickel
PDF
Presupposition-Based AI Natural Language System Victor Raskin
PDF
Problems in Building an Instructable Production System Michael D. Rychener, Charles Forgy, Pat Langley, John P. McDermott, Allen Newell, K. Ramakrishna
PDF
Procedures for Integrating Knowledge in a Speech Understanding System Donald E. Walker, William H. Paxton, Barbara J. Grosz, Gary G. Hendrix, Ann E. Robinson, Jane J. Robinson, Jonathan Slocum
PDF
Program Inference from Traces Using Multiple Knowledge Sources J. V. Phillips
PDF
PRUF - A Language for the Representation of Meaning in Natural Languages Lotfi A. Zadeh
PDF
Putting Theories Together to Make Specifications Rod M. Burstall, Joseph A. Goguen
PDF
Range Data Understanding Guided by a Junction Dictionary Kokichi Sugihara, Yoshiaki Shirai
PDF
Rapid Computation of Fourier Texture Descriptors Steven L. Tanimoto
PDF
Reasoning About Knowledge and Action Robert C. Moore
PDF
Recent Work with the AL System R. Goldman
PDF
Recognition and Depth Perception of Objects in Real World Scenes Robert J. Douglass
PDF
Recognition Using Semantic Constraints Michael O. Shneier
PDF
Reconstruction of Curved-Surface Bodies from a Set of Imperfect Projections Ruth Shapira, Herbert Freeman
PDF
Representation of Actions That Have Side-Effects N. S. Sridharan, Frank M. Hawrusik
PDF
Representations of Knowledge in a Program for Solving Physics Problems Gordon S. Novak
PDF
Representing Numbers in Semantic Networks: Prolegomena Stuart C. Shapiro
PDF
Representing Semantic Information in Pulley Problems George F. Luger, Alan Bundy
PDF
Robot Learning and Error Correction Leonard Friedman
PDF
ROBOT: A High Performance Natural Language Data Base Query System Larry R. Harris
PDF
Segmentation Processes in the VISIONS System J. Prager, Paul A. Nagin, Ralf R. Kohler, Allen R. Hanson, Edward M. Riseman
PDF
Separating Non-Stationary from Stationary Scene Components in a Sequence of Real World TV Images Ramesh C. Jain, D. Militzer, Hans-Hellmut Nagel
PDF
Set Variables W. W. Bledsoe
PDF
Shortfall and Density Scoring Strategies for Speech Understanding Control William A. Woods
PDF
SISP/1: An Interactive System Able to Synthesize Functions from Examples Jean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil
PDF
Skimming Newspaper Stories by Computer Gerald DeJong
PDF
Some Notes on Motion Understanding John K. Tsotsos
PDF
SPARK: A System for Parallel Representation of Knowledge Gerald A. Wilson
PDF
Specification Overlays: An Application of Partitioned Semantic Networks R. L. Young
PDF
Speech Understanding and AI/AI and Speech Understanding Donald E. Walker, Lee D. Erman, Allen Newell, Nils J. Nilsson, William H. Paxton, Terry Winograd, William A. Woods
PDF
Steps Towards the Representation of Complex Three-Dimensional Objects Ruzena Bajcsy, Barry I. Soroka
PDF
Strategies for Mechanizing Structural Induction Raymond Aubin
PDF
Structured Planning and Debugging Mark L. Miller, Ira P. Goldstein
PDF
Structuring Mathematical Knowledge Edwina Rissland Michener
PDF
Subgoal Protection and Unraveling During Plan Synthesis Chuck Rieger, Philip London
PDF
TALE-SPIN, an Interactive Program That Writes Stories James R. Meehan
PDF
TELOS, a Language for Building Well-Structured AI Models Larry Travis, Masahiro Honda, Richard LeBlanc, Stephen F. Zeigler
PDF
The Analysis and Synthesis of Jazz by Computer John Wade Ulrich
PDF
The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering Edward A. Feigenbaum
PDF
The Automatic Synthesis of Systems of Recursive Programs Zohar Manna, Richard J. Waldinger
PDF
The Contract Net: A Formalism for the Control of Distributed Problem Solving Reid G. Smith
PDF
The Coordination of Multiple Goal Satisfaction Arthur M. Farley
PDF
The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms Chuck Rieger, Maurice Grinberg
PDF
The FLOW Tutor: A Schema-Based Tutorial System Donald R. Gentner
PDF
The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning Harry E. Pople
PDF
The Generation of Continuous Semantic Constraints from Semantic Propositions Gregg C. Oden
PDF
The LOCUS Model of Search and Its Use in Image Interpretation Steven M. Rubin, Raj Reddy
PDF
The Navigation System of the JPL Robot Alan M. Thompson
PDF
The Reformulation Approach to Building Expert Systems William S. Mark
PDF
The Representation and Use of Focus in a System for Understanding Dialogs Barbara J. Grosz
PDF
The Role of Preprocessing in Problem Solving Systems Clive Dawson, Laurent Siklóssy
PDF
The Use of a Domain Model in Understanding Informal Process Descriptions Neil M. Goldman, Robert Balzer, David S. Wile
PDF
The Use of a Semantic Network in a Deductive Question-Answering System James R. McSkimin, Jack Minker
PDF
The Use of Dynamically Extracted Context for Anaphoric Reference Resolution David Klappholz, Abe Lockman
PDF
The Use of Models in a Rule-Based Consultation System Jan Aikins
PDF
Theorem Proving by Covering Expressions Lawrence J. Henschen, W. M. Evangelist
PDF
Theorem Proving in Type Theory Peter B. Andrews, Eve Longini Cohen
PDF
Theorem Proving with Structure Sharing and Efficient Unification Alberto Martelli, Ugo Montanari
PDF
ThingLab - An Object-Oriented System for Building Simulations Using Constraints Alan Borning
PDF
Three-Dimensional Modeling H. Baker
PDF
Toward Automatic Debugging of Compilers Hanan Samet
PDF
Toward Consistent Descriptions in Vision Systems Steven W. Zucker
PDF
Towards a Combined Representation for Spacial and Temporal Reference Norman K. Sondheimer
PDF
Towards a Science of Image Understanding Berthold K. P. Horn
PDF
Towards Automatic Visual Obstacle Avoidance Hans P. Moravec
PDF
Truth Maintenance Systems for Problem Solving Jon Doyle
PDF
Two Semantic Worlds: A Data Base System with Provision for Natural Language Input Piero Dell'Orco, Margaret King, V. N. Spadavecchia
PDF
Understanding a Simple Cartoon Film by a Computer Vision System Saburo Tsuji, Akira Morizono, Shinichi Kuroda
PDF
Understanding and Improving LISP Programs Harald Wertz
PDF
Unification of Idempotent Functions Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann
PDF
Using and Re-Using Partial Plans P. R. Davis, Robert T. Chien
PDF
Using Process Knowledge in Understanding Task-Oriented Dialogs Barbara J. Grosz, Gary G. Hendrix, Ann E. Robinson
PDF
Verification Vision for Programmable Assembly Robert C. Bolles
PDF
Version Spaces: A Candidate Elimination Approach to Rule Learning Tom M. Mitchell
PDF
Vocabularies for Problem Solver State Descriptions Drew V. McDermott
PDF
WHISPER: A Problem-Solving System Utilizing Diagrams and a Parallel Processing Retina Brian V. Funt
PDF
Workpiece Orientation Correction with a Robot Arm Using Visual Information John R. Birk, Robert B. Kelley, Vivek V. Badami
PDF
Writing a Natural Language Data Base System David L. Waltz, Bradley A. Goodman
PDF