Table of Contents

• Prototypes and Production Rules: An Approach to Knowledge Representation for Hypothesis FormationJanice S. Aikins. 1-3
• A Basic Model for Learning SystemsKiyoshi Akama, Atsunobu Ichikawa. 4-6
• Towards Understanding Color Ocular Fundus ImagesKoichiro Akita, Hideki Kuga. 7-12
• Theory of Self-Organizing Nerve Nets with Special Reference to Association and Concept FormationShun-ichi Amari. 13-15
• A Learning System and Its Psychological ImplicationsJohn R. Anderson, Paul J. Kline. 16-21
• Knowledge-Based Problem Solving by a Labelled Production SystemYuichiro Anzai, Naoto Ishibashi, Yuichi Mitsuya, Shoji Ura. 22-24
• Interactive Graph Production SystemKyota Aoki, Kokichi Tanaka. 25-30
• Meta-Knowledge and CognitionAvron Barr. 31-33
• Knowledge Engineering in Nuclear PhysicsDavid R. Barstow. 34-36
• The Roles of Knowledge and Deduction in Program SynthesisDavid R. Barstow. 37-43
• Property Driven Data BasesJean-Paul A. Barthès, Michel Vayssade, Monika Miaczynska. 44-46
• SACON: A Knowledge-Based Consultant for Structural AnalysisJames S. Bennett, Robert S. Engelmore. 47-49
• Tree Analysis Techniques in TsumegoDavid B. Benson, Bruce R. Hilditch, J. Denbigh Starkey. 50-52
• On the Construction of Evaluation Functions for Large DomainsHans J. Berliner. 53-55
• Learning Structural Descriptions of Grammar Rules from ExamplesRobert C. Berwick. 56-58
• On Syntax-Directed, Semantics-Supported Program SynthesisWolfgang Bibel. 59-62
• A System which Synthesizes Array-Manipulating Programs from SpecificationsMichel Bidoit, Christian Gresse, Gérard D. Guiho. 63-65
• A Prover for General InequalitiesW. W. Bledsoe, Peter Bruell, Robert E. Shostak. 66-69
• Symmetry Analysis of Two-Dimensional Patterns for Computer VisionRobert C. Bolles. 70-72
• Automatic Determination of Image-to-Database CorrespondencesRobert C. Bolles, L. H. Quam, Martin A. Fischler, Helen C. Wolf. 73-78
• Understanding Medical Jargon as If It Were a Natural LanguageAlain Bonnet. 79-81
• Learning of Abstractions from Structural Descriptions of PicturesPierre E. Bonzon. 82-87
• Inferring the Direction of the Sun from Intensity Values on a Generalised ConeMike Brady. 88-91
• Testing Correctness of Strategies in Game-Playing ProgramsMax A. Bramer. 92-94
• Implementing Search Heuristics Using the AL1 Advice-Taking SystemIvan Bratko. 95-97
• Surface-Normals from Closed PathsMichael J. Brooks. 98-101
• Controlling Question Asking in a Medical Expert SystemRuven Brooks, Jon Heiser. 102-104
• The ACRONYM Model-Based Vision SystemRodney A. Brooks, Russell Creiner, Thomas O. Binford. 105-113
• Hierarchical Reasoning in the Game of GoDavid J. H. Brown. 114-116
• A Logic Representation of Manufacturing ControlWilliam I. Bullers, Shimon Y. Nof, Andrew B. Whinston. 117-119
• Question-Answering System of Charles UniversityEva Buranova, Svatava Machova, Bohumil Miniberger, Antonín Riha. 120
• Computer Models of Human Personality TraitsJaime G. Carbonell. 121-123
• The Counterplanning Process: Reasoning under AdversityJaime G. Carbonell. 124-130
• Formal Objects and Feature Associations in "ARGOS-II"Michel Cayrol, Bernard Fade, Henri Farreny. 131-133
• An Approach to Medical Diagnosis Based on Conceptual StructuresB. Chandrasekaran, F. Gomez, Sanjay Mittal, J. W. Smith Jr.. 134-142
• Resolution Plans in Theorem ProvingC. L. Chang. 143-148
• Co-ordinate Square: Solution to Many Chess Pawn EndgamesKenneth Ward Church. 149-154
• Dialogue Management for Rule-Based TutorialsWilliam J. Clancey. 155-161
• Mechanizing a Particularly Expressive Many Sorted LogicAnthony G. Cohn. 162-164
• Manipulation Extrapolation: A System for Controlling Trainable RobotsRonald W. Colman. 165-167
• Hierarchical Planning in a Distributed EnvironmentDaniel D. Corkill. 168-175
• Propositional Attitudes: Fregean Representation and Simulative ReasoningLewis G. Creary. 176-181
• Quantification in a Three-Valued Logic for Natural Language Question-Answering SystemsVerónica Dahl. 182-187
• Browsing in Large Data BasesDouglas D. Dankel II. 188-190
• Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem ProversDennis de Champeaux. 191-196
• The Origin and Resolution of Ambiguities in Causal ArgumentsJohan de Kleer. 197-203
• Scheduling of Processes in a Speech Understanding System Based on Approximate ReasoningRenato de Mori, Lorenza Saitta. 204-207
• Inducing Function Properties from Computation TracesPierpaolo Degano, Franco Sirovich. 208-216
• Prediction and Substantiation: Two Processes that Comprise UnderstandingGerald DeJong. 217-222
• Learning and Generalization of Characteristic Descriptions: Evaluation Criteria and Comparative Review of Selected MethodsThomas G. Dietterich, Ryszard S. Michalski. 223-231
• A Glimpse of Truth MaintenanceJon Doyle. 232-237
• Alternative Parsers for Conceptual Dependency: Getting There is Half the FunMarc Eisenstadt. 238-240
• Consistency of Theories of IdeasBob Elschlager. 241-243
• A Computational Approach to the Study of Human Skill AcquisitionJan J. Elshout, Bob J. Wielinga. 244-246
• KNOBS: An Experimental Knowledge Based Tactical Air Mission Planning System and a Rule Based Aircraft Identification Simulation FacilityCarl Engelman, Charles H. Berg, Miriam B. Bischoff. 247-249
• Structure and Function of the CRYSALIS SystemRobert S. Engelmore, Allan Terry. 250-256
• A Model for Perception of Structural Image FeatureHajime Enomoto, Naoki Yonezaki, Katsumi Nitta. 257-259
• Representation of Dynamic Clinical Knowledge: Measurement Interpretation in the Intensive Care UnitLawrence M. Fagan, John C. Kunz, Edward A. Feigenbaum, John J. Osborn. 260-262
• Modelling Intentional Behavior GenerationWilliam S. Faught. 263-265
• Recognition in a Program Understanding SystemStephen Fickas, Ruven Brooks. 266-268
• The Interaction of Observation and Inference in a Formal Representation SystemRobert E. Filman. 269-274
• JETS: Achieving Completeness through Coverage and ClosureTim Finin, Bradley A. Goodman, Harry R. Tennant. 275-281
• On Inheritance in Knowledge RepresentationMark S. Fox. 282-284
• Knowledge-Based Experiment Design in Molecular GeneticsPeter Friedl. 285-287
• Quantitative Evaluation of Transmission of MeaningHiroya Fujisaki, Yasuhiro Katagiri. 288-290
• Self-Organization of a Neural Network which Gives Position-Invariant ResponseKunihiko Fukushima. 291-293
• Relational Strategies for Processing Universally Quantified Queries to Large Data BasesKoichi Furukawa. 294-299
• Controlling Knowledge Deduction in a Declarative ApproachHervé Gallaire, Claudine Lasserre. 300
• A Problem Similarity Approach to Devising Heuristics: First ResultsJohn Gaschnig. 301-307
• Preliminary Performance Analysis of the PROSPECTOR Consultant System for Mineral ExplorationJohn Gaschnig. 308-310
• The Role of Plans in Automated ConsultationMichael R. Genesereth. 311-319
• Object Detection and Measurement Using Stereo VisionDonald B. Gennery. 320-327
• A Framework for Control in Production SystemsMichael P. Georgeff. 328-334
• A Multi-level Planning and Navigation System for a Mobile Robot: A First Approach to HILAREGeorges Giralt, Ralph P. Sobek, Raja Chatila. 335-337
• Meta-Interpretation of Recursive List-Processing ProgramsDaniel Goossens. 338
• Program Synthesis from Natural Deduction ProofsShigeki Goto. 339-341
• Results in Knowledge-Based Program SynthesisCordell C. Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold. 342-344
• A Two Level Modular System for Natural Language UnderstandingGiovanni Guida, Marco Somalvico. 345-347
• A Natural Programming CalculusÅke Hansson, Sten-Åke Tärnlund. 348-355
• Increasing Tree Search Efficiency for Constraint Satisfaction ProblemsRobert M. Haralick, Gordon L. Elliott. 356-364
• Experience with ROBOT in 12 Commercial, Natural Language Data Base Query ApplicationsLarry R. Harris. 365-368
• Modelling and Monitoring Manipulation EnvironmentT. Hasegava, H. Inoue. 369-371
• Graceful Interaction in Man-Machine CommunicationPhilip J. Hayes, Raj Reddy. 372-374
• Modeling Planning as an Incremental, Opportunistic ProcessBarbara Hayes-Roth, Frederick Hayes-Roth, Stanley J. Rosenschein, Stephanie J. Cammarata. 375-383
• A Prover for Parallel ProcessesMasahiro Hirata, Toshio Nishimura. 384-389
• Conversation as Planned BehaviorJerry R. Hobbs. 390-396
• A Knowledge-Based Application Definition SystemClifford R. Hollander, Harry C. Reinstein. 397-399
• Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many AxiomsMichio Honda, Reiji Nakajima. 400-402
• Recognition of Handprinted Alphanumerics, Symbols and "Katakana" CharactersYukio Hoshino, Hiroyuki Kami, Ritsuko Ohmori, Hideaki Ueda, Yasuhumi Mitsuzawa. 403-405
• Associative Commutative Pattern MatchingJean-Marie Hullot. 406-412
• An Application of the Photometric Stereo MethodKatsushi Ikeuchi, Berthold K. P. Horn. 413-415
• A Parallel Searching Scheme for Multiprocessor Systems and Its Application to Combinatorial ProblemsMasaharu Imai, Yuuji Yoshida, Teruo Fukumura. 416-418
• A Model of Dialog Based on Fuzzy Set ConceptHaruki Imaoka, Michio Sugeno. 419-421
• Dynamic Speech Discrimination Using an Articulatory ModelShun Ishizaki. 422-424
• Extraction of Moving Object Images Through Change DetectionRamesh Jain, Worthy N. Martin, Jake K. Aggarwal. 425-428
• How Not to Say "NIL": Improving Answers to Failing Queries in Data Base SystemsJürgen M. Janas. 429-434
• Centered Logic: The Role of Entity Centered Sentence Representation in Natural Language InferencingAravind K. Joshi, Steve Kuhn. 435-439
• Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching TechniqueJean-Pierre Jouannaud, Yves Kodratoff. 440-447
• Making Aesthetic ChoicesKenneth M. Kahn. 448-450
• Conceptual Lattice: A Unified Model for Medical Inference ProcessesTsuguchika Kaminuma. 451-453
• A Theory of the Origami WorldTakeo Kanade. 454-456
• A Knowledge-Based Approach to Using Efficiency Estimation in Program SynthesisElaine Kant. 457-462
• A Technique for Managing the Lexicon in a Natural Language Interface to a Changing Data BaseS. Jerrold Kaplan, Eric Mays, Aravind K. Joshi. 463-465
• Japanese Word ProcessorTsutomu Kawada, Shin'ya Amano. 466-468
• An Understanding System of Natural Language and Pictorial Pattern in the World of Weather ReportEiji Kawaguchi, Masao Yokota, Tsutomu Endo, Tuneo Tamati. 469-474
• Shape from Texture: An Aggregation Transform that Maps a Class of Textures into Surface OrientationJohn R. Kender. 475-480
• Conditional Answers in Question-Answering SystemsPhilip Klahr. 481-483
• A Procedural Representation of Lexical Entries in Augmented Transition Network GrammarYutaka Kobayashi, Yasuhisa Niimi. 484-486
• An Inference Net Compiler for the PROSPECTOR Rule-Based Consultation SystemKurt Konolige. 487-489
• ETHER - A Parallel Problem Solving SystemWilliam A. Kornfeld. 490-492
• A Polarimetric Approach to Shape Understanding of Glossy ObjectsKazutada Koshikawa. 493-495
• Grammatical Inference on the Basis of Linear Environments of Symbol StringsYoshiyuki Kotani. 496-498
• Common-Sense Knowledge of Space: Learning from ExperienceBenjamin Kuipers. 499-501
• LISP Activities in JapanToshiaki Kurokawa. 502-504
• Rediscovering Physics with BACON.3Pat Langley. 505-507
• Failure Processing in a System for Designing Complex AssembliesJean-Claude Latombe. 508-515
• Interfacing a Semantic Net with an Augmented Transition NetworkJoachim Laubsch. 516-518
• Toward Efficiency Trough GeneralityJean-Louis Laurière. 519-521
• The Role of Object Primitives in Natural Language ProcessingWendy G. Lehnert, Mark H. Burstein. 522-524
• Structured Inheritance Networks and Natural Language UnderstandingHenry H. Leitner, Michael U. Freeman. 525-530
• Cognitive Economy in Artificial Intelligence SystemsDouglas B. Lenat, Frederick Hayes-Roth, Philip Klahr. 531-536
• The Application of Artificial Intelligence Techniques to Cooperative Distributed ProcessingVictor R. Lesser, Daniel D. Corkill. 537-540
• Time in Robots and Dialog SystemsL. Litvintseva, Dmitri A. Pospelov. 541
• A Deductive Approach to Program SynthesisZohar Manna, Richard Waldlnger. 542-551
• Image Processing by Experimental Arrayed ProcessorHitoshi Matsushima, Takeshi Uno, Masakazu Ejiri. 552
• The Execution of Plans in an Independent Dynamic MicroworldGordon McCalla, Peter F. Schneider. 553-555
• Representation and Efficiency in a Production System for Speech UnderstandingDonald L. McCracken. 556-561
• An Introduction to Non-Monotonic LogicDrew V. McDermott, Jon Doyle. 562-567
• Learning to Use AnalogiesJohn McDermott. 568-576
• An Analysis of Generalization as a Search ProblemTom M. Mitchell. 577-582
• A Case Study of EXPERT Formalism - An Approach to a Design of Medical Consultation System through EXPERT FormalismFumio Mizoguchi, Kunihisa Maruyama, Takashi Yamada, Katsuaki Kitazawa, Masao Saito, Casimir A. Kulikowski. 583-585
• Hierarchical Production SystemRiichiro Mizoguchi, Osamu Kakusho. 586-588
• Fuzzy Conditional Inferences and Fuzzy Inferences with Fuzzy QuantifiersMasaharu Mizumoto, Satoru Fukami, Kokichi Tanaka. 589-591
• The Synthesis of Programs by AnalogyRobert Moll, John Wade Ulrich. 592-594
• An Empirical Method that Provides a Basis for the Organization of Relaxation Labeling Processes for VisionFanya S. Montalvo, Naomi Welsstein. 595-597
• Visual Mapping by a Robot RoverHans P. Moravec. 598-600
• Operationalizing Heuristics: Some AI Methods for Assisting AI ProgrammingJack Mostow, Frederick Hayes-Roth. 601-609
• Structural Analysis of Complex Aerial PhotographsMakoto Nagao, Takashi Matsuyama, Hisayuki Mori. 610-616
• S-Net: A Foundation for Knowledge Representation LanguagesMakoto Nagao, Jun'ichi Tsujii. 617-624
• LISP Machine NK3 and Measurement of Its PerformanceMakoto Nagao, Jun'ichi Tsujii, Katsuto Nakajima, Kei Mitamura, Hachidai Ito. 625-627
• A Parallel Tree Search MethodSei-Ichi Nakagawa, Toshiyuki Sakai. 628-632
• Music Information Processing System and Its Applications to Comparative MusicologyYasuaki Nakamura, Seiji Inokuchi. 633-635
• An Automatic Theorem Prover Generating a Proof in Natural LanguageMasakazu Nakanlshi, Morio Nagata, Kenji Ueda. 636-638
• Linear Feature Extraction and DescriptionRainakant Nevatia, K. Ramesh Babu. 639-641
• Describing Natural TexturesRam Nevatia, Keith E. Price, Felicia M. Vilnrotter. 642-644
• AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based ProgramsH. Penny Nii, Nelleke Aiello. 645-655
• Extraction of Items from AbstractsFujio Nishida, Giichi Kishimoto, Shinobu Takamatsu. 656-658
• Problem Solving of Elementary Algebra by Hierarchical AbstractionFujio Nishida, Yoneharu Fujita, Hiroji Kusaka. 659-661
• The Framework of Knowledge Representation and Its Retrieval in LGS - Literature Guide SystemToyoaki Nishida, Shuji Doshita. 662-664
• The Theorem Prover Using a Parallel Processing SystemHitoshi Ogawa, Tadahiro Kitahashi, Kokichi Tanaka. 665-667
• An Active Frame for the Knowledge RepresentationHitoshi Ogawa, Hideaki Nanba, Kokichi Tanaka. 668-675
• Theoretical Basis for a Knowledge Representation SystemSetsuo Ohsuga. 676-683
• A Production System for Region AnalysisYuichi Ohta, Takeo Kanade, Toshiyuki Sakai. 684-686
• An Infinite-Connected Words Recognition System for Male Speakers Using Time-Space Dynamic ProgrammingRyu-ichi Oka. 687-689
• SUPP: Understanding Moving Picture Patterns Based on Linguistic KnowledgeNaoyuki Okada. 690-692
• Computer Control of Multijoined Finger SystemTokuji Okada. 693-695
• A Measure of Closeness of Weak Implication to Strict ImplicationMasanori B. Okamoto. 696-698
• Region Segmentation of Images by Expansion and Contraction of Edge PointsW. A. Perkins. 699-701
• Motion and Structure from Optical FlowK. Prazdny. 702-704
• A Knowledge-Based System for Locating Missing High Cards in BridgeJ. R. Quinlan. 705-707
• Use of Thematic Information to Speed Search of Semantic NetsLynne M. Reder, John R. Anderson. 708-710
• The Structure and Performance of the INTERIM.2 Go ProgramWalter Reitman, Bruce Wilcox. 711-719
• Building and Exploiting User ModelsElaine Rich. 720-722
• Word Expert ParsingChuck Rieger, Steve Small. 723-728
• Coreference in a Frame DatabaseSteve Rosenberg, Bruce Roberts. 729-734
• Reasoning in Incomplete DomainsSteven Rosenberg. 735-737
• A Semantic Network of Production Rules in a System for Describing Computer StructuresMichael D. Rychener. 738-743
• Biological SoftwareErik Sandewall. 744-747
• An Overview of an Automatically Compilable Hierarchical Definition MatcherBarbara C. Sangster. 748-756
• Towards a Mathematical Theory of Program SynthesisMasahiko Sato. 757-762
• Automotive Stereo Vision Using Deconvolution TechniqueTomomasa Sato. 763-765
• Retrieving Information from an Episodic Memory, or Why Computers' Memories Should Be More Like People'sRoger C. Schank, Janet L. Kolodner. 766-768
• The Conceptual Content of ConversationRoger C. Schank, Wendy G. Lehnert. 769-771
• Parsing Directly into Knowledge StructuresRoger C. Schank, Michael Lebowitz, Lawrence Birnbaum. 772-777
• Problems with PartsLenhart K. Schubert. 778-784
• A Learning System Able to Synthesize Arithmetical FunctionsFrancois Schyn, Gerard Guiho. 785-787
• PUS, A Paradigmatic Language Acquisition System: An OverviewV. Sembugamoorthy. 788-790
• Numerical Quantifiers and Their Use in Reasoning with Negative InformationStuart C. Shapiro. 791-796
• A Scrabble Crossword Game Playing ProgramStuart C. Shapiro. 797-699
• Speech Training Systems Using Lateral Shapes of Vocal Tract and F1-F2 Diagram for Hearing-Impaired ChildrenMinoru Shigenaga, Yoshihiro Sekiguchi. 800-802
• Experimental Japanese Language Question Answering System MSSS78 - Using Case Patterns with ProceduresAkira Shimazu, Hitoshi Iida. 803-808
• Resolution in a New Modal LogicMasamichi Shimura. 809-814
• Towards Minimal Data Structures for Deterministic ParsingDavid W. Shipman, Mitchell P. Marcus. 815-817
• A Compact Relational Structure RepresentationMichael O. Shneier. 818-826
• Overview of the Programmer's ApprenticeCharles Rich, Howard E. Shrobe, Richard C. Waters. 827-828
• Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data StructuresHoward E. Shrobe. 829-835
• A Framework for Distributed Problem SolvingReid G. Smith. 836-841
• The X-0-0 Heuristic in Game Tree AnalysisJ. Denbigh Starkey. 842-844
• An Examination of a Frame-Structured Representation SystemMark Stefik. 845-852
• Automatic Discovery of Heuristics for Nondeterministic ProgramsSalvatore J. Stolfo, Malcolm C. Harrison. 853-855
• A Facsimile Based Text Editor Using Handwritten Mark RecognitionYasuhito Suenaga. 856-858
• Automatic Construction of Junction Dictionaries and Their Exploitation for the Analysis of Range DataKokichi Sugihara. 859-864
• The Experimental LISP MachineKazuo Taki, Yukio Kaneda, Sadao Maekawa. 865-867
• Predictive Control Parser: Extended LINGOLHozumi Tanaka, Taisuke Sato, Fumio Motoyoshi. 868-870
• Inductive Learning of Categories from Examples Using Minimum Cost RepresentationsSteven L. Tanimoto. 871-873
• Experience with the Evaluation of Natural Language Question AnswerersHarry R. Tennant. 874-876
• Network Truth Maintenance for Deduction and ModellingAlan M. Thompson. 877-879
• Heuristics for Knowledge Acquisition from MapsPerry W. Thorndyke. 880-883
• Description of Textures by a Structural AnalysisFumiaki Tomita, Yoshiaki Shirai, Saburo Tsuji. 884-889
• ALVEN: A Study on Motion Understanding by ComputerJohn K. Tsotsos, John Mylopoulos, H. Dominic Cowey, Steven W. Zucker. 890-892
• An Automobile with Artificial IntelligenceSadayuki Tsugawa, Teruo Yatabe, Takeshi Hirose, Shuntetsu Matsumoto. 893-895
• Three Dimensional Movement Analysis of Dynamic Line ImagesSaburo Tsuji, Michiharu Osada, Masahiko Yachida. 896-901
• An Application of Decision Analysis to Strategy-Making in Game PlayingYahachiro Tsukamoto, Koichi Yamada, Toshiro Terano. 902-907
• Detection of the Movements of Men for Autonomous VehiclesToshifumi Tsukiyama, Yoshiaki Shirai. 908-910
• Parallel-Serial Production Systems with Many Working MemoriesLeonard Uhr. 911-916
• A System for Fuzzy ReasoningMotohide Umano, Masaharu Mizumoto, Kokichi Tanaka. 917-919
• A Knowledge-Based Interactive Robot-vision SystemTibor Vamos, M. Báthor, László Méro. 920-922
• A Domain-Independent Production-Rule System for Consultation ProgramsWilliam van Melle. 923-925
• Visual Analog Representations for Natural Languages UnderstandingDavid L. Waltz, Lois Boggess. 926-934
• A Method for Automatically Analyzing ProgramsRichard C. Waters. 935-941
• EXPERT: A System for Developing Consultation ModelsSholom M. Weiss, Casimir A. Kulikowski. 942-947
• Learning Production Rules for Consultation SystemsSholom M. Weiss, Casimir A. Kulikowski, Bernard Nudel. 948-950
• Automatic Program DebuggingHarald Wertz. 951-953
• Understanding Complex SituationsRobert Wilensky. 954-959
• Using Plans in ChessDavid Wilkins. 960-967
• Speech Acts and Multiple EnvironmentsYorick Wilks, Janusz S. Bien. 968-970
• Relating Properties of Surface Curvature to Image IntensityRobert J. Woodham. 971-977
• Plan-Guided Analysis of Noisy Dynamic ImagesMasahiko Yachida, Motozo Ikeda, Saburo Tsuji. 978-983
• A Knowledge Directed Line Finder for Analysis of Complex ScenesMasahiko Yachida, Motozo Ikeda, Sabtiro Tsuji. 984-991
• Boundary Detection of Textured RegionsMasahiko Yachida, Motoso Ikeda, Saburo Tsuji. 992-994
• Knowledge-Driven Interpretation of ESCA SpectraMasato Yamazaki, Hideo Ihara. 995-997
• SYSP: A New Programming Language for the Next GenerationToshio Yokoi, Shooichi Yokoyama, Taisuke Sato, Fumio Motoyoshi, Kazuhiro Fuchi. 998-1000
• Hierarchical Concepts Structure for Natural Language Understanding SystemSho Yoshida. 1001-1003
• Approximate Reasoning Based on Fuzzy LogicLotfi A. Zadeh. 1004-1010
• From History to Computer Science: A Formalization of the Inferential Processes of an HistorianGian Piero Zarri. 1011-1013
• Continuous Relaxation and Local Maxima Selection: Conditions for EquivalenceSteven W. Zucker, Yvan G. Leclerc, John L. Mohammed. 1014-1016