7. IJCAI 1979: Tokyo, Japan
- Bruce G. Buchanan:
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes. William Kaufmann 1979, ISBN 0-934613-47-8 - Janice S. Aikins:
Prototypes and Production Rules: An Approach to Knowledge Representation for Hypothesis Formation. IJCAI 1979: 1-3 - Shun-ichi Amari:
Theory of Self-Organizing Nerve Nets with Special Reference to Association and Concept Formation. IJCAI 1979: 13-15 - John R. Anderson, Paul J. Kline:
A Learning System and Its Psychological Implications. IJCAI 1979: 16-21 - Yuichiro Anzai, Naoto Ishibashi, Yuichi Mitsuya, Shoji Ura:
Knowledge-Based Problem Solving by a Labelled Production System. IJCAI 1979: 22-24 - Jean-Paul A. Barthès, Michel Vayssade, Monika Miaczynska:
Property Driven Data Bases. IJCAI 1979: 44-46 - James S. Bennett, Robert S. Engelmore:
SACON: A Knowledge-Based Consultant for Structural Analysis. IJCAI 1979: 47-49 - David B. Benson, Bruce R. Hilditch, J. Denbigh Starkey:
Tree Analysis Techniques in Tsumego. IJCAI 1979: 50-52 - Robert C. Berwick:
Learning Structural Descriptions of Grammar Rules from Examples. IJCAI 1979: 56-58 - Michel Bidoit, Christian Gresse, Gérard D. Guiho:
A System which Synthesizes Array-Manipulating Programs from Specifications. IJCAI 1979: 63-65 - W. W. Bledsoe, Peter Bruell, Robert E. Shostak:
A Prover for General Inequalities. IJCAI 1979: 66-69 - Robert C. Bolles:
Symmetry Analysis of Two-Dimensional Patterns for Computer Vision. IJCAI 1979: 70-72 - Robert C. Bolles, L. H. Quam, Martin A. Fischler, Helen C. Wolf:
Automatic Determination of Image-to-Database Correspondences. IJCAI 1979: 73-78 - Pierre E. Bonzon:
Learning of Abstractions from Structural Descriptions of Pictures. IJCAI 1979: 82-87 - Mike Brady:
Inferring the Direction of the Sun from Intensity Values on a Generalised Cone. IJCAI 1979: 88-91 - Ruven Brooks, Jon Heiser:
Controlling Question Asking in a Medical Expert System. IJCAI 1979: 102-104 - Rodney A. Brooks, Russell Creiner, Thomas O. Binford:
The ACRONYM Model-Based Vision System. IJCAI 1979: 105-113 - William I. Bullers, Shimon Y. Nof, Andrew B. Whinston:
A Logic Representation of Manufacturing Control. IJCAI 1979: 117-119 - Eva Buranova, Svatava Machová, Bohumil Miniberger, Antonín Ríha:
Question-Answering System of Charles University. IJCAI 1979: 120 - Michel Cayrol, Bernard Fade, Henri Farreny:
Formal Objects and Feature Associations in "ARGOS-II". IJCAI 1979: 131-133 - B. Chandrasekaran, Fernando Gomez, Sanjay Mittal, J. W. Smith Jr.:
An Approach to Medical Diagnosis Based on Conceptual Structures. IJCAI 1979: 134-142 - Ronald W. Colman:
Manipulation Extrapolation: A System for Controlling Trainable Robots. IJCAI 1979: 165-167 - Lewis G. Creary:
Propositional Attitudes: Fregean Representation and Simulative Reasoning. IJCAI 1979: 176-181 - Verónica Dahl:
Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems. IJCAI 1979: 182-187 - Dennis de Champeaux:
Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers. IJCAI 1979: 191-196 - Renato de Mori, Lorenza Saitta:
Scheduling of Processes in a Speech Understanding System Based on Approximate Reasoning. IJCAI 1979: 204-207 - Pierpaolo Degano, Franco Sirovich:
Inducing Function Properties from Computation Traces. IJCAI 1979: 208-216 - Gerald DeJong:
Prediction and Substantiation: Two Processes that Comprise Understanding. IJCAI 1979: 217-222 - Thomas G. Dietterich, Ryszard S. Michalski:
Learning and Generalization of Characteristic Descriptions: Evaluation Criteria and Comparative Review of Selected Methods. IJCAI 1979: 223-231 - Marc Eisenstadt:
Alternative Parsers for Conceptual Dependency: Getting There is Half the Fun. IJCAI 1979: 238-240 - Jan J. Elshout, Bob J. Wielinga:
A Computational Approach to the Study of Human Skill Acquisition. IJCAI 1979: 244-246 - Carl Engelman, Charles H. Berg, Miriam B. Bischoff:
KNOBS: An Experimental Knowledge Based Tactical Air Mission Planning System and a Rule Based Aircraft Identification Simulation Facility. IJCAI 1979: 247-249 - Robert S. Engelmore, Allan Terry:
Structure and Function of the CRYSALIS System. IJCAI 1979: 250-256 - Hajime Enomoto, Naoki Yonezaki, Katsumi Nitta:
A Model for Perception of Structural Image Feature. IJCAI 1979: 257-259 - Lawrence M. Fagan, John C. Kunz, Edward A. Feigenbaum, John J. Osborn:
Representation of Dynamic Clinical Knowledge: Measurement Interpretation in the Intensive Care Unit. IJCAI 1979: 260-262 - Robert E. Filman:
The Interaction of Observation and Inference in a Formal Representation System. IJCAI 1979: 269-274 - Tim Finin, Bradley A. Goodman, Harry R. Tennant:
JETS: Achieving Completeness through Coverage and Closure. IJCAI 1979: 275-281 - Hiroya Fujisaki, Yasuhiro Katagiri:
Quantitative Evaluation of Transmission of Meaning. IJCAI 1979: 288-290 - Kunihiko Fukushima:
Self-Organization of a Neural Network which Gives Position-Invariant Response. IJCAI 1979: 291-293 - Koichi Furukawa:
Relational Strategies for Processing Universally Quantified Queries to Large Data Bases. IJCAI 1979: 294-299 - Hervé Gallaire, Claudine Lasserre:
Controlling Knowledge Deduction in a Declarative Approach. IJCAI 1979: 300 - John Gaschnig:
A Problem Similarity Approach to Devising Heuristics: First Results. IJCAI 1979: 301-307 - John Gaschnig:
Preliminary Performance Analysis of the PROSPECTOR Consultant System for Mineral Exploration. IJCAI 1979: 308-310 - Georges Giralt, Ralph P. Sobek, Raja Chatila:
A Multi-level Planning and Navigation System for a Mobile Robot: A First Approach to HILARE. IJCAI 1979: 335-337 - Cordell C. Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold:
Results in Knowledge-Based Program Synthesis. IJCAI 1979: 342-344 - Giovanni Guida, Marco Somalvico:
A Two Level Modular System for Natural Language Understanding. IJCAI 1979: 345-347 - Robert M. Haralick, Gordon L. Elliott:
Increasing Tree Search Efficiency for Constraint Satisfaction Problems. IJCAI 1979: 356-364 - Larry R. Harris:
Experience with ROBOT in 12 Commercial, Natural Language Data Base Query Applications. IJCAI 1979: 365-368 - Barbara Hayes-Roth, Frederick Hayes-Roth, Stanley J. Rosenschein, Stephanie J. Cammarata:
Modeling Planning as an Incremental, Opportunistic Process. IJCAI 1979: 375-383 - Clifford R. Hollander, Harry C. Reinstein:
A Knowledge-Based Application Definition System. IJCAI 1979: 397-399 - Michio Honda, Reiji Nakajima:
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms. IJCAI 1979: 400-402 - Yukio Hoshino, Hiroyuki Kami, Ritsuko Ohmori, Hideaki Ueda, Yasuhumi Mitsuzawa:
Recognition of Handprinted Alphanumerics, Symbols and "Katakana" Characters. IJCAI 1979: 403-405 - Katsushi Ikeuchi, Berthold K. P. Horn:
An Application of the Photometric Stereo Method. IJCAI 1979: 413-415 - Masaharu Imai, Yuuji Yoshida, Teruo Fukumura:
A Parallel Searching Scheme for Multiprocessor Systems and Its Application to Combinatorial Problems. IJCAI 1979: 416-418 - Ramesh Jain, Worthy N. Martin, Jake K. Aggarwal:
Extraction of Moving Object Images Through Change Detection. IJCAI 1979: 425-428 - Jürgen M. Janas:
How Not to Say "NIL": Improving Answers to Failing Queries in Data Base Systems. IJCAI 1979: 429-434 - Aravind K. Joshi, Steve Kuhn:
Centered Logic: The Role of Entity Centered Sentence Representation in Natural Language Inferencing. IJCAI 1979: 435-439 - Jean-Pierre Jouannaud, Yves Kodratoff:
Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique. IJCAI 1979: 440-447 - Tsuguchika Kaminuma:
Conceptual Lattice: A Unified Model for Medical Inference Processes. IJCAI 1979: 451-453 - Elaine Kant:
A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis. IJCAI 1979: 457-462 - S. Jerrold Kaplan, Eric Mays, Aravind K. Joshi:
A Technique for Managing the Lexicon in a Natural Language Interface to a Changing Data Base. IJCAI 1979: 463-465 - Eiji Kawaguchi, Masao Yokota, Tsutomu Endo, Tuneo Tamati:
An Understanding System of Natural Language and Pictorial Pattern in the World of Weather Report. IJCAI 1979: 469-474 - John R. Kender:
Shape from Texture: An Aggregation Transform that Maps a Class of Textures into Surface Orientation. IJCAI 1979: 475-480 - Yutaka Kobayashi, Yasuhisa Niimi:
A Procedural Representation of Lexical Entries in Augmented Transition Network Grammar. IJCAI 1979: 484-486 - Kurt Konolige:
An Inference Net Compiler for the PROSPECTOR Rule-Based Consultation System. IJCAI 1979: 487-489 - Kazutada Koshikawa:
A Polarimetric Approach to Shape Understanding of Glossy Objects. IJCAI 1979: 493-495 - Yoshiyuki Kotani:
Grammatical Inference on the Basis of Linear Environments of Symbol Strings. IJCAI 1979: 496-498 - Jean-Claude Latombe:
Failure Processing in a System for Designing Complex Assemblies. IJCAI 1979: 508-515 - Joachim H. Laubsch:
Interfacing a Semantic Net with an Augmented Transition Network. IJCAI 1979: 516-518 - Wendy G. Lehnert, Mark H. Burstein:
The Role of Object Primitives in Natural Language Processing. IJCAI 1979: 522-524 - Henry H. Leitner, Michael U. Freeman:
Structured Inheritance Networks and Natural Language Understanding. IJCAI 1979: 525-530 - Douglas B. Lenat, Frederick Hayes-Roth, Philip Klahr:
Cognitive Economy in Artificial Intelligence Systems. IJCAI 1979: 531-536 - Victor R. Lesser, Daniel D. Corkill:
The Application of Artificial Intelligence Techniques to Cooperative Distributed Processing. IJCAI 1979: 537-540 - Hitoshi Matsushima, Takeshi Uno, Masakazu Ejiri:
Image Processing by Experimental Arrayed Processor. IJCAI 1979: 552 - Gordon McCalla, Peter F. Schneider:
The Execution of Plans in an Independent Dynamic Microworld. IJCAI 1979: 553-555 - Donald L. McCracken:
Representation and Efficiency in a Production System for Speech Understanding. IJCAI 1979: 556-561 - Fumio Mizoguchi, Kunihisa Maruyama, Takashi Yamada, Katsuaki Kitazawa, Masao Saito, Casimir A. Kulikowski:
A Case Study of EXPERT Formalism - An Approach to a Design of Medical Consultation System through EXPERT Formalism. IJCAI 1979: 583-585 - Masaharu Mizumoto, Satoru Fukami, Kokichi Tanaka:
Fuzzy Conditional Inferences and Fuzzy Inferences with Fuzzy Quantifiers. IJCAI 1979: 589-591 - Fanya S. Montalvo, Naomi Welsstein:
An Empirical Method that Provides a Basis for the Organization of Relaxation Labeling Processes for Vision. IJCAI 1979: 595-597 - Jack Mostow, Frederick Hayes-Roth:
Operationalizing Heuristics: Some AI Methods for Assisting AI Programming. IJCAI 1979: 601-609 - Makoto Nagao, Takashi Matsuyama, Hisayuki Mori:
Structural Analysis of Complex Aerial Photographs. IJCAI 1979: 610-616 - Makoto Nagao, Jun'ichi Tsujii:
S-Net: A Foundation for Knowledge Representation Languages. IJCAI 1979: 617-624 - Makoto Nagao, Jun'ichi Tsujii, Katsuto Nakajima, Kei Mitamura, Hachidai Ito:
LISP Machine NK3 and Measurement of Its Performance. IJCAI 1979: 625-627