ijcai 1979 论文列表Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes. |
Continuous Relaxation and Local Maxima Selection: Conditions for Equivalence.
From History to Computer Science: A Formalization of the Inferential Processes of an Historian.
Approximate Reasoning Based on Fuzzy Logic.
Hierarchical Concepts Structure for Natural Language Understanding System.
SYSP: A New Programming Language for the Next Generation.
Knowledge-Driven Interpretation of ESCA Spectra.
Boundary Detection of Textured Regions.
A Knowledge Directed Line Finder for Analysis of Complex Scenes.
Plan-Guided Analysis of Noisy Dynamic Images.
Relating Properties of Surface Curvature to Image Intensity.
Speech Acts and Multiple Environments.
Using Plans in Chess.
Understanding Complex Situations.
Automatic Program Debugging.
Learning Production Rules for Consultation Systems.
EXPERT: A System for Developing Consultation Models.
A Method for Automatically Analyzing Programs.
Visual Analog Representations for Natural Languages Understanding.
A Domain-Independent Production-Rule System for Consultation Programs.
A Knowledge-Based Interactive Robot-vision System.
A System for Fuzzy Reasoning.
Parallel-Serial Production Systems with Many Working Memories.
Detection of the Movements of Men for Autonomous Vehicles.
An Application of Decision Analysis to Strategy-Making in Game Playing.
Three Dimensional Movement Analysis of Dynamic Line Images.
An Automobile with Artificial Intelligence.
ALVEN: A Study on Motion Understanding by Computer.
Description of Textures by a Structural Analysis.
Heuristics for Knowledge Acquisition from Maps.
Network Truth Maintenance for Deduction and Modelling.
Experience with the Evaluation of Natural Language Question Answerers.
Inductive Learning of Categories from Examples Using Minimum Cost Representations.
Predictive Control Parser: Extended LINGOL.
The Experimental LISP Machine.
Automatic Construction of Junction Dictionaries and Their Exploitation for the Analysis of Range Data.
A Facsimile Based Text Editor Using Handwritten Mark Recognition.
Automatic Discovery of Heuristics for Nondeterministic Programs.
An Examination of a Frame-Structured Representation System.
The X-0-0 Heuristic in Game Tree Analysis.
A Framework for Distributed Problem Solving.
Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures.
Overview of the Programmer's Apprentice.
A Compact Relational Structure Representation.
Towards Minimal Data Structures for Deterministic Parsing.
Resolution in a New Modal Logic.
Experimental Japanese Language Question Answering System MSSS78 - Using Case Patterns with Procedures.
Speech Training Systems Using Lateral Shapes of Vocal Tract and F1-F2 Diagram for Hearing-Impaired Children.
A Scrabble Crossword Game Playing Program.
Numerical Quantifiers and Their Use in Reasoning with Negative Information.
PUS, A Paradigmatic Language Acquisition System: An Overview.
A Learning System Able to Synthesize Arithmetical Functions.
Problems with Parts.
Parsing Directly into Knowledge Structures.
The Conceptual Content of Conversation.
Retrieving Information from an Episodic Memory, or Why Computers' Memories Should Be More Like People's.
Automotive Stereo Vision Using Deconvolution Technique.
Towards a Mathematical Theory of Program Synthesis.
An Overview of an Automatically Compilable Hierarchical Definition Matcher.
Biological Software.
A Semantic Network of Production Rules in a System for Describing Computer Structures.
Reasoning in Incomplete Domains.
Coreference in a Frame Database.
Word Expert Parsing.
Building and Exploiting User Models.
The Structure and Performance of the INTERIM.2 Go Program.
Use of Thematic Information to Speed Search of Semantic Nets.
A Knowledge-Based System for Locating Missing High Cards in Bridge.
Motion and Structure from Optical Flow.
Region Segmentation of Images by Expansion and Contraction of Edge Points.
A Measure of Closeness of Weak Implication to Strict Implication.
Computer Control of Multijoined Finger System.
SUPP: Understanding Moving Picture Patterns Based on Linguistic Knowledge.
An Infinite-Connected Words Recognition System for Male Speakers Using Time-Space Dynamic Programming.
A Production System for Region Analysis.
Theoretical Basis for a Knowledge Representation System.
An Active Frame for the Knowledge Representation.
The Theorem Prover Using a Parallel Processing System.
The Framework of Knowledge Representation and Its Retrieval in LGS - Literature Guide System.
Problem Solving of Elementary Algebra by Hierarchical Abstraction.
Extraction of Items from Abstracts.
AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs.
Describing Natural Textures.
Linear Feature Extraction and Description.
An Automatic Theorem Prover Generating a Proof in Natural Language.
Music Information Processing System and Its Applications to Comparative Musicology.
A Parallel Tree Search Method.
LISP Machine NK3 and Measurement of Its Performance.
S-Net: A Foundation for Knowledge Representation Languages.
Structural Analysis of Complex Aerial Photographs.
Operationalizing Heuristics: Some AI Methods for Assisting AI Programming.
Visual Mapping by a Robot Rover.
An Empirical Method that Provides a Basis for the Organization of Relaxation Labeling Processes for Vision.
The Synthesis of Programs by Analogy.
Fuzzy Conditional Inferences and Fuzzy Inferences with Fuzzy Quantifiers.
Hierarchical Production System.
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
An Analysis of Generalization as a Search Problem.
Learning to Use Analogies.
An Introduction to Non-Monotonic Logic.
Representation and Efficiency in a Production System for Speech Understanding.
The Execution of Plans in an Independent Dynamic Microworld.
Image Processing by Experimental Arrayed Processor.
A Deductive Approach to Program Synthesis.
Time in Robots and Dialog Systems.
The Application of Artificial Intelligence Techniques to Cooperative Distributed Processing.
Cognitive Economy in Artificial Intelligence Systems.
Structured Inheritance Networks and Natural Language Understanding.
The Role of Object Primitives in Natural Language Processing.
Toward Efficiency Trough Generality.
Interfacing a Semantic Net with an Augmented Transition Network.
Failure Processing in a System for Designing Complex Assemblies.
Rediscovering Physics with BACON.3.
LISP Activities in Japan.
Common-Sense Knowledge of Space: Learning from Experience.
Grammatical Inference on the Basis of Linear Environments of Symbol Strings.
A Polarimetric Approach to Shape Understanding of Glossy Objects.
ETHER - A Parallel Problem Solving System.
An Inference Net Compiler for the PROSPECTOR Rule-Based Consultation System.
A Procedural Representation of Lexical Entries in Augmented Transition Network Grammar.
Conditional Answers in Question-Answering Systems.
Shape from Texture: An Aggregation Transform that Maps a Class of Textures into Surface Orientation.
An Understanding System of Natural Language and Pictorial Pattern in the World of Weather Report.
Japanese Word Processor.
A Technique for Managing the Lexicon in a Natural Language Interface to a Changing Data Base.
A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis.
A Theory of the Origami World.
Conceptual Lattice: A Unified Model for Medical Inference Processes.
Making Aesthetic Choices.
Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique.
Centered Logic: The Role of Entity Centered Sentence Representation in Natural Language Inferencing.
How Not to Say "NIL": Improving Answers to Failing Queries in Data Base Systems.
Extraction of Moving Object Images Through Change Detection.
Dynamic Speech Discrimination Using an Articulatory Model.
A Model of Dialog Based on Fuzzy Set Concept.
A Parallel Searching Scheme for Multiprocessor Systems and Its Application to Combinatorial Problems.
An Application of the Photometric Stereo Method.
Associative Commutative Pattern Matching.
Recognition of Handprinted Alphanumerics, Symbols and "Katakana" Characters.
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms.
A Knowledge-Based Application Definition System.
Conversation as Planned Behavior.
A Prover for Parallel Processes.
Modeling Planning as an Incremental, Opportunistic Process.
Graceful Interaction in Man-Machine Communication.
Modelling and Monitoring Manipulation Environment.
Experience with ROBOT in 12 Commercial, Natural Language Data Base Query Applications.
Increasing Tree Search Efficiency for Constraint Satisfaction Problems.
A Natural Programming Calculus.
A Two Level Modular System for Natural Language Understanding.
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
Program Synthesis from Natural Deduction Proofs.
Meta-Interpretation of Recursive List-Processing Programs.
A Multi-level Planning and Navigation System for a Mobile Robot: A First Approach to HILARE.
A Framework for Control in Production Systems.
Object Detection and Measurement Using Stereo Vision.
The Role of Plans in Automated Consultation.
Preliminary Performance Analysis of the PROSPECTOR Consultant System for Mineral Exploration.
A Problem Similarity Approach to Devising Heuristics: First Results.
Controlling Knowledge Deduction in a Declarative Approach.
Relational Strategies for Processing Universally Quantified Queries to Large Data Bases.
Self-Organization of a Neural Network which Gives Position-Invariant Response.
Quantitative Evaluation of Transmission of Meaning.
Knowledge-Based Experiment Design in Molecular Genetics.
On Inheritance in Knowledge Representation.
JETS: Achieving Completeness through Coverage and Closure.
The Interaction of Observation and Inference in a Formal Representation System.
Recognition in a Program Understanding System.
Modelling Intentional Behavior Generation.
Representation of Dynamic Clinical Knowledge: Measurement Interpretation in the Intensive Care Unit.
A Model for Perception of Structural Image Feature.
Structure and Function of the CRYSALIS System.
KNOBS: An Experimental Knowledge Based Tactical Air Mission Planning System and a Rule Based Aircraft Identification Simulation Facility.
A Computational Approach to the Study of Human Skill Acquisition.
Consistency of Theories of Ideas.
Alternative Parsers for Conceptual Dependency: Getting There is Half the Fun.
A Glimpse of Truth Maintenance.
Learning and Generalization of Characteristic Descriptions: Evaluation Criteria and Comparative Review of Selected Methods.
Prediction and Substantiation: Two Processes that Comprise Understanding.
Inducing Function Properties from Computation Traces.
Scheduling of Processes in a Speech Understanding System Based on Approximate Reasoning.
The Origin and Resolution of Ambiguities in Causal Arguments.
Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers.
Browsing in Large Data Bases.
Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems.
Propositional Attitudes: Fregean Representation and Simulative Reasoning.
Hierarchical Planning in a Distributed Environment.
Manipulation Extrapolation: A System for Controlling Trainable Robots.
Mechanizing a Particularly Expressive Many Sorted Logic.
Dialogue Management for Rule-Based Tutorials.
Co-ordinate Square: Solution to Many Chess Pawn Endgames.
Resolution Plans in Theorem Proving.
An Approach to Medical Diagnosis Based on Conceptual Structures.
Formal Objects and Feature Associations in "ARGOS-II".
The Counterplanning Process: Reasoning under Adversity.
Computer Models of Human Personality Traits.
Question-Answering System of Charles University.
A Logic Representation of Manufacturing Control.
Hierarchical Reasoning in the Game of Go.
The ACRONYM Model-Based Vision System.
Controlling Question Asking in a Medical Expert System.
Surface-Normals from Closed Paths.
Implementing Search Heuristics Using the AL1 Advice-Taking System.
Testing Correctness of Strategies in Game-Playing Programs.
Inferring the Direction of the Sun from Intensity Values on a Generalised Cone.
Learning of Abstractions from Structural Descriptions of Pictures.
Understanding Medical Jargon as If It Were a Natural Language.
Automatic Determination of Image-to-Database Correspondences.
Symmetry Analysis of Two-Dimensional Patterns for Computer Vision.
A Prover for General Inequalities.
A System which Synthesizes Array-Manipulating Programs from Specifications.
On Syntax-Directed, Semantics-Supported Program Synthesis.
Learning Structural Descriptions of Grammar Rules from Examples.
On the Construction of Evaluation Functions for Large Domains.
Tree Analysis Techniques in Tsumego.
SACON: A Knowledge-Based Consultant for Structural Analysis.
Property Driven Data Bases.
The Roles of Knowledge and Deduction in Program Synthesis.
Knowledge Engineering in Nuclear Physics.
Meta-Knowledge and Cognition.
Interactive Graph Production System.
Knowledge-Based Problem Solving by a Labelled Production System.
A Learning System and Its Psychological Implications.
Theory of Self-Organizing Nerve Nets with Special Reference to Association and Concept Formation.
Towards Understanding Color Ocular Fundus Images.
A Basic Model for Learning Systems.
Prototypes and Production Rules: An Approach to Knowledge Representation for Hypothesis Formation.