Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar7. 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 - Kiyoshi Akama, Atsunobu Ichikawa:
A Basic Model for Learning Systems. IJCAI 1979: 4-6 - Koichiro Akita, Hideki Kuga:
Towards Understanding Color Ocular Fundus Images. IJCAI 1979: 7-12 - 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 - Kyota Aoki, Kokichi Tanaka:
Interactive Graph Production System. IJCAI 1979: 25-30 - Avron Barr:
Meta-Knowledge and Cognition. IJCAI 1979: 31-33 - David R. Barstow:
Knowledge Engineering in Nuclear Physics. IJCAI 1979: 34-36 - David R. Barstow:
The Roles of Knowledge and Deduction in Program Synthesis. IJCAI 1979: 37-43 - 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 - Hans J. Berliner:
On the Construction of Evaluation Functions for Large Domains. IJCAI 1979: 53-55 - Robert C. Berwick:
Learning Structural Descriptions of Grammar Rules from Examples. IJCAI 1979: 56-58 - Wolfgang Bibel:
On Syntax-Directed, Semantics-Supported Program Synthesis. IJCAI 1979: 59-62 - 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 - Alain Bonnet:
Understanding Medical Jargon as If It Were a Natural Language. IJCAI 1979: 79-81 - 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 - Max A. Bramer:
Testing Correctness of Strategies in Game-Playing Programs. IJCAI 1979: 92-94 - Ivan Bratko:
Implementing Search Heuristics Using the AL1 Advice-Taking System. IJCAI 1979: 95-97 - Michael J. Brooks:
Surface-Normals from Closed Paths. IJCAI 1979: 98-101 - 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 - David J. H. Brown:
Hierarchical Reasoning in the Game of Go. IJCAI 1979: 114-116 - 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 - Jaime G. Carbonell:
Computer Models of Human Personality Traits. IJCAI 1979: 121-123 - Jaime G. Carbonell:
The Counterplanning Process: Reasoning under Adversity. IJCAI 1979: 124-130 - 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 - C. L. Chang:
Resolution Plans in Theorem Proving. IJCAI 1979: 143-148 - Kenneth Ward Church:
Co-ordinate Square: Solution to Many Chess Pawn Endgames. IJCAI 1979: 149-154 - William J. Clancey:
Dialogue Management for Rule-Based Tutorials. IJCAI 1979: 155-161 - Anthony G. Cohn:
Mechanizing a Particularly Expressive Many Sorted Logic. IJCAI 1979: 162-164 - Ronald W. Colman:
Manipulation Extrapolation: A System for Controlling Trainable Robots. IJCAI 1979: 165-167 - Daniel D. Corkill:
Hierarchical Planning in a Distributed Environment. IJCAI 1979: 168-175 - 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 - Douglas D. Dankel II:
Browsing in Large Data Bases. IJCAI 1979: 188-190 - Dennis de Champeaux:
Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers. IJCAI 1979: 191-196 - Johan de Kleer:
The Origin and Resolution of Ambiguities in Causal Arguments. IJCAI 1979: 197-203 - 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 - Jon Doyle:
A Glimpse of Truth Maintenance. IJCAI 1979: 232-237 - Marc Eisenstadt:
Alternative Parsers for Conceptual Dependency: Getting There is Half the Fun. IJCAI 1979: 238-240 - Bob Elschlager:
Consistency of Theories of Ideas. IJCAI 1979: 241-243 - 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 - William S. Faught:
Modelling Intentional Behavior Generation. IJCAI 1979: 263-265 - Stephen Fickas, Ruven Brooks:
Recognition in a Program Understanding System. IJCAI 1979: 266-268 - 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 - Mark S. Fox:
On Inheritance in Knowledge Representation. IJCAI 1979: 282-284 - Peter Friedl:
Knowledge-Based Experiment Design in Molecular Genetics. IJCAI 1979: 285-287 - 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 - Michael R. Genesereth:
The Role of Plans in Automated Consultation. IJCAI 1979: 311-319 - Donald B. Gennery:
Object Detection and Measurement Using Stereo Vision. IJCAI 1979: 320-327 - Michael P. Georgeff:
A Framework for Control in Production Systems. IJCAI 1979: 328-334 - 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 - Daniel Goossens:
Meta-Interpretation of Recursive List-Processing Programs. IJCAI 1979: 338 - Shigeki Goto:
Program Synthesis from Natural Deduction Proofs. IJCAI 1979: 339-341 - 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 - Åke Hansson, Sten-Åke Tärnlund:
A Natural Programming Calculus. IJCAI 1979: 348-355 - 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 - T. Hasegava, H. Inoue:
Modelling and Monitoring Manipulation Environment. IJCAI 1979: 369-371 - Philip J. Hayes, Raj Reddy:
Graceful Interaction in Man-Machine Communication. IJCAI 1979: 372-374 - Barbara Hayes-Roth, Frederick Hayes-Roth, Stanley J. Rosenschein, Stephanie J. Cammarata:
Modeling Planning as an Incremental, Opportunistic Process. IJCAI 1979: 375-383 - Masahiro Hirata, Toshio Nishimura:
A Prover for Parallel Processes. IJCAI 1979: 384-389 - Jerry R. Hobbs:
Conversation as Planned Behavior. IJCAI 1979: 390-396 - 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 - Jean-Marie Hullot:
Associative Commutative Pattern Matching. IJCAI 1979: 406-412 - 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 - Haruki Imaoka, Michio Sugeno:
A Model of Dialog Based on Fuzzy Set Concept. IJCAI 1979: 419-421 - Shun Ishizaki:
Dynamic Speech Discrimination Using an Articulatory Model. IJCAI 1979: 422-424 - Ramesh C. 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 - Kenneth M. Kahn:
Making Aesthetic Choices. IJCAI 1979: 448-450 - Tsuguchika Kaminuma:
Conceptual Lattice: A Unified Model for Medical Inference Processes. IJCAI 1979: 451-453 - Takeo Kanade:
A Theory of the Origami World. IJCAI 1979: 454-456 - 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 - Tsutomu Kawada, Shin'ya Amano:
Japanese Word Processor. IJCAI 1979: 466-468 - 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 - Philip Klahr:
Conditional Answers in Question-Answering Systems. IJCAI 1979: 481-483 - 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 - William A. Kornfeld:
ETHER - A Parallel Problem Solving System. IJCAI 1979: 490-492 - 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 - Benjamin Kuipers:
Common-Sense Knowledge of Space: Learning from Experience. IJCAI 1979: 499-501 - Toshiaki Kurokawa:
LISP Activities in Japan. IJCAI 1979: 502-504 - Pat Langley:
Rediscovering Physics with BACON.3. IJCAI 1979: 505-507 - 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 - Jean-Louis Laurière:
Toward Efficiency Trough Generality. IJCAI 1979: 519-521 - 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 - L. Litvintseva, Dmitri A. Pospelov:
Time in Robots and Dialog Systems. IJCAI 1979: 541 - Zohar Manna, Richard Waldinger:
A Deductive Approach to Program Synthesis. IJCAI 1979: 542-551 - 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 - Drew V. McDermott, Jon Doyle:
An Introduction to Non-Monotonic Logic. IJCAI 1979: 562-567 - John McDermott:
Learning to Use Analogies. IJCAI 1979: 568-576 - Tom M. Mitchell:
An Analysis of Generalization as a Search Problem. IJCAI 1979: 577-582 - 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 - Riichiro Mizoguchi, Osamu Kakusho:
Hierarchical Production System. IJCAI 1979: 586-588 - Masaharu Mizumoto, Satoru Fukami, Kokichi Tanaka:
Fuzzy Conditional Inferences and Fuzzy Inferences with Fuzzy Quantifiers. IJCAI 1979: 589-591 - Robert Moll, John Wade Ulrich:
The Synthesis of Programs by Analogy. IJCAI 1979: 592-594 - 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 - Hans P. Moravec:
Visual Mapping by a Robot Rover. IJCAI 1979: 598-600 - 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 - Sei-ichi Nakagawa, Toshiyuki Sakai:
A Parallel Tree Search Method. IJCAI 1979: 628-632 - Yasuaki Nakamura, Seiji Inokuchi:
Music Information Processing System and Its Applications to Comparative Musicology. IJCAI 1979: 633-635