ML Anthology

IJCAI 1979

226 papers

A Basic Model for Learning Systems Kiyoshi Akama, Atsunobu Ichikawa
A Case Study of EXPERT Formalism - An Approach to a Design of Medical Consultation System Through EXPERT Formalism Fumio Mizoguchi, Kunihisa Maruyama, Takashi Yamada, Katsuaki Kitazawa, Masao Saito, Casimir A. Kulikowski
A Compact Relational Structure Representation Michael O. Shneier
A Computational Approach to the Study of Human Skill Acquisition Jan J. Elshout, Bob J. Wielinga
A Deductive Approach to Program Synthesis Zohar Manna, Richard Waldinger
PDF
A Domain-Independent Production-Rule System for Consultation Programs William van Melle
A Facsimile Based Text Editor Using Handwritten Mark Recognition Yasuhito Suenaga
A Framework for Control in Production Systems Michael P. Georgeff
PDF
A Framework for Distributed Problem Solving Reid G. Smith
A Glimpse of Truth Maintenance Jon Doyle
PDF
A Knowledge Directed Line Finder for Analysis of Complex Scenes Masahiko Yachida, Motozo Ikeda, Saburo Tsuji
A Knowledge-Based Application Definition System Clifford R. Hollander, Harry C. Reinstein
A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis Elaine Kant
A Knowledge-Based Interactive Robot-Vision System Tibor Vámos, Miklos Báthor, László Méro
PDF
A Knowledge-Based System for Locating Missing High Cards in Bridge J. R. Quinlan
A Learning System Able to Synthesize Arithmetical Functions Francois Schyn, Gerard Guiho
A Learning System and Its Psychological Implications John R. Anderson, Paul J. Kline
A Logic Representation of Manufacturing Control William I. Bullers, Shimon Y. Nof, Andrew B. Whinston
A Measure of Closeness of Weak Implication to Strict Implication Masanori B. Okamoto
A Method for Automatically Analyzing Programs Richard C. Waters
A Model for Perception of Structural Image Feature Hajime Enomoto, Naoki Yonezaki, Katsumi Nitta
A Model of Dialog Based on Fuzzy Set Concept Haruki Imaoka, Michio Sugeno
A Multi-Level Planning and Navigation System for a Mobile Robot: A First Approach to HILARE Georges Giralt, Ralph P. Sobek, Raja Chatila
A Natural Programming Calculus Åke Hansson, Sten-Åke Tärnlund
A Parallel Searching Scheme for Multiprocessor Systems and Its Application to Combinatorial Problems Masaharu Imai, Yuuji Yoshida, Teruo Fukumura
A Parallel Tree Search Method Sei-ichi Nakagawa, Toshiyuki Sakai
A Polarimetric Approach to Shape Understanding of Glossy Objects Kazutada Koshikawa
A Problem Similarity Approach to Devising Heuristics: First Results John Gaschnig
A Procedural Representation of Lexical Entries in Augmented Transition Network Grammar Yutaka Kobayashi, Yasuhisa Niimi
A Production System for Region Analysis Yuichi Ohta, Takeo Kanade, Toshiyuki Sakai
A Prover for General Inequalities W. W. Bledsoe, Peter Bruell, Robert E. Shostak
A Prover for Parallel Processes Masahiro Hirata, Toshio Nishimura
A Scrabble Crossword Game Playing Program Stuart C. Shapiro
PDF
A Semantic Network of Production Rules in a System for Describing Computer Structures Michael D. Rychener
A System for Fuzzy Reasoning Motohide Umano, Masaharu Mizumoto, Kokichi Tanaka
A System Which Synthesizes Array-Manipulating Programs from Specifications Michel Bidoit, Christian Gresse, Gérard D. Guiho
A Technique for Managing the Lexicon in a Natural Language Interface to a Changing Data Base S. Jerrold Kaplan, Eric Mays, Aravind K. Joshi
A Theory of the Origami World Takeo Kanade
A Two Level Modular System for Natural Language Understanding Giovanni Guida, Marco Somalvico
AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs H. Penny Nii, Nelleke Aiello
Alternative Parsers for Conceptual Dependency: Getting There Is Half the Fun Marc Eisenstadt
ALVEN: A Study on Motion Understanding by Computer John K. Tsotsos, John Mylopoulos, H. Dominic Cowey, Steven W. Zucker
An Active Frame for the Knowledge Representation Hitoshi Ogawa, Hideaki Nanba, Kokichi Tanaka
An Analysis of Generalization as a Search Problem Tom M. Mitchell
PDF
An Application of Decision Analysis to Strategy-Making in Game Playing Yahachiro Tsukamoto, Koichi Yamada, Toshiro Terano
An Application of the Photometric Stereo Method Katsushi Ikeuchi, Berthold K. P. Horn
PDF
An Approach to Medical Diagnosis Based on Conceptual Structures B. Chandrasekaran, Fernando Gomez, Sanjay Mittal, J. W. Smith Jr.
An Automatic Theorem Prover Generating a Proof in Natural Language Masakazu Nakanlshi, Morio Nagata, Kenji Ueda
An Automobile with Artificial Intelligence Sadayuki Tsugawa, Teruo Yatabe, Takeshi Hirose, Shuntetsu Matsumoto
An Empirical Method That Provides a Basis for the Organization of Relaxation Labeling Processes for Vision Fanya S. Montalvo, Naomi Welsstein
PDF
An Examination of a Frame-Structured Representation System Mark Stefik
An Inference Net Compiler for the PROSPECTOR Rule-Based Consultation System Kurt Konolige
An Infinite-Connected Words Recognition System for Male Speakers Using Time-Space Dynamic Programming Ryu-ichi Oka
An Introduction to Non-Monotonic Logic Drew V. McDermott, Jon Doyle
An Overview of an Automatically Compilable Hierarchical Definition Matcher Barbara C. Sangster
An Understanding System of Natural Language and Pictorial Pattern in the World of Weather Report Eiji Kawaguchi, Masao Yokota, Tsutomu Endo, Tuneo Tamati
Approximate Reasoning Based on Fuzzy Logic Lotfi A. Zadeh
Associative Commutative Pattern Matching Jean-Marie Hullot
Automatic Construction of Junction Dictionaries and Their Exploitation for the Analysis of Range Data Kokichi Sugihara
Automatic Determination of Image-to-Database Correspondences Robert C. Bolles, L. H. Quam, Martin A. Fischler, Helen C. Wolf
Automatic Discovery of Heuristics for Nondeterministic Programs Salvatore J. Stolfo, Malcolm C. Harrison
Automatic Program Debugging Harald Wertz
Automotive Stereo Vision Using Deconvolution Technique Tomomasa Sato
Biological Software Erik Sandewall
Boundary Detection of Textured Regions Masahiko Yachida, Motoso Ikeda, Saburo Tsuji
Browsing in Large Data Bases Douglas D. Dankel Ii
Building and Exploiting User Models Elaine Rich
Centered Logic: The Role of Entity Centered Sentence Representation in Natural Language Inferencing Aravind K. Joshi, Steve Kuhn
Characterization of a Class of Functions Synthesized from Examples by a SUMMERS like Method Using a "B.M.W." Matching Technique Jean-Pierre Jouannaud, Yves Kodratoff
Co-Ordinate Square: Solution to Many Chess Pawn Endgames Kenneth Ward Church
PDF
Cognitive Economy in Artificial Intelligence Systems Douglas B. Lenat, Frederick Hayes-Roth, Philip Klahr
Common-Sense Knowledge of Space: Learning from Experience Benjamin Kuipers
Computer Control of Multijoined Finger System Tokuji Okada
Computer Models of Human Personality Traits Jaime G. Carbonell
Conceptual Lattice: A Unified Model for Medical Inference Processes Tsuguchika Kaminuma
Conditional Answers in Question-Answering Systems Philip Klahr
Consistency of Theories of Ideas Bob Elschlager
Continuous Relaxation and Local Maxima Selection: Conditions for Equivalence Steven W. Zucker, Yvan G. Leclerc, John L. Mohammed
Controlling Knowledge Deduction in a Declarative Approach Hervé Gallaire, Claudine Lasserre
Controlling Question Asking in a Medical Expert System Ruven Brooks, Jon Heiser
Conversation as Planned Behavior Jerry R. Hobbs
PDF
Coreference in a Frame Database Steve Rosenberg, Bruce Roberts
Dependency Directed Reasoning in the Analysis of Programs Which Modify Complex Data Structures Howard E. Shrobe
Describing Natural Textures Ram Nevatia, Keith E. Price, Felicia M. Vilnrotter
Description of Textures by a Structural Analysis Fumiaki Tomita, Yoshiaki Shirai, Saburo Tsuji
Detection of the Movements of Men for Autonomous Vehicles Toshifumi Tsukiyama, Yoshiaki Shirai
Dialogue Management for Rule-Based Tutorials William J. Clancey
Dynamic Speech Discrimination Using an Articulatory Model Shun Ishizaki
ETHER - A Parallel Problem Solving System William A. Kornfeld
Experience with ROBOT in 12 Commercial, Natural Language Data Base Query Applications Larry R. Harris
Experience with the Evaluation of Natural Language Question Answerers Harry R. Tennant
Experimental Japanese Language Question Answering System MSSS78 - Using Case Patterns with Procedures Akira Shimazu, Hitoshi Iida
EXPERT: A System for Developing Consultation Models Sholom M. Weiss, Casimir A. Kulikowski
Extraction of Items from Abstracts Fujio Nishida, Giichi Kishimoto, Shinobu Takamatsu
Extraction of Moving Object Images Through Change Detection Ramesh C. Jain, Worthy N. Martin, Jake K. Aggarwal
Failure Processing in a System for Designing Complex Assemblies Jean-Claude Latombe
Formal Objects and Feature Associations in "ARGOS-II" Michel Cayrol, Bernard Fade, Henri Farreny
From History to Computer Science: A Formalization of the Inferential Processes of an Historian Gian Piero Zarri
Fuzzy Conditional Inferences and Fuzzy Inferences with Fuzzy Quantifiers Masaharu Mizumoto, Satoru Fukami, Kokichi Tanaka
Graceful Interaction in Man-Machine Communication Philip J. Hayes, Raj Reddy
Grammatical Inference on the Basis of Linear Environments of Symbol Strings Yoshiyuki Kotani
Heuristics for Knowledge Acquisition from Maps Perry W. Thorndyke
Hierarchical Concepts Structure for Natural Language Understanding System Sho Yoshida
Hierarchical Planning in a Distributed Environment Daniel D. Corkill
Hierarchical Production System Riichiro Mizoguchi, Osamu Kakusho
Hierarchical Reasoning in the Game of Go David J. H. Brown
How Not to Say "NIL": Improving Answers to Failing Queries in Data Base Systems Jürgen M. Janas
Image Processing by Experimental Arrayed Processor Hitoshi Matsushima, Takeshi Uno, Masakazu Ejiri
Implementing Search Heuristics Using the AL1 Advice-Taking System Ivan Bratko
Increasing Tree Search Efficiency for Constraint Satisfaction Problems Robert M. Haralick, Gordon L. Elliott
Inducing Function Properties from Computation Traces Pierpaolo Degano, Franco Sirovich
Inductive Learning of Categories from Examples Using Minimum Cost Representations Steven L. Tanimoto
Inferring the Direction of the Sun from Intensity Values on a Generalised Cone Mike Brady
Interactive Graph Production System Kyota Aoki, Kokichi Tanaka
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms Michio Honda, Reiji Nakajima
Interfacing a Semantic Net with an Augmented Transition Network Joachim H. Laubsch
Japanese Word Processor Tsutomu Kawada, Shin'ya Amano
JETS: Achieving Completeness Through Coverage and Closure Tim Finin, Bradley A. Goodman, Harry R. Tennant
KNOBS: An Experimental Knowledge Based Tactical Air Mission Planning System and a Rule Based Aircraft Identification Simulation Facility Carl Engelman, Charles H. Berg, Miriam B. Bischoff
Knowledge Engineering in Nuclear Physics David R. Barstow
Knowledge-Based Experiment Design in Molecular Genetics Peter Friedl
Knowledge-Based Problem Solving by a Labelled Production System Yuichiro Anzai, Naoto Ishibashi, Yuichi Mitsuya, Shoji Ura
Knowledge-Driven Interpretation of ESCA Spectra Masato Yamazaki, Hideo Ihara
Learning and Generalization of Characteristic Descriptions: Evaluation Criteria and Comparative Review of Selected Methods Thomas G. Dietterich, Ryszard S. Michalski
PDF
Learning of Abstractions from Structural Descriptions of Pictures Pierre E. Bonzon
Learning Production Rules for Consultation Systems Sholom M. Weiss, Casimir A. Kulikowski, Bernard Nudel
Learning Structural Descriptions of Grammar Rules from Examples Robert C. Berwick
PDF
Learning to Use Analogies John McDermott
Linear Feature Extraction and Description Rainakant Nevatia, K. Ramesh Babu
LISP Activities in Japan Toshiaki Kurokawa
LISP Machine NK3 and Measurement of Its Performance Makoto Nagao, Jun'ichi Tsujii, Katsuto Nakajima, Kei Mitamura, Hachidai Ito
Making Aesthetic Choices Kenneth M. Kahn
Manipulation Extrapolation: A System for Controlling Trainable Robots Ronald W. Colman
Mechanizing a Particularly Expressive Many Sorted Logic Anthony G. Cohn
Meta-Interpretation of Recursive List-Processing Programs Daniel Goossens
Meta-Knowledge and Cognition Avron Barr
Modeling Planning as an Incremental, Opportunistic Process Barbara Hayes-Roth, Frederick Hayes-Roth, Stanley J. Rosenschein, Stephanie J. Cammarata
Modelling and Monitoring Manipulation Environment T. Hasegava, H. Inoue
Modelling Intentional Behavior Generation William S. Faught
Motion and Structure from Optical Flow K. Prazdny
Music Information Processing System and Its Applications to Comparative Musicology Yasuaki Nakamura, Seiji Inokuchi
Network Truth Maintenance for Deduction and Modelling Alan M. Thompson
Numerical Quantifiers and Their Use in Reasoning with Negative Information Stuart C. Shapiro
Object Detection and Measurement Using Stereo Vision Donald B. Gennery
On Inheritance in Knowledge Representation Mark S. Fox
On Syntax-Directed, Semantics-Supported Program Synthesis Wolfgang Bibel
On the Construction of Evaluation Functions for Large Domains Hans J. Berliner
Operationalizing Heuristics: Some AI Methods for Assisting AI Programming Jack Mostow, Frederick Hayes-Roth
Overview of the Programmer's Apprentice Charles Rich, Howard E. Shrobe, Richard C. Waters
Parallel-Serial Production Systems with Many Working Memories Leonard Uhr
PDF
Parsing Directly into Knowledge Structures Roger C. Schank, Michael Lebowitz, Lawrence Birnbaum
Plan-Guided Analysis of Noisy Dynamic Images Masahiko Yachida, Motozo Ikeda, Saburo Tsuji
Prediction and Substantiation: Two Processes That Comprise Understanding Gerald DeJong
Predictive Control Parser: Extended LINGOL Hozumi Tanaka, Taisuke Sato, Fumio Motoyoshi
Preliminary Performance Analysis of the PROSPECTOR Consultant System for Mineral Exploration John Gaschnig
Problem Solving of Elementary Algebra by Hierarchical Abstraction Fujio Nishida, Yoneharu Fujita, Hiroji Kusaka
Problems with Parts Lenhart K. Schubert
Program Synthesis from Natural Deduction Proofs Shigeki Goto
Property Driven Data Bases Jean-Paul A. Barthès, Michel Vayssade, Monika Miaczynska
Propositional Attitudes: Fregean Representation and Simulative Reasoning Lewis G. Creary
Prototypes and Production Rules: An Approach to Knowledge Representation for Hypothesis Formation Janice S. Aikins
PUS, a Paradigmatic Language Acquisition System: An Overview V. Sembugamoorthy
Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems Verónica Dahl
Quantitative Evaluation of Transmission of Meaning Hiroya Fujisaki, Yasuhiro Katagiri
Question-Answering System of Charles University Eva Buranova, Svatava Machová, Bohumil Miniberger, Antonín Ríha
Reasoning in Incomplete Domains Steven Rosenberg
PDF
Recognition in a Program Understanding System Stephen Fickas, Ruven Brooks
Recognition of Handprinted Alphanumerics, Symbols and "Katakana" Characters Yukio Hoshino, Hiroyuki Kami, Ritsuko Ohmori, Hideaki Ueda, Yasuhumi Mitsuzawa
Rediscovering Physics with BACON.3 Pat Langley
Region Segmentation of Images by Expansion and Contraction of Edge Points W. A. Perkins
Relating Properties of Surface Curvature to Image Intensity Robert J. Woodham
Relational Strategies for Processing Universally Quantified Queries to Large Data Bases Koichi Furukawa
Representation and Efficiency in a Production System for Speech Understanding Donald L. McCracken
Representation of Dynamic Clinical Knowledge: Measurement Interpretation in the Intensive Care Unit Lawrence M. Fagan, John C. Kunz, Edward A. Feigenbaum, John J. Osborn
Resolution in a New Modal Logic Masamichi Shimura
Resolution Plans in Theorem Proving C. L. Chang
Results in Knowledge-Based Program Synthesis C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold
Retrieving Information from an Episodic Memory, or Why Computers' Memories Should Be More like People's Roger C. Schank, Janet L. Kolodner
S-Net: A Foundation for Knowledge Representation Languages Makoto Nagao, Jun'ichi Tsujii
SACON: A Knowledge-Based Consultant for Structural Analysis James S. Bennett, Robert S. Engelmore
Scheduling of Processes in a Speech Understanding System Based on Approximate Reasoning Renato de Mori, Lorenza Saitta
Self-Organization of a Neural Network Which Gives Position-Invariant Response Kunihiko Fukushima
Shape from Texture: An Aggregation Transform That Maps a Class of Textures into Surface Orientation John R. Kender
Speech Acts and Multiple Environments Yorick Wilks, Janusz S. Bien
PDF
Speech Training Systems Using Lateral Shapes of Vocal Tract and F1-F2 Diagram for Hearing-Impaired Children Minoru Shigenaga, Yoshihiro Sekiguchi
Structural Analysis of Complex Aerial Photographs Makoto Nagao, Takashi Matsuyama, Hisayuki Mori
Structure and Function of the CRYSALIS System Robert S. Engelmore, Allan Terry
Structured Inheritance Networks and Natural Language Understanding Henry H. Leitner, Michael U. Freeman
Sub-Problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers Dennis de Champeaux
SUPP: Understanding Moving Picture Patterns Based on Linguistic Knowledge Naoyuki Okada
Surface-Normals from Closed Paths Michael J. Brooks
Symmetry Analysis of Two-Dimensional Patterns for Computer Vision Robert C. Bolles
SYSP: A New Programming Language for the Next Generation Toshio Yokoi, Shooichi Yokoyama, Taisuke Sato, Fumio Motoyoshi, Kazuhiro Fuchi
Testing Correctness of Strategies in Game-Playing Programs Max A. Bramer
The ACRONYM Model-Based Vision System Rodney A. Brooks, Russell Creiner, Thomas O. Binford
The Application of Artificial Intelligence Techniques to Cooperative Distributed Processing Victor R. Lesser, Daniel D. Corkill
The Conceptual Content of Conversation Roger C. Schank, Wendy G. Lehnert
The Counterplanning Process: Reasoning Under Adversity Jaime G. Carbonell
The Execution of Plans in an Independent Dynamic Microworld Gordon McCalla, Peter F. Schneider
The Experimental LISP Machine Kazuo Taki, Yukio Kaneda, Sadao Maekawa
The Framework of Knowledge Representation and Its Retrieval in LGS - Literature Guide System Toyoaki Nishida, Shuji Doshita
The Interaction of Observation and Inference in a Formal Representation System Robert E. Filman
The Origin and Resolution of Ambiguities in Causal Arguments Johan de Kleer
The Role of Object Primitives in Natural Language Processing Wendy G. Lehnert, Mark H. Burstein
The Role of Plans in Automated Consultation Michael R. Genesereth
The Roles of Knowledge and Deduction in Program Synthesis David R. Barstow
The Structure and Performance of the INTERIM.2 Go Program Walter Reitman, Bruce Wilcox
PDF
The Synthesis of Programs by Analogy Robert Moll, John Wade Ulrich
The Theorem Prover Using a Parallel Processing System Hitoshi Ogawa, Tadahiro Kitahashi, Kokichi Tanaka
The X-0-0 Heuristic in Game Tree Analysis J. Denbigh Starkey
Theoretical Basis for a Knowledge Representation System Setsuo Ohsuga
Theory of Self-Organizing Nerve Nets with Special Reference to Association and Concept Formation Shun-ichi Amari
Three Dimensional Movement Analysis of Dynamic Line Images Saburo Tsuji, Michiharu Osada, Masahiko Yachida
Time in Robots and Dialog Systems L. Litvintseva, Dmitri A. Pospelov
Toward Efficiency Trough Generality Jean-Louis Laurière
Towards a Mathematical Theory of Program Synthesis Masahiko Sato
Towards Minimal Data Structures for Deterministic Parsing David W. Shipman, Mitchell P. Marcus
Towards Understanding Color Ocular Fundus Images Koichiro Akita, Hideki Kuga
Tree Analysis Techniques in Tsumego David B. Benson, Bruce R. Hilditch, J. Denbigh Starkey
PDF
Understanding Complex Situations Robert Wilensky
Understanding Medical Jargon as if It Were a Natural Language Alain Bonnet
Use of Thematic Information to Speed Search of Semantic Nets Lynne M. Reder, John R. Anderson
Using Plans in Chess David Wilkins
Visual Analog Representations for Natural Languages Understanding David L. Waltz, Lois C. Boggess
Visual Mapping by a Robot Rover Hans P. Moravec
Word Expert Parsing Chuck Rieger, Steven L. Small