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