Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center: Technical Notes

Charles A. Rosen came to SRI in 1957. I arrived in 1961. Between these dates, Charlie organized an Applied Physics Laboratory and became interested in "learning machines" and "self-organizing systems." That interest launched a group that ultimately grew into a major world center of artificial intelligence research - a center that has endured twenty-five years of boom and bust in fashion, has "graduated" over a hundred AI research professionals, and has generated ideas and programs resulting in new products and companies as well as scientific articles, books, and this particular collection itself.

[1]  Zohar Manna,et al.  Deductive Synthesis of the Unification Algorithm , 1981, Sci. Comput. Program..

[2]  R. O. Duda,et al.  PROSPECTOR—A computer-based consultation system for mineral exploration , 1978 .

[3]  Jay M. Tenenbaum.  On locating objects by their distinguishing features in multisensory images , 1973, Comput. Graph. Image Process..

[4]  Donald E. Walker.  Progress in Speech Understanding Research at SRI , 1975 .

[5]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[6]  Robert C. Bolles.  Part acquisition using the SRI vision module , 1979, COMPSAC.

[7]  Lorna Shinkle.  Team User's Guide , 1984 .

[8]  Jane J. Robinson.  DIAGRAM: a grammar for dialogues , 1986, CACM.

[9]  Karl N. Levitt,et al.  Reasoning about programs , 1973, Artif. Intell..

[10]  Richard Fikes,et al.  Plan for a Computer-Based Consultant System. , 1974 .

[11]  Harry G. Barrow,et al.  Representation and use of knowledge in vision , 1975, SGAR.

[12]  Zohar Manna,et al.  On Program Synthesis and Program Verification , 1970 .

[13]  Harry G. Barrow,et al.  Scene modeling: a structural basis for image description , 1980 .

[14]  Gary G. Hendrix,et al.  Expanding the Utility of Semantic Networks Through Partitioning , 1975, IJCAI.

[15]  C. A. Rosen,et al.  Machine Vision and Robotics: Industrial Requirements , 1979 .

[16]  Scott Weinstein,et al.  Providing a Unified Account of Definite Noun Phrases in Discourse , 1983, ACL.

[17]  Robert C. Bolles,et al.  Prospects for Industrial Vision , 1979 .

[18]  Mark E. Stickel.  Theory Resolution: Building in Nonequational Theories , 1983, AAAI.

[19]  Richard J. Waldinger,et al.  QA4: A Procedural Calculus for Intuitive Reasoning. , 1972 .

[20]  J M Tenenbaum,et al.  MSYS: A System for Reasoning About Scenes. , 1975 .

[21]  Richard Fikes,et al.  REF-ARF: A System for Solving Problems Stated as Procedures , 1970, Artif. Intell..

[22]  Barbara J. Grosz,et al.  Focusing and Description in Natural Language Dialogues , 1979 .

[23]  Herbert S. Terrace.  IS PROBLEM-SOLVING LANGUAGE? , 1980 .

[24]  Barbara J. Grosz,et al.  The representation and use of focus in dialogue understanding. , 1977 .

[25]  SagalowiczDaniel,et al.  Developing a natural language interface to complex data , 1978 .

[26]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

[27]  H. S. Terrace,et al.  Is Problem-Solving Language? , 1979 .

[28]  W. Paxton.  A best-first parser , 1975 .

[29]  Barbara J. Grosz,et al.  Utterance and objective: issues in natural language communication , 1979, IJCAI 1979.

[30]  Jerry R. Hobbs,et al.  DIALOGIC: A Core Natural-Language Processing System , 1982, COLING.

[31]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[32]  Zohar Manna,et al.  Knowledge and Reasoning in Program Synthesis , 1974, IJCAI.

[33]  J. M. Tenenbaum,et al.  Map-guided interpretation of remotely-sensed imagery , 1899 .

[34]  Richard O. Duda,et al.  Subjective bayesian methods for rule-based inference systems , 1899, AFIPS '76.

[35]  Martin A. Fischler,et al.  A General Approach to Machine Perception of Linear Structure in Imaged Data , 1983 .

[36]  Zohar Manna,et al.  Synthesis: Dreams - Programs , 1979, IEEE Trans. Software Eng..

[37]  Thomas D. Garvey,et al.  Application of Interactive Scene Analysis Techniques to Cartography , 1976 .

[38]  David Nitzan,et al.  Programmable Industrial Automation , 1976, IEEE Transactions on Computers.

[39]  Andrew J. Hanson.  Overview of the Image Understanding Testbed , 1983 .

[40]  Daniel Sagalowicz,et al.  A Team User's Guide , 1981 .

[41]  Barbara J. Grosz,et al.  TEAM: A Transportable Natural-Language Interface System , 1983, ANLP.

[42]  Jane J. Robinson.  A Tuneable Performance Grammar , 1975, CL.

[43]  Karl N. Levitt,et al.  Reasoning about programs , 1973, POPL '73.

[44]  H. Barrow.  Interactive Aids for Cartography and Photo Interpretation , 1976 .

[45]  Martin A. Fischler,et al.  Detection of roads and linear structures in low-resolution aerial imagery using a multisource knowledge integration technique☆ , 1981 .

[46]  Robert Bolles,et al.  Three-dimensional locating of industrial parts , 1983 .

[47]  David E Wilkins.  Parallelism in Planning and Problem Solving: Reasoning About Resources. , 1982 .

[48]  Donald E. Walker,et al.  The SRI speech understanding system , 1975 .

[49]  Grahame B. Smith.  Detection of Rivers in Low-Resolution Aerial Imagery , 1981 .

[50]  Gary G. Hendrix,et al.  Encoding Knowledge in Partitioned Networks , 1979 .

[51]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[52]  Gerald J. Agin.  AN EXPERIMENTAL VISION SYSTEM FOR INDUSTRIAL APPLICATION * , .

[53]  Robert C. Bolles,et al.  Random sample consensus: a paradigm for model fitting with applications to image analysis and automated cartography , 1981, CACM.

[54]  Zohar Manna,et al.  A Deductive Approach to Program Synthesis , 1979, TOPL.

[55]  William H. Paxton.  Experiments in Speech Understanding System Control , 1976 .

[56]  Andrew J. Hanson,et al.  The DARPA/DMA Image Understanding Testbed, , 1982 .

[57]  C. Cordell Green,et al.  The Application of Theorem Proving to Question-Answering Systems , 1969, Outstanding Dissertations in the Computer Sciences.

[58]  Zohar Manna,et al.  Is “sometime” sometimes better than “always”?: Intermittent assertions in proving program correctness , 1976, ICSE '76.

[59]  David E. Wilkins,et al.  An Interactive Planning System. , 1981 .

[60]  Stephen T. Barnard.  Automated Inspection Using Gray-Scale Statistics , 1980, AAAI.

[61]  John D. Lowrance,et al.  Evidential Reasoning: An Implementation for Multisensor Integration , 1983 .

[62]  Douglas Edmund Appelt,et al.  Planning natural language utterances to satisfy multiple goals , 1981 .

[63]  Thomas D. Garvey,et al.  ISIS: An Interactive Facility for Scene Analysis Research , 1974 .

[64]  Earl D. Sacerdoti,et al.  QLISP - A language for the interactive development of complex systems , 1899 .

[65]  Robert C. Bolles,et al.  Locating Partially Visible Objects: The Local Feature Focus Method , 1980, AAAI.

[66]  L. Quam.  Road Tracking and Anomaly Detection in Aerial Imagery , 1978 .

[67]  A FischlerMartin,et al.  Random sample consensus , 1981 .

[68]  Gary G. Hendrix.  Klaus: A System for Managing Information and Computational Resources , 1980 .

[69]  K. Konolige.  A deduction model of belief , 1986 .

[70]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[71]  Zohar Manna,et al.  Towards automatic program synthesis , 1971, Symposium on Semantics of Algorithmic Languages.

[72]  Charles A. Rosen.  AN EXPERIMENTAL MOBILE AUTOMATON , 1970 .

[73]  T. Garvey.  Perceptual strategies for purposive vision , 1975 .

[74]  Peter E. Hart,et al.  Experiments in Scene Analysis , 1970 .

[75]  R. Waldinger,et al.  Special Relations in Program-Synthetic Deduction, , 1982 .

[76]  RICHARD 0. DUDA,et al.  Subjective bayesian methods for rule-based inference systems , 1899, AFIPS '76.

[77]  Daniel Sagalowicz.  A D-Ladder User's Guide , 1980 .

[78]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[79]  William Hamilton Paxton,et al.  A framework for speech understanding , 1977 .

[80]  Douglas E. Appelt,et al.  Transportability and Generality in a Natural-Language Interface System , 1983, IJCAI.

[81]  Barbara J. Grosz,et al.  The Representation and Use of Focus in a System for Understanding Dialogs , 1977, IJCAI.

[82]  Ann E. Robinson,et al.  System Integration and Control in a Speech Understanding System , 1975, CL.

[83]  Harry G. Barrow,et al.  Experiments in Interpretation-Guided Segmentation , 1977, Artificial Intelligence.

[84]  Kurt Konolige,et al.  A First-Order Formalization of Knowledge and Action for a Multiagent Planning System. , 1980 .

[85]  Earl D. Sacerdott.  Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.

[86]  Earl D. Sacerdoti,et al.  Language Access to Distributed Data with Error Recovery , 1977, IJCAI.

[87]  Gary G. Hendrix.  Lifer: a natural language interface facility , 1977, SGAR.

[88]  Zohar Manna,et al.  Toward automatic program synthesis , 1971, Symposium on Semantics of Algorithmic Languages.

[89]  Andrew J. Hanson.  The DARPA/DMA Image Understanding Testbed SYSTEM MANAGER'S MANUAL. Version 2.0 , 1985 .