Browse Technical Notes

460 publications found:

• 1.  Bell, James Richard. Design of a Minimal Expandable Computer Language, Technical Note 1. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Dec 1968.  [PDF, Details]

• 4.  Green, C. Application of Theorem Proving to Problem Solving, Technical Note 4. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1969.  [PDF, Details]

• 5.  Lipman, Peter H. Design and Implementation of a Disc Software System, Technical Note 5. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1969.  [PDF, Details]

• 6.  Huffman, D. A. Logical Analysis of Pictures of Polyhedra, Technical Note 6. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1969.  [PDF, Details]

• 7.  Fennema, Claude and Brice, Claude. A Region-Oriented Data Structure, Technical Note 7. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1969.  [PDF, Details]

• 8.  Green, C. The Application of Theorem Proving to Question-Answering Systems, Technical Note 8. AI Center, SRI International", 333 Ravenswood Ave, Menlo Park, CA 94025, Jun 1969.  [PDF, Details]

• 9.  Coles, L.S. and Green, C. Chemistry Question-Answering, Technical Note 9. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jun 1969.  [PDF, Details]

• 11.  Coles, L. Stephen. Computer-Aided Instruction Using an Inferential Question-Answering, Technical Note 11. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1969.  [PDF, Details]

• 13.  Raphael, Bertram. Relevance of Robot Research to Artificial Intelligence, Technical Note 13. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1969.  [PDF, Details]

• 14.  Fikes, Richard E. REF-ARF: A System for Solving Problems Stated as Procedures, Technical Note 14. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1969.  [PDF, Details]

• 15.  Garvey, Thomas D., and Kling, Robert E. User’s Guide To QA3.5 Question-Answering System, Technical Note 15. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Dec 1969.  [PDF, Details]

• 16.  Munson, John H. A Lisp-Fortran-Macro Interface for The PDP-10 Computer, Technical Note 16. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1969.  [PDF, Details]

• 17.  Brice, Claude R., and Fennema, Claude L. Scene Analysis Using Regions, Technical Note 17. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1970.  [PDF, Details]

• 18.  Brice, Claude R., Fennema, Claude L., Weyl, Stephen A. AROS. Algorithms for Partitioning a Picture, Technical Note 18. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1970.  [PDF, Details]

• 19.  Munson, John H. SRI Intelligent Automaton Program, Technical Note 19. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1970.  [PDF, Details]

• 20.  Duda, R.O. and Hart, P.E. Experiments in Scene Analysis, Technical Note 20. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1970.  [PDF, Details]

• 21.  Nilsson, Nils J. A Survey of the Literature on Problem-Solving Methods in Artificial Intelligence, Technical Note 21. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1970.  [PDF, Details]

• 22.  A LISP Implementation of BIP. Fikes, Richard E., Technical Note 22. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1970.  [PDF, Details]

• 24.  Yates, Robert A., Raphael, Bertram, and Hart, Timothy P. . Resolution Graphs, Technical Note 24. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1970.  [PDF, Details]

• 25.  Ellis, John K. and Chaitin, Leonard J. PDP-15 Simulator, Technical Note 25. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1970.  [PDF, Details]

• 30.  Raphael, Bertram. Robot Problem Solving* Without State Variables, Technical Note 30. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1970.  [PDF, Details]

• 33.  Raphael, Bertram. The Frame Problem in Problem-Solving Systems, Technical Note 33. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1970.  [PDF, Details]

• 34.  Manna, Zohar and Waldinger, Richard J. Towards Automatic Program Synthesis, Technical Note 34. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1970.  [PDF, Details]

• 36.  Duda, R.O. and Hart, P.E. Use of the Hough Transformation to Detect Lines and Curves in Pictures, Technical Note 36. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1971.  [PDF, Details]

• 37.  Kling, Robert E. SRI - Trace Package for PDP-10 LISP, Technical Note 37. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1970.  [PDF, Details]

• 38.  Nilsson, Nils J., and Hart, Peter E. An Information-processing Model of Operant Behavior, Technical Note 38. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1970.  [PDF, Details]

• 39.  Rosen, C.A. An Experimental Mobile Automaton, Technical Note 39. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jul 1970.  [PDF, Details]

• 40.  Nilsson, N.J. A Mobile Automaton: An Application of Artificial Intelligence Techniques, Technical Note 40. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1969.  [PDF, Details]

• 41.  Coles, L. Stephen . Experiment in Robot Tool Using, Technical Note 41. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Oct 1970.  [PDF, Details]

• 43.  Nilsson, N. J., Fikes, R. E. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving, Technical Note 43. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, October 1970.  [PDF, Details]

• 44.  Kling, Robert E. Design Implications of Theorem-Proving Strategies, Technical Note 44. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Oct 1970.  [PDF, Details]

• 46.  Duda, R.O. Some Current Techniques for Scene Analysis, Technical Note 46. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Oct 1970.  [PDF, Details]

• 48.  Rulifson, Johns F., Waldinger, Richard J., Derksen, Jan A. A Language for Writing Problem-Solving Programs, Technical Note 48. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025", Apr 1971.  [PDF, Details]

• 50.  Rulifson, Johns F. Preliminary Specification of the QA4 Language, Technical Note 50. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1970.  [PDF, Details]

• 51.  Coles, L. Stephen. The Application of Theorem Proving to Information Retrieval, Technical Note 51. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1971.  [PDF, Details]

• 52.  Manna, Zohar, and Waldinger, Richard J. On Program Synthesis and Program Verification, Technical Note 52. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1970.  [PDF, Details]

• 53.  Fikes, Richard E. Failure Tests and Goals in Plans, Technical Note 53. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1971.  [PDF, Details]

• 54.  Masuda, Kazuhiko. ISUPPOSEW--A Computer Program That Finds Regions in the Plan Model of a Visual Scene, Technical Note 54. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1971.  [PDF, Details]

• 55.  Fikes, R. E. Monitored Execution of Robot Plans Produced by STRIPS, Technical Note 55. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1971.  [PDF, Details]

• 56.  Kling, Robert E. Information Processing Approach to Reasoning by Analogy, Technical Note 56. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1971.  [PDF, Details]

• 59.  Munson, John H. Robot Planning, Execution, and Monitoring in an Uncertain Environment, Technical Note 59. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1971.  [PDF, Details]

• 60.  Rulifson, Johns F. QA4 Programming Concepts, Technical Note 60. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1971.  [PDF, Details]

• 61.  Munson, John H. Efficient Calculations on Points and Lines in the Euclidean Plane, Technical Note 61. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Oct 1971.  [PDF, Details]

• 62.  Hart, Peter E., Nilsson, Nils J., and Robinson, Ann E. A Causality Representation for Enriched Robot Task Domains, Technical Note 62. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1972.  [PDF, Details]

• 63.  Raphael, Bertram. The Role of Formal Theorem Proving in Artificial Intelligence, Technical Note 63. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1972.  [PDF, Details]

• 64.  Raphael, B. Robot Research at Stanford Research Institute, Technical Note 64. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1972.  [PDF, Details]

• 65.  Derksen, Jan, Rulifson, Johns F., and Waldinger, Richard J. QA4 Language Applied to Robot Planning, Technical Note 65. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1972.  [PDF, Details]

• 66.  Rosen, Charles A. Robots, Productivity, and Quality, Technical Note 66. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1972.  [PDF, Details]

• 68.  Fikes, Richard E., Hart, Peter E., and Nilsson, Nils J. Some New Directions in Robot Problem Solving, Technical Note 68. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1972.  [PDF, Details]

• 70.  Fikes, R.E., Hart, P.E., Nilsson, N.J. Learning and Executing Generalized Robot Plans, Technical Note 70. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jul 1972.  [PDF, Details]

• 71.  Nitzan, David. Stereopsis Error Analysis, Technical Note 71. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1972.  [PDF, Details]

• 72.  Raphael, Bertram and Robinson, Ann E. Bibliography on Computer Semantics, Technical Note 72. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025", Oct 1972.  [PDF, Details]

• 73.  Rulifson, J. F. and Derksen, J. A. and Waldinger, R. J. QA4: A Procedural Calculus For Intuitive Reasoning, Technical Note 73. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1972.  [PDF, Details]

• 74.  Coles, L. Stephen. Techniques for Information Retrieval Using an Inferential Question-Answering System with Natural-Language Input, Technical Note 74. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1972.  [PDF, Details]

• 75.  Reboh, Rene, Raphael, Bertram, Yates, Robert A., Kling, Robert E., and Velarde, Carlos. Study of Automatic Theorem-Proving Programs, Technical Note 75. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1972.  [PDF, Details]

• 76.  Nilsson, Nils J. Hierarchical Robot Planning and Execution System, Technical Note 76. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1973.  [PDF, Details]

• 77.  Walker, Donald E. Automated Language Processing, Technical Note 77. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1973.  [PDF, Details]

• 78.  Sacerdoti, Earl D. Planning in a Hierarchy of Abstraction Spaces, Technical Note 78. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1973.  [PDF, Details]

• 79.  Paxton, William H., and Robinson, Ann E. Parser for a Speech Understanding System, Technical Note 79. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1973.  [PDF, Details]

• 80.  Walker, Donald E. Speech Understanding Through Syntactic and Semantic Analysis, Technical Note 80. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1973.  [PDF, Details]

• 81.  Reboh, Rene and Sacerdoti, Earl. Preliminary QLISP Manual, Technical Note 81. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1973.  [PDF, Details]

• 82.  Bobrow, Daniel G., and Raphael, Bertram. New Programming Languages for A1 Research, Technical Note 82. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1973.  [PDF, Details]

• 83.  Nitzan, David. Object Recognition in Multisensory Scene Analysis, Technical Note 83. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Dec 1973.  [PDF, Details]

• 84.  Tenenbaum, Jay M. On Locating Objects by Their Distinguishing Features in Multisensory Images, Technical Note 84. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1973.  [PDF, Details]

• 86.  Waldinger, R. J. and Levitt, K. N. Reasoning About Programs, Technical Note 86. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1974.  [PDF, Details]

• 89.  Nilsson, Nils J. Artificial Intelligence, Technical Note 89. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1973.  [PDF, Details]

• 90.  Deutsch, Barbara G. Structure of Task Oriented Dialogs, Technical Note 90. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1974.  [PDF, Details]

• 91.  Walker, Donald E. SRI Speech Understanding System, Technical Note 91. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1974.  [PDF, Details]

• 92.  Paxton, William H. A Best-First Parser , Technical Note 92. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1974.  [PDF, Details]

• 94.  Nilsson, N. J., Agin, J., Deutsch, B. G., Fikes, R., Sacerdoti, E. D., and Tenenbaum, J. M. Plan for a Computer-Based Consultant System, Technical Note 94. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1974.  [PDF, Details]

• 95.  J. M. Tenenbaum, J. M., Gamey, T. D., Weyl, S. A., and Wolf, H. C. ISIS: An Interactive Facility for Scene Analysis Research, Technical Note 95. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1974.  [PDF, Details]

• 96.  Falconer, David G. Digital Processing of Breast Thermograms, Technical Note 96. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1974.  [PDF, Details]

• 97.  Robinson, Jane J. Performance Grammars, Technical Note 97. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1974.  [PDF, Details]

• 98.  Manna, Zohar and Waldinger, R. J. Knowledge and Reasoning In Program Synthesis, Technical Note 98. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1974.  [PDF, Details]

• 99.  Hart, Peter E. Progress on a Computer Based Consultant, Technical Note 99. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1975.  [PDF, Details]

• 101.  Sacerdoti, Earl D. Nonlinear Nature of Plans, Technical Note 101. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1975.  [PDF, Details]

• 105.  Hendrix, Gary G. Expanding the Utility of Semantic Networks Through Partitioning, Technical Note 105. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1975.  [PDF, Details]

• 106.  Fikes, Richard E. Deductive Retrieval Mechanisms for State Description Models, Technical Note 106. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1975.  [PDF, Details]

• 107.  Waldinger, Richard. Achieving Several Goals Simultaneously, Technical Note 107. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1975.  [PDF, Details]

• 108.  Barrow, H. G. Representation and Use of Knowledge in Vision, Technical Note 108. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1975.  [PDF, Details]

• 109.  Sacerdoti, Earl D. A Structure For Plans and Behavior, Technical Note 109. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1975.  [PDF, Details]

• 110.  Walker, Donald E. Progress in Speech Understanding Research at SRI, Technical Note 110. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1975.  [PDF, Details]

• 111.  Paxton, William H., and Robinson, Ann E. System Integration and Control in a Speech Understanding System, Technical Note 111. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1975.  [PDF, Details]

• 112.  Robinson, Jane J. A Tuneable Performance Grammar, Technical Note 112. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1975.  [PDF, Details]

• 113.  Hendrix, Gary G. Semantic Processing For Speech Understanding, Technical Note 113. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1975.  [PDF, Details]

• 114.  Deutsch, Barbara G. Establishing Context in Task-Oriented Dialogs, Technical Note 114. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1975.  [PDF, Details]

• 115.  Slocum, Jonathan. Speech Generation from Semantic Nets, Technical Note 115. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1975.  [PDF, Details]

• 116.  Weyl, Stephen. An INTERLISP Relational Data Base System, Technical Note 116. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1975.  [PDF, Details]

• 117.  Garvey, Thomas D. Perceptual Strategies For Purposive Vision, Technical Note 117. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1976.  [PDF, Details]

• 118.  Wilber, B. M. QLISP Reference Manual, Technical Note 118. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1976.  [PDF, Details]

• 119.  Fikes, Richard E. Knowledge Representation in Automatic Planning Systems, Technical Note 119. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1976.  [PDF, Details]

• 120.  Sacerdoti, Earl and Fikes, Richard and Reboh, Rene and Sagalowicz, Daniel and Waldinger, Richard and Wilber, B. Michael. Qlisp: A Language For The Interactive Development Of Complex Systems, Technical Note 120. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1976.  [PDF, Details]

• 121.  Barrow, Harry G. and Tenenbaum, J. Martin. Msys: A System For Reasoning About Scenes, Technical Note 121. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1976.  [PDF, Details]

• 122.  Rosen, Charles A., and Nitzan, David. Use of Sensors in Programmable Automation, Technical Note 122. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Dec 1977.  [PDF, Details]

• 123.  Tenenbaum, J. Martin and Barrow, Harry G. Experiments In Interpretation-Guided Segmentation, Technical Note 123. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1976.  [Details]

• 124.  Duda, Richard O. and Hart, Peter E. and Nilsson, Nils J. Subjective Bayesian Methods For Rule-Based Inference Systems, Technical Note 124. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1976.  [PDF, Details]

• 126.  Hart, Peter E. Artificial Intelligence, Technical Note 126. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1976.  [PDF, Details]

• 127.  Garvey, Thomas D. and Tenenbaum, J. Martin. Application Of Interactive Scene Analysis Techniques To Cartography, Technical Note 127. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1976.  [PDF, Details]

• 130.  Nilsson, Nils J. Some Examples of AI Mechanisms for Goal Seeking, Planning, and Reasoning, Technical Note 130. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1976.  [PDF, Details]

• 132.  Manna, Zohar and Waldinger, Richard. Is ``Sometime'' Sometimes Better Than ``Always?'' Intermittent, Assertion In Proving Program Correctness, Technical Note 132. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1976.  [PDF, Details]

• 134.  Paxton, William H. Experiments In Speech Understanding System Control, Technical Note 134. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1976.  [PDF, Details]

• 135.  Hendrix, Gary G. LIFER: a Natural Language Interface Facility, Technical Note 135. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Dec 1976.  [PDF, Details]

• 136.  Duda, Richard O. Semantic Network Representation In Rule Based Inference System, Technical Note 136. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1977.  [PDF, Details]

• 137.  Barrow, Harry and Garvey, Thomas and Kremers, Jan and Tenenbaum, J. Martin and Wolf, Helen C. Interactive Aids For Cartography and Photo Interpretation, Technical Note 137. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1977.  [PDF, Details]

• 138.  Hendrix, Gary G. Lifer Manual: A Guide To Building Practical Natural Language Interface, Technical Note 138. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1977.  [PDF, Details]

• 139.  Hendrix, Gary G. Human Engineering For Applied Natural Language Processing, Technical Note 139. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1977.  [PDF, Details]

• 140.  Sacerdoti, Earl D. Language Access To Distributed Data With Error Recovery, Technical Note 140. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1977.  [PDF, Details]

• 142.  Paxton, William H. A Framework For Speech Understanding, Technical Note 142. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1977.  [PDF, Details]

• 143.  Walker, Donald E., Paxton, William H., with Grosz, B., Hendrix, G. G., Robinson, A. E., Robinson J. J., and Slocum, J. Procedures for Integrating Knowledge in a Speech Understanding System, Technical Note 143. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1977.  [PDF, Details]

• 144.  Sagalowicz, Daniel, and Morris, P. Managing Network Access to a Distributed Database, Technical Note 144. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025", June 1977.  [PDF, Details]

• 145.  Sagalowicz, Daniel. IDA: An Intelligent Data Access Program, Technical Note 145. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1977.  [PDF, Details]

• 147.  Hendrix, Gary G. and Fikes, Richard. A Network-Based Knowledge Representation and Its Natural Systems, Technical Note 147. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1977.  [PDF, Details]

• 148.  Nilsson, Nils J. A Production System For Automatic Deduction, Technical Note 148. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1977.  [PDF, Details]

• 150.  Grosz, Barbara J. The Representation and Use of Focus in a System for Understanding Dialogs, Technical Note 150. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1977.  [PDF, Details]

• 151.  Grosz, Barbara J. The Representation and Use Of Focus In Dialogue, Technical Note 151. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1977.  [PDF, Details]

• 152.  Gary G. Hendrix, Earl D. Sacerdoti, Daniel S and Slocum, Jonathan. Developing A Natural Language Interface To Complex Data, Technical Note 152. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1977.  [PDF, Details]

• 153.  Barrow, H. G., Tenenbaum, J. M., Bolles, R. C., and Wolf, H. C. Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching, Technical Note 153. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, 1977.  [PDF, Details]

• 154.  Waldinger, Richard and Manna, Zohar. The Logic Of Computer Programming, Technical Note 154. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1977.  [PDF, Details]

• 155.  Hart, Peter E. and Duda, Richard O. Prospector--A Computer Based Consultation System For Mineral Exploration, Technical Note 155. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1977.  [PDF, Details]

• 156.  Waldinger, Richard and Manna, Zohar. Synthesis: Dreams == Programs, Technical Note 156. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1977.  [PDF, Details]

• 157.  Barrow, Harry G. and Tenenbaum, J. Martin. Recovering Intrinsic Scene Characteristics From Images, Technical Note 157. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1978.  [PDF, Details]

• 158.  Quam, Lynn H. Road Tracking and Anomaly Detection In Aerial Imagery, Technical Note 158. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1978.  [PDF, Details]

• 162.  Duda, Richard O., Nitzan, David, and Barrett, Phyllis. Use of Range and Reflectance Data to Find Planar Surface Regions, Technical Note 162. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1979.  [PDF, Details]

• 163.  Sacerdoti, Earl D. and Sagalowicz, Daniel. A Ladder User’s Guide (Revised), Technical Note 163. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1980.  [PDF, Details]

• 164.  Hendrix, Gary G. Encoding Knowledge In Partitioned Networks, Technical Note 164. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1978.  [PDF, Details]

• 165.  Robinson, Ann E. Investigating The Process Of Natural Language Communication, Technical Note 165. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1978.  [PDF, Details]

• 166.  Grosz, Barbara J. Focusing in Dialog, Technical Note 166. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1978.  [PDF, Details]

• 167.  Preiss, Kenneth. Engineering Design Viewed as an Activity in Artificial Intelligence, Technical Note 167. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1978.  [PDF, Details]

• 168.  Hobbs, Jerry R. Coherence and Coreference, Technical Note 168. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1978.  [PDF, Details]

• 169.  Hobbs, Jerry R. and Robinson, Jane J. Why Ask?, Technical Note 169. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1978.  [PDF, Details]

• 170.  Moore, Robert C. Handling Complex Queries In A Distributed Data Base, Technical Note 170. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1979.  [PDF, Details]

• 171.  Epstein, Martin N. and Walker, Donald E. Natural Language Access To A Melanoma Data Base, Technical Note 171. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1978.  [PDF, Details]

• 173.  Tenenbaum, J. Martin and Fischler, Martin A. and Wolf, Helen C. A Scene-Analysis Approach To Remote Sensing, Technical Note 173. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1978.  [Details]

• 174.  Rosen, Charles A. Machine Vision and Robotics: Industrial Requirements, Technical Note 174. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1978.  [PDF, Details]

• 175.  Tenenbaum, J. Martin and Barrow, Harry G. and Bolles, Robert C. Prospects For Industrial Vision, Technical Note 175. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1978.  [PDF, Details]

• 176.  Hobbs, Jerry R. Why Is Discourse Coherent?, Technical Note 176. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1978.  [PDF, Details]

• 177.  Manna, Zohar and Waldinger, Richard. A Deductive Approach To Program Synthesis, Technical Note 177. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1978.  [PDF, Details]

• 182.  Agin, Gerald J. Hierarchical Representation Of Three-Dimensional Objects Verbal Models, Technical Note 182. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1979.  [PDF, Details]

• 183.  Nitzan, David. Robotic Sensors in Programmable Automation, Technical Note 183. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1979.  [PDF, Details]

• 185.  Grosz, Barbara J. Focusing and Description In Natural Language Dialogues, Technical Note 185. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1979.  [PDF, Details]

• 186.  Bolles, Robert C. Symmetry Analysis of Two-Dimensional Patterns for Computer Vision, Technical Note 186. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1979.  [PDF, Details]

• 187.  Moore, Robert C. and Hendrix, Gary G. Computational Models Of Beliefs and The Semantics Of Belief-Sentences, Technical Note 187. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1979.  [PDF, Details]

• 188.  Grosz, Barbara J. Utterance and Objective: Issues In Natural Language Communication, Technical Note 188. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1979.  [PDF, Details]

• 189.  Sacerdoti, Earl D. Problem Solving Tactics, Technical Note 189. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1979.  [PDF, Details]

• 191.  Moore, Robert C. Reasoning About Knowledge and Action, Technical Note 191. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1979.  [Details]

• 195.  Fischler, Martin A. and Barrett, Phyllis. An Iconic Transform For Sketch Completion and Shape Abstraction, Technical Note 195. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1979.  [PDF, Details]

• 196.  Tenenbaum, J. M., Barrow, H. G., Bolles, R. C., Fischler, M. A. and Wolf, H. C. Map-Guided Interpretation Of Remotely-Sensed Imagery, Technical Note 196. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1979.  [PDF, Details]

• 197.  Konolige, Kurt. Framework for a Portable Natural - Language Interface to Large Data Bases, Technical Note 197. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Oct 1979.  [PDF, Details]

• 198.  Barrow, Harry G. Artificial Intelligence: State Of The Art, Technical Note 198. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1979.  [PDF, Details]

• 199.  Robinson, Jane J. Theoretical Foundations Of Linguistics and Automatic Text Processing, Technical Note 199. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1979.  [PDF, Details]

• 200.  Fischler, M. A. and Tenenbaum, J. M. and Wolf, H. C. Aerial Imagery Using A Multisource Knowledge Integration Technique, Technical Note 200. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1979.  [Details]

• 203.  Hobbs, Jerry R. and Evans, David A. Conversation As Planned Behavior, Technical Note 203. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1979.  [PDF, Details]

• 204.  Hobbs, Jerry R. Metaphor, Metaphor Schemata, and Selective Inferencing, Technical Note 204. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1979.  [PDF, Details]

• 205.  Robinson, Jane J. Diagram: A Grammar For Dialogues, Technical Note 205. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1980.  [PDF, Details]

• 206.  Robinson, Ann E. The Interpretation Of Verb Phrases In Dialogs, Technical Note 206. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1980.  [PDF, Details]

• 209.  Sacerdoti, Earl D. Plan Generation and Execution For Robotics, Technical Note 209. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1980.  [PDF, Details]

• 210.  Ann E. Robinson, Douglas E. Appelt, Barbara J and Robinson, Jane J. Interpreting Natural-Language Utterances In Dialogs About Tasks, Technical Note 210. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1980.  [PDF, Details]

• 213.  Fischler, Martin A. and Bolles, Robert C. Random Sample Consensus: A Paradigm for Model Fitting with Applications to Image Analysis and Automated Cartography, Technical Note 213. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1980.  [PDF, Details]

• 220.  Quam, Lynn H. A Storage Representation For Efficient Access To Large, Multidimensional Arrays, Technical Note 220. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1980.  [PDF, Details]

• 221.  Tenenbaum, Jay M. and Fischler, Martin A. and Barrow, Harry G. Scene Modeling: A Structural Basis For Image Description, Technical Note 221. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1980.  [PDF, Details]

• 222.  Barrow, Harry G. and Tenenbaum, J. Martin. Reconstructing Smooth Surfaces From Partial, Noisy Information, Technical Note 222. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1980.  [PDF, Details]

• 224.  Sagalowicz, Daniel. A D-Ladder User’s Guide, Technical Note 224. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1980.  [PDF, Details]

• 225.  Agar, Michael and Hobbs, Jerry R. Interpreting Discourse: Coherence and The Analysis Of, Ethnographic Interviews, Technical Note 225. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1980.  [PDF, Details]

• 226.  Manna, Zohar and Waldinger, Richard. Problematic Features Of Programming Languages: Situational-Calculus, Approach Part I: Assignment Statements, Technical Note 226. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1980.  [Details]

• 227.  Haas, Norman and Hendrix, Gary G. An Approach To Acquiring and Applying Knowledge, Technical Note 227. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1980.  [PDF, Details]

• 228.  Hendrix, Gary G. and Lewis, William H. Transportable Natural-Language Interfaces To Databases, Technical Note 228. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1981.  [PDF, Details]

• 229.  Nilsson, Nils J. The Interplay Between Experimental and Theoretical Methods, In Artificial Intelligence, Technical Note 229. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1980.  [PDF, Details]

• 230.  Hendrix, Gary G. Klaus: A System For Managing Information and Computational Resources, Technical Note 230. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1980.  [PDF, Details]

• 232.  Konolige, Kurt. A First-Order Formalization Of Knowledge and Action For A Multiagent, Planning System, Technical Note 232. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1980.  [PDF, Details]

• 233.  Fischler, Martin A. Computational Structures For Machine Perception, Technical Note 233. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1981.  [PDF, Details]

• 237.  Hendrix, Gary G. and Sacerdoti, Earl D. Natural-Language Processing Part One: The Field In Perspective, Technical Note 237. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1981.  [PDF, Details]

• 239.  Moore, Robert C. Automatic Deduction For Commonsense Reasoning: An Overview, Technical Note 239. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1981.  [PDF, Details]

• 240.  Walker, Donald E. and Hobbs, Jerry R. Natural Language Access To Medical Text, Technical Note 240. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1981.  [PDF, Details]

• 241.  Moore, Robert C. Problems In Logical Form, Technical Note 241. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1981.  [PDF, Details]

• 243.  Reboh, Rene. Knowledge-Engineering Techniques and Tools, Technical Note 243. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, June 1981.  [PDF, Details]

• 244.  Smith, Grahame B. Detection Of Rivers In Low-Resolution Aerial Imagery, Technical Note 244. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1981.  [PDF, Details]

• 245.  Wilkins, David E., and Robinson, Ann E. An Interactive Planning System, Technical Note 245. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jul 1981.  [PDF, Details]

• 246.  Manna, Zohar and Waldinger, Richard. Deductive Synthesis Of The Unification Algorithm, Technical Note 246. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1981.  [PDF, Details]

• 247.  Zadeh, Lotfi A. Test-Score Semantics for Natural Languages and Meaning Representation via PRUF, Technical Note 247. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1981.  [PDF, Details]

• 248.  Nilsson, Nils J. Artificial Intelligence: Engineering, Science Or Slogan?, Technical Note 248. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1981.  [PDF, Details]

• 249.  Bolles, Robert C., Kremers, Jan H., Cain, Ronald A. A Simple Sensor to Gather Three-Dimensional Data, Technical Note 249. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1981.  [PDF, Details]

• 251.  Moore, Robert C. Practical Natural-Language Processing by Computer, Technical Note 251. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Oct 1981.  [PDF, Details]

• 252.  Haas, Norman and Hendrix, Gary. Machine Learning For Information Management, Technical Note 252. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1981.  [PDF, Details]

• 253.  Walker, Donald E. Computational Strategies For Analyzing The Organization And, Use Of Information, Technical Note 253. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1981.  [PDF, Details]

• 254.  Archbold, Armar A. and Grosz, Barbara and Sagalowicz, Daniel. A Team User’s Guide, Technical Note 254. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1981.  [PDF, Details]

• 255.  Konolige, Kurt. The Database As Model: A Metatheoretic Approach, Technical Note 255. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1981.  [PDF, Details]

• 256.  Farley, Arthur M. A Probabilistic Model For Uncertain Problem Solving, Technical Note 256. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1981.  [PDF, Details]

• 257.  Grosz, Barbara J. Research On Natural-Language Processing At SRI, Technical Note 257. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1981.  [PDF, Details]

• 258.  Wilkins, David E. Parallelism in Planning and Problem Solving: Reasoning About Resources, Technical Note 258. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1982.  [PDF, Details]

• 259.  Appelt, Douglas E. Planning Natural-Language Utterances To Satisfy Multiple Goals, Technical Note 259. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1982.  [PDF, Details]

• 261.  Barnard, Stephen T. and Fischler, Martin A. Computational Stereo, Technical Note 261. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1982.  [PDF, Details]

• 263.  Grosz, Barbara J. Team: A Transportable Natural-Language Interface System, Technical Note 263. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1982.  [Details]

• 264.  Moore, Robert C. The Role Of Logic In Knowledge Representation and Commonsense Reasoning, Technical Note 264. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1982.  [PDF, Details]

• 265.  Warren, David H. D. A View Of The Fifth Generation and Its Impact, Technical Note 265. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1982.  [PDF, Details]

• 266.  Wilkins, D. Domain Independent Planning: Representation and Plan Generation, Technical Note 266. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1983.  [PDF, Details]

• 267.  Fischler, M., Barnard, S. T., Bolles, R. C., and Witkin, A. Modeling and Using Physical Constraints In Scene Analysis, Technical Note 267. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1982.  [PDF, Details]

• 268.  Stickel, Mark E. A Nonclausal Connection-Graph Resolution Theorem-Proving Program, Technical Note 268. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1982.  [PDF, Details]

• 270.  Grosz, Barbara J. and Haas, Norman and Hendrix, Gary and Hobbs, Jerry and Martin, Paul and Moore, Robert and Robinson, Jane and Rosenschein, Stanley. Dialogic: A Core Natural-Language Processing System, Technical Note 270. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1982.  [PDF, Details]

• 271.  Barnard, Stephen T. Interpreting Perspective Images, Technical Note 271. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1982.  [PDF, Details]

• 272.  Pentland, Alex P. Local Shading Analysis, Technical Note 272. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1982.  [PDF, Details]

• 273.  Smith, Grahame B. From Image Irradiance To Surface Orientation, Technical Note 273. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1982.  [PDF, Details]

• 275.  Pereira, Fernando. Logic For Natural Language Analysis, Technical Note 275. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1983.  [PDF, Details]

• 276.  Fischler, Martin A. and Wolf, Helen C. A General Approach To Machine Perception Of Linear, Structure In Imaged Data, Technical Note 276. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1983.  [PDF, Details]

• 277.  Hanson, Andrew J. The DARPA/DMA Image Understanding Testbed User’s Manual, Technical Note 277. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1984.  [PDF, Details]

• 278.  Cheeseman, Peter. A Representation Of Time For Planning, Technical Note 278. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1983.  [PDF, Details]

• 280.  Pentland, Alex P. Fractal-Based Description Of Natural Scenes, Technical Note 280. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1984.  [PDF, Details]

• 281.  Shieber, Stuart M. Sentence Disambiguation By A Shift-Reduce Parsing Technique, Technical Note 281. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1983.  [PDF, Details]

• 282.  Pereira, Fernando C. N. Can Drawing Be Liberated From The Von Neumann Style?, Technical Note 282. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1983.  [PDF, Details]

• 283.  Stuart M. Shieber, Stucky, Susan U., Uszkoreit, Hans and Robinson, Jane J. Formal Constraints On Metarules, Technical Note 283. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1983.  [PDF, Details]

• 284.  Moore, Robert C. Semantical Considerations On Nonmonotonic Logic, Technical Note 284. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1983.  [PDF, Details]

• 285.  Uszkoreit, Hans. A Framework For Processing Partially Free Word Order, Technical Note 285. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1983.  [PDF, Details]

• 287.  Smith, Grahame B. Shape From Shading: An Assessment, Technical Note 287. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1983.  [PDF, Details]

• 288.  Laws, Kenneth I. The Ghough Generalized Hough Transform Package: Description, and Evaluation, Technical Note 288. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1982.  [PDF, Details]

• 289.  Laws, Kenneth I. The Phoenix Image Segmentation System: Description and Evaluation, Technical Note 289. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1982.  [PDF, Details]

• 290.  Warren, David H. D. Applied Logic--Its Use and Implementation As A Programming Tool, Technical Note 290. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1983.  [PDF, Details]

• 291.  Shieber, Stuart M. Direct Parsing Of Id/Lp Grammars, Technical Note 291. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1983.  [PDF, Details]

• 292.  Grosz, Barbara J., Joshi, Aravind K., Weinstein, Scott. Providing A Unified Account Of Definite Noun Phrases In Discourse, Technical Note 292. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, June 1983.  [PDF, Details]

• 293.  Martin, Paul and Appelt, Douglas and Pereira, Fernando. Transportability and Generality In A Natural-Language Interface System, Technical Note 293. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1983.  [PDF, Details]

• 295.  Pereira, Fernando C. N. and Warren, David H. D. Parsing As Deduction, Technical Note 295. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1983.  [PDF, Details]

• 296.  Pereira, Fernando C. N. A New Characterization Of Attachment Preferences, Technical Note 296. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1983.  [PDF, Details]

• 297.  Appelt, Douglas E. Telegram: A Grammar Formalism For Language Planning, Technical Note 297. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1983.  [PDF, Details]

• 298.  Laws, Kenneth I. The Darpa/Dma Image Understanding Testbed Programmer's Manual, Technical Note 298. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1984.  [PDF, Details]

• 299.  Hanson, Andrew J. The Darpa/Dma Image Understanding Testbed System Manager’s Manual, Technical Note 299. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1985.  [PDF, Details]

• 301.  Laws, Kenneth I. and Smith, Grahame B. The Relax Image Relaxation System: Description and Evaluation, Technical Note 301. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1983.  [PDF, Details]

• 302.  Brain, Alfred E. and Barnard, Stephen T. A Laser Scanner for Solder Joint Imaging, Technical Note 302. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1983.  [PDF, Details]

• 304.  Stucky, Susan U. Metarules As Meta-Node-Admissibility Conditions, Technical Note 304. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1983.  [PDF, Details]

• 305.  Uszkoreit, Hans. On Some Formal Properties Of Metarules, Technical Note 305. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 198.  [PDF, Details]

• 306.  Smith, Grahame B. The Relationship Between Image Irradiance and Surface Orientation, Technical Note 306. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1983.  [PDF, Details]

• 307.  Lowrance, John D. and Garvey, Thomas D. Evidential Reasoning: An Implementation For Multisensor Integration, Technical Note 307. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1983.  [PDF, Details]

• 308.  Tick, Evan. An Overlapped Prolog Processor, Technical Note 308. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1983.  [PDF, Details]

• 309.  Warren, David H. D. An Abstract Prolog Instruction Set, Technical Note 309. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1983.  [PDF, Details]

• 310.  Hanson, Andrew J. Overview Of The Image Understanding Testbed, Technical Note 310. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1983.  [PDF, Details]

• 312.  Appelt, Douglas. Planning English Referring Expressions, Technical Note 312. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1983.  [PDF, Details]

• 313.  Georgeff, Michael. Communication and Interaction In Multi-Agent Planning, Technical Note 313. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1984.  [PDF, Details]

• 314.  Georgeff, Michael and Umberto Bonollo Monash U., Australia). Procedural Expert Systems, Technical Note 314. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1983.  [Details]

• 315.  Barnard, Stephen T. Choosing A Basis For Perceptual Space, Technical Note 315. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1984.  [PDF, Details]

• 317.  Nilsson, Nils J. The SRI Artificial Intelligence Center–A Brief History, Technical Note 317. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1984.  [PDF, Details]

• 318.  Lowrance, John D. and Garvey, Thomas D. An AI Approach to the Integration of Information, Technical Note 318. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1984.  [PDF, Details]

• 318.  Garvey, Thomas D. and Lowrance, John D. An Ai Approach To Information Fusion, Technical Note 318. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1983.  [Details]

• 319.  Konolige, Kurt. Belief and Incompleteness, Technical Note 319. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1984.  [PDF, Details]

• 320.  Moore, Robert C. A Formal Theory Of Knowledge and Action, Technical Note 320. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1984.  [PDF, Details]

• 321.  Nilsson, Nils J. Probabilistic Logic, Technical Note 321. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1984.  [PDF, Details]

• 322.  Nilsson, Nils J. Artificial Intelligence, Employment, and Income, Technical Note 322. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1984.  [PDF, Details]

• 323.  Nilsson, Nils J. Shakey The Robot, Technical Note 323. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1984.  [PDF, Details]

• 324.  Wesley, Leonard P. and Lowrance, John D. and Garvey, Thomas D. Reasoning About Control: An Evidential Approach, Technical Note 324. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1984.  [PDF, Details]

• 325.  Barnard, Stephen T. An Inductive Approach To Figural Perception, Technical Note 325. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1984.  [PDF, Details]

• 326.  Konolige, Kurt. A Deduction Model Of Belief and Its Logics, Technical Note 326. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1984.  [PDF, Details]

• 327.  Shieber, Stuart M. and Karttunen, Lauri and Pereira, Fernando C. N. Notes From The Unification Underground: A Compilation Of Papers On Unification-Based Grammar Formalisms, Technical Note 327. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1984.  [PDF, Details]

• 328.  Waldinger, Richard and Malachi, Yonathan and Manna, Zohar. Tablog: The Deductive-Tableau Programming Language, Technical Note 328. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1984.  [PDF, Details]

• 329.  Hobbs, Jerry R. Sublanguage and Knowledge, Technical Note 329. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1984.  [PDF, Details]

• 330.  Shieber, Stuart M. Evidence Against The Context-Freeness Of Natural Language, Technical Note 330. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1984.  [PDF, Details]

• 331.  Smith, Grahame B. and Wolf, Helen C. Image-To-Image Correspondence: Linear-Structure Matching, Technical Note 331. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1984.  [PDF, Details]

• 332.  Laws, Kenneth I. Evaluation Of Scene-Analysis Algorithms, Technical Note 332. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1984.  [PDF, Details]

• 333.  Smith, Grahame B. A Fast Surface Interpolation Technique, Technical Note 333. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1984.  [PDF, Details]

• 334.  Laws, Kenneth I. Goal-Directed Textured-Image Segmentation, Technical Note 334. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1984.  [PDF, Details]

• 335.  Moore, Robert C. The Role Of Logic In Artificial Intelligence, Technical Note 335. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1984.  [PDF, Details]

• 336.  Stickel, Mark E. A Prolog Technology Theorem Prover, Technical Note 336. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, 1984.  [PDF, Details]

• 337.  Moore, Robert C. Possible-World Semantics For Autoepistemic Logic, Technical Note 337. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1984.  [PDF, Details]

• 338.  Fischler, Martin A. and Firschein, Oscar. Parallel Guessing: A Strategy For High-Speed Computation, Technical Note 338. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1984.  [PDF, Details]

• 339.  Georgeff, Michael P. and Bodnar, Stephen F. A Simple and Efficient Implementation Of Higher-Order Functions In Lisp, Technical Note 339. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1984.  [PDF, Details]

• 340.  Stickel, Mark E. Automated Deduction By Theory Resolution, Technical Note 340. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1984.  [PDF, Details]

• 341.  Wilkins, David E. Monitoring the Execution of Plans in SIPE, Technical Note 341. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Oct 1984.  [PDF, Details]

• 342.  Hannah, Marsha Jo. Description Of SRI’s Baseline Stereo System, Technical Note 342. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1984.  [PDF, Details]

• 343.  Shinkle, Lorna. Team User's Guide, Technical Note 343. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1984.  [PDF, Details]

• 344.  Croft, William. The Representation Of Adverbs, Adjectives and Events In Logical Form, Technical Note 344. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1984.  [PDF, Details]

• 345.  Perrault, C. Raymond. On The Mathematical Properties Of Linguistic Theories, Technical Note 345. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1984.  [PDF, Details]

• 347.  Nilsson, Nils J. Triangle Tables: A Proposal For A Robot Programming Language, Technical Note 347. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1985.  [PDF, Details]

• 348.  Moore, Robert C. A Cognitivist Reply To Behaviorism, Technical Note 348. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1985.  [PDF, Details]

• 350.  Stuart, Christopher. Synchronization Of Multiagent Plans Using A Temporal Logic Theorem Prover, Technical Note 350. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1985.  [PDF, Details]

• 351.  Waldinger, Richard and Manna, Zohar. The Origin Of The Binary-Search Paradigm, Technical Note 351. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1986.  [PDF, Details]

• 353.  Stucky, Susan U. Configurational Variation In English: A Study Of Extraposition and Related Matters, Technical Note 353. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1985.  [PDF, Details]

• 354.  Shieber, Stuart. Criteria For Designing Computer Facilities For Linguistic Analysis, Technical Note 354. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1985.  [PDF, Details]

• 355.  Manna, Zohar and Waldinger, Richard. Special Relations In Automated Deduction, Technical Note 355. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1985.  [PDF, Details]

• 357.  Pentland, Alex P. Perceptual Organization and The Representation Of Natural Form, Technical Note 357. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1986.  [PDF, Details]

• 358.  Pednault, Edwin P. D. Preliminary Report On A Theory Of Plan Synthesis, Technical Note 358. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1985.  [PDF, Details]

• 359.  Israel, David. A Weak Logic Of Knowledge and Belief: Epistemic and Doxastic Logic For The Yuppie Generation, Technical Note 359. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, 1985.  [PDF, Details]

• 360.  Lansky, Amy L. Behavioral Specification and Planning for Multiagent Domains, Technical Note 360. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1985.  [PDF, Details]

• 361.  Stuart M. Shieber, Lauri Karttunen, Fernando Pereira and Kay, Martin. More Notes From The Unification Underground: A Second Compilation Of Papers On Unification-Based Grammar Formalisms, Technical Note 361. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1985.  [PDF, Details]

• 362.  Rosenschein, Stanley J. Formal Theories Of Knowledge In Ai and Robotics, Technical Note 362. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1985.  [PDF, Details]

• 363.  Konolige, Kurt G. Experimental Robot Psychology, Technical Note 363. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1985.  [PDF, Details]

• 364.  Uszkoreit, Hans. Constraints On Order, Technical Note 364. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1985.  [PDF, Details]

• 365.  Hannah, Marsha Jo. Evaluation Of Stereosys Vs. Other Stereo Systems, Technical Note 365. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1985.  [PDF, Details]

• 366.  Hannah, Marsha Jo. The Stereo Challenge Data Base, Technical Note 366. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1985.  [PDF, Details]

• 367.  Strat, Thomas M. One-Eyed Stereo: A Unified Strategy To Recover Shape From A Single Image, Technical Note 367. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1985.  [PDF, Details]

• 368.  Kronfeld, Amichai. Reference and Denotation: The Descriptive Model, Technical Note 368. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1985.  [PDF, Details]

• 369.  Grosz, Barbara J., and Sidner, Candace. L. The Structures Of Discourse Structure, Technical Note 369. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1985.  [PDF, Details]

• 370.  Wilkins, David E. Hierarchical Planning: Definition and Implementation, Technical Note 370. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Dec 1985.  [PDF, Details]

• 371.  Uszkoreit, Hans. Linear Precedence In Discontinuous Constituents: Complex Fronting In German, Technical Note 371. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1985.  [PDF, Details]

• 372.  Georgeff, Michael P. and Wallace, Christopher S. A General Selection Criterion For Inductive Inference, Technical Note 372. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1985.  [PDF, Details]

• 373.  Barnard, Stephen T. A Stochastic Approach To Stereo Vision, Technical Note 373. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1986.  [PDF, Details]

• 374.  Wesley, Leonard P. Evidential Knowledge-Based Computer Vision, Technical Note 374. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1986.  [PDF, Details]

• 375.  Georgeff, Michael P. and Lansky, Amy L. A System For Reasoning In Dynamic Domains: Fault Diagnosis On The Space Shuttle, Technical Note 375. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1986.  [PDF, Details]

• 376.  Hobbs, Jerry R. and Shieber, Stuart M. An Algorithm For Generating Quantifier Scopings, Technical Note 376. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1986.  [PDF, Details]

• 377.  Bolles, Robert C. and Baker, H. Harlyn. Epipolar-Plane Image Analysis: A Technique For Analyzing Motion Sequences, Technical Note 377. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1986.  [PDF, Details]

• 378.  Fua, Pascal and Hanson, Andrew J. Using Generic Geometric Knowledge To Delineate Cultural Objects In Aerial Imagery, Technical Note 378. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1986.  [PDF, Details]

• 379.  Smith, Grahame B. Stereo Integral Equation, Technical Note 379. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1986.  [PDF, Details]

• 380.  Michael P. Georgeff, Amy L. Lansky and Schoppers, Marcel J. Reasoning and Planning In Dynamic Domains: An Experiment With A Mobile Robot, Technical Note 380. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1987.  [PDF, Details]

• 381.  Kaelbling, Leslie Pack and Wilson, Nathan J. Rex Programmer's Manual, Technical Note 381. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1988.  [PDF, Details]

• 382.  Stickel, Mark E. A Prolog Technology Theorem Prover: Implementation By An Extended, Prolog Compiler, Technical Note 382. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1987.  [PDF, Details]

• 384.  Shieber, Stuart M. A Simple Reconstruction Of Gpsg, Technical Note 384. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1986.  [PDF, Details]

• 385.  Davies, Todd R. A Logical Approach To Reasoning By Analogy, Technical Note 385. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1987.  [PDF, Details]

• 387.  Pollack, M. E. A Model Of Plan Inference That Distinguishes Between The Beliefs of Actors and Observers, Technical Note 387. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1986.  [PDF, Details]

• 388.  Wilkins, David E. High-Level Planning In A Mobile Robot Domain, Technical Note 388. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1986.  [PDF, Details]

• 390.  Pentland, Alex and Kube, Paul. On The Imaging Of Fractal Surfaces, Technical Note 390. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1986.  [PDF, Details]

• 392.  Hobbs, Jerry R. and Croft, William and Davies, Todd and Edwards, Douglas and Laws, Kenneth. Commonsense Metaphysics and Lexical Semantics, Technical Note 392. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1986.  [PDF, Details]

• 393.  Perrault, C. Raymond and Grosz, Barbara J. Natural-Language Interfaces, Technical Note 393. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1986.  [PDF, Details]

• 396.  Bear, John. A Morphological Recognizer With Syntactic and Phonological Rules, Technical Note 396. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1986.  [PDF, Details]

• 397.  Manna, Zohar and Waldinger, Richard. How To Clear A Block: A Theory Of Plans, Technical Note 397. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1986.  [PDF, Details]

• 398.  Pentland, Alex P. Shading Into Texture, Technical Note 398. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1986.  [PDF, Details]

• 399.  Smith, Grahame B. and Strat, Thomas M. A Knowledge-Based Architecture For Organizing Sensory Data, Technical Note 399. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1986.  [PDF, Details]

• 400.  Kaelbling, Leslie P. An Architecture For Intelligent Reactive Systems, Technical Note 400. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1986.  [PDF, Details]

• 401.  Lansky, Amy L. A Representation Of Parallel Activity Based On Events, Structure,, and Causality, Technical Note 401. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1986.  [PDF, Details]

• 402.  Quam, Lynn H. Hierarchical Warp Stereo, Technical Note 402. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1986.  [PDF, Details]

• 403.  Pollack, M. E. Inferring Domain Plans In Question-Answering, Technical Note 403. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1986.  [PDF, Details]

• 404.  Georgeff, Michael P. Actions, Processes, and Causality, Technical Note 404. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1987.  [PDF, Details]

• 405.  Garvey, Thomas D. Evidential Reasoning For Geographic Evaluation For Helicopter, Route Planning, Technical Note 405. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1986.  [PDF, Details]

• 406.  Pentland, Alex P. Recognition By Parts, Technical Note 406. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1987.  [PDF, Details]

• 407.  Konolige, Kurt G. On The Relation Between Default and Autoepistemic Logic, Technical Note 407. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1987.  [PDF, Details]

• 408.  Ruspini, Enrique H. The Logical Foundations Of Evidential Reasoning, Technical Note 408. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1987.  [PDF, Details]

• 409.  Appelt, Douglas E. and Kronfeld, Amichai. A Computational Model Of Referring, Technical Note 409. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1987.  [PDF, Details]

• 410.  Wilkins, David E. Using Causal Rules In Planning, Technical Note 410. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, July 1987.  [PDF, Details]

• 411.  Georgeff, Michael P. and Lansky, Amy L. Procedural Knowledge, Technical Note 411. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1987.  [PDF, Details]

• 412.  Rosenschein, Stanley and Kaelbling, Leslie Pack. The Synthesis Of Digital Machines With Probable Epistemic Properties, Technical Note 412. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1987.  [PDF, Details]

• 413.  Reifel, Stanley. The SRI Mobile Robot Testbed — A Preliminary Report, Technical Note 413. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1987.  [PDF, Details]

• 414.  Barnard, Stephen T. Stereo Matching By Hierarchical, Microcanonical Annealing, Technical Note 414. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1987.  [PDF, Details]

• 415.  Cohen, Philip R. and Levesque, Hector J. Persistence, Intention, and Commitment, Technical Note 415. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1987.  [PDF, Details]

• 416.  Lowrance, John D. Automating Argument Construction, Technical Note 416. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1986.  [PDF, Details]

• 417.  Georgeff, Michael P. Many Agents Are Better Than One, Technical Note 417. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1987.  [PDF, Details]

• 418.  Georgeff, Michael P. Planning, Technical Note 418. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1987.  [PDF, Details]

• 419.  Hobbs, Jerry R. Implicature and Definite Reference, Technical Note 419. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1987.  [PDF, Details]

• 420.  Pereira, Fernando C. N. Grammars and Logics Of Partial Information, Technical Note 420. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1987.  [PDF, Details]

• 421.  Pentland, Alex P. Learning and Recognition In Natural Environments, Technical Note 421. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1987.  [PDF, Details]

• 422.  Shieber, Stuart M. Separating Linguistic Analyses From Linguistic Theories, Technical Note 422. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1987.  [PDF, Details]

• 423.  Lansky, Amy L. Localized Event-Based Reasoning For Multiagent Domains, Technical Note 423. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1988.  [PDF, Details]

• 424.  Davies, Todd R. A Survey Of Architectures For Distributed Artificial Intelligence, Technical Note 424. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1988.  [PDF, Details]

• 425.  Bratman, Michael E. and Israel, David J. and Pollack, Martha E. Plans and Resource-Bounded Practical Reasoning, Technical Note 425. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1988.  [PDF, Details]

• 426.  Strat, Thomas M. and Smith, Grahame B. The Core Knowledge System, Technical Note 426. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1987.  [PDF, Details]

• 428.  Bear, John and Hobbs, Jerry R. Localizing Expression Of Ambiguity, Technical Note 428. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1987.  [PDF, Details]

• 429.  Hobbs, Jerry R. and Martin, Paul. Local Pragmatics, Technical Note 429. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1987.  [PDF, Details]

• 430.  Strat, Thomas M. and Lowrance, John D. Explaining Evidential Analyses, Technical Note 430. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1988.  [PDF, Details]

• 431.  Baker, H. Harlyn. Reimplementation of the Stanford Stereo System. Integration Experiments with the SRI Baseline Stereo System., Technical Note 431. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1989.  [PDF, Details]

• 432.  Appelt, Douglas and Konolige, Kurt. A Practical Nonmonotonic Theory For Reasoning About Speech Acts, Technical Note 432. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1988.  [PDF, Details]

• 433.  Cohen, Phil R. and Levesque, Hector J. Rational Interaction As The Basis For Communication, Technical Note 433. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1988.  [PDF, Details]

• 434.  Kronfeld, Amichai. Methodological Notes On A Computational Model Of Referring, Technical Note 434. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1988.  [PDF, Details]

• 435.  Kronfeld, Amichai. The Descriptive Approach To Reference: Why It Is Difficult To Work With, And, Why We Have To, Technical Note 435. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1988.  [PDF, Details]

• 436.  Kronfeld, Amichai. Donnellan's Distinction As An Adequacy Test For A Referring Model, Technical Note 436. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1988.  [PDF, Details]

• 437.  Shieber, Stuart M. A Uniform Architecture For Parsing and Generation, Technical Note 437. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1988.  [PDF, Details]

• 438.  Oviatt, Sharon L. Management Of Miscommunications: Toward A System For Automatic Telephone, Interpretation Of Japanese-English Dialogues, Technical Note 438. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1988.  [PDF, Details]

• 439.  Kronfeld, Amichai. The Literal Goal and Discourse Purpose Of Referring, Technical Note 439. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1988.  [PDF, Details]

• 440.  Appelt, Douglas and Kronfeld, Amichai. A Descriptive Model Of Reference Using Defaults, Technical Note 440. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1988.  [PDF, Details]

• 441.  Laws, Kenneth I. Integrated Split/Merge Image Segmentation, Technical Note 441. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1988.  [PDF, Details]

• 442.  Laws, Kenneth I. Coarse Coding For Material and Object Identification, Technical Note 442. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1988.  [PDF, Details]

• 443.  Laws, Kenneth I. Classification-Based Tracking Of Objects and Material, Technical Note 443. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1988.  [PDF, Details]

• 446.  Konolige, Kurt. Hierarchic Autoepistemic Theories For Nonmonotonic Reasoning: Preliminary, Report, Technical Note 446. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1991.  [PDF, Details]

• 447.  Konolige, Kurt. Resolution for Epistemic Logics , Technical Note 447. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1991.  [PDF, Details]

• 449.  Hirsh, Susan Beth. P-Patr: A Compiler For Unification-Based Grammars, Technical Note 449. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1988.  [PDF, Details]

• 450.  Pereira, Fernando C. N. and Pollack, Martha E. A Brief Overview Of The Candide Project, Technical Note 450. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sept 1988.  [PDF, Details]

• 451.  Stickel, Mark E. A Prolog-Like Inference System For Computing Minimum-Cost Abductive Explanations In Natural-Language Interpretation, Technical Note 451. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1988.  [PDF, Details]

• 452.  Oviatt, Sharon L. and Cohen, Philip R. The Contributing Influence Of Speech and Interaction On Human, Discourse Patterns, Technical Note 452. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1988.  [PDF, Details]

• 453.  Dalrymple, Mary. Tense, Aspect, and The Interpretation Of Tenseless Elements In English, Technical Note 453. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1988.  [PDF, Details]

• 454.  Oviatt, Sharon L. and Cohen, Philip R. Discourse Structure and Performance Efficiency In Interactive and Noninteractive Spoken Modalities, Technical Note 454. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1988.  [PDF, Details]

• 455.  Pollack, Martha E. and Pereira, Fernando C. N. An Integrated Framework For Semantic and Pragmatic Interpretation, Technical Note 455. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1989.  [PDF, Details]

• 456.  Shieber, Stuart M. Cl-Patr Reference Manual, Technical Note 456. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1989.  [PDF, Details]

• 457.  Perrault, C. Raymond. An Application Of Default Logic To Speech Act Theory, Technical Note 457. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1989.  [PDF, Details]

• 458.  Fischler, Martin A. and Firschein, Oscar and Barnard, Stephen T. and Fua, Pascal V. and Leclerc, Yvan G. The Vision Problem: Exploiting Parallel Computation, Technical Note 458. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1989.  [PDF, Details]

• 459.  Bobick, Aaron F. and Bolles, Robert C. The Representation Space Paradigm Of Concurrent Evolving Object Descriptions, Technical Note 459. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1992.  [PDF, Details]

• 460.  Shieber, Stuart M. Parsing and Type Inference For Natural and Computer Languages, Technical Note 460. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1989.  [PDF, Details]

• 461.  Bear, John. Generation and Recognition Of Inflectional Morphology, Technical Note 461. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1989.  [PDF, Details]

• 462.  Bear, John. Morphology With Two-Level Rules and Negative Rule Features, Technical Note 462. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1989.  [PDF, Details]

• 463.  Fischler, Martin A. and Strat, Thomas M. Recognizing Objects In A Natural Environment: A Contextual Vision (CVS), Technical Note 463. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1989.  [PDF, Details]

• 464.  Stickel, Mark. A Prolog Technology Theorem Prover: A New Exposition and Implementation In Prolog, Technical Note 464. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1989.  [PDF, Details]

• 465.  Fua, Pascal and Hanson, Andrew J. Objective Functions For Feature Discrimination, Technical Note 465. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1989.  [PDF, Details]

• 466.  Shieber, Stuart M. and Noord, Gertjan Van and Moore, Robert C. and Pereira, Fernando C. N. A Semantic-Head-Driven Generation Algorithm For Unification-Based Formalisms, Technical Note 466. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1989.  [PDF, Details]

• 467.  Pereira, Fernando C. N. A Calculus For Semantic Composition and Scoping, Technical Note 467. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1989.  [PDF, Details]

• 468.  Wilkins, David E. Can Ai Planners Solve Practical Problems?, Technical Note 468. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1989.  [PDF, Details]

• 469.  Israel, David. Concepts Of Information: Comparative Axiomatics, Technical Note 469. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1989.  [PDF, Details]

• 470.  Szeliski, Richard. Fast Parallel Surface Interpolation With Applications To Digital Cartography, Technical Note 470. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1989.  [PDF, Details]

• 471.  Kartam, Nabil A., and Wilkins, David E. Toward a Foundation for Evaluating AI Planners, Technical Note 471. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1989.  [PDF, Details]

• 472.  Strat, Thomas M. Decision Analysis Using Belief Functions, Technical Note 472. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1989.  [PDF, Details]

• 473.  Stickel, Mark E. The Path-Indexing Method For Indexing Terms, Technical Note 473. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1989.  [PDF, Details]

• 474.  Lansky, Amy L. A Perspective On Multiagent Planning, Technical Note 474. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1989.  [PDF, Details]

• 475.  Ruspini, Enrique H. On The Semantics Of Fuzzy Logic, Technical Note 475. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1989.  [PDF, Details]

• 476.  Missiaen, Lode. Localized Search, Technical Note 476. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1989.  [PDF, Details]

• 477.  Cain, Joel Malcolm. Stereomodel Acquisition Geometry, Technical Note 477. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1989.  [PDF, Details]

• 478.  Georgeff, Michael. P. and Ingrand, Francois Felix. Real-Time Reasoning: The Monitoring and Control Of Spacecraft Systems, Technical Note 478. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1990.  [PDF, Details]

• 479.  Georgeff, Michael P. and Ingrand, Francois Felix. Decision-Making In An Embedded Reasoning System, Technical Note 479. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1990.  [PDF, Details]

• 480.  Bear, John. Prosody, Syntax and Parsing, Technical Note 480. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1990.  [PDF, Details]

• 481.  Garvey, Thomas D. A Survey Of Ai Approaches To The Integration Of Information, Technical Note 481. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1990.  [PDF, Details]

• 482.  Bear, John. Backwards Phonology, Technical Note 482. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1990.  [PDF, Details]

• 483.  Bear, John and Hobbs, Jerry R. Two Principles Of Parse Preference, Technical Note 483. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1990.  [PDF, Details]

• 484.  Hobbs, Jerry R. and Kameyama, Megumi. Translation By Abduction, Technical Note 484. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1990.  [PDF, Details]

• 485.  Hector J. Levesque, Philip R. Cohen and Nunes, Jose H. T. On Acting Together, Technical Note 485. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1990.  [PDF, Details]

• 486.  Cohen, Philip R. and Levesque, Hector J. Performatives In A Rationally Based Speech Act Theory, Technical Note 486. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1990.  [Details]

• 487.  Cohen, Philip R. Task-Oriented Dialogues As A Consequence Of Joint Activity, Technical Note 487. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1990.  [PDF, Details]

• 488.  Tyson, Mabry and Hobbs, Jerry R. Domain-Independent Task Specification In The Tacitus Natural Language System, Technical Note 488. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1990.  [PDF, Details]

• 489.  Pollack, Martha E. and Ringuette, Marc. Introducing The Tileworld: Experimentally Evaluating Agent Architectures, Technical Note 489. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1990.  [PDF, Details]

• 490.  Pereira, Fernando and Pollack, Martha E. Incremental Interpretation, Technical Note 490. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1990.  [PDF, Details]

• 491.  Appelt, Douglas E. and Pollack, Martha E. Weighted Abduction For Plan Ascription, Technical Note 491. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1990.  [PDF, Details]

• 492.  Ruspini, Enrique H. Approximate Reasoning: Past, Present, Future, Technical Note 492. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1990.  [PDF, Details]

• 493.  Dalrymple, Mary E. Syntactic Constraints On Anaphoric Binding, Technical Note 493. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1990.  [PDF, Details]

• 494.  Waldinger, Richard J. and Stickel, Mark E. Proving Properties Of Rule-Based Systems, Technical Note 494. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1990.  [PDF, Details]

• 496.  Sharon L. Oviatt, Philip R. Cohen and Podlozny, Ann. Spoken Language In Interpreted Telephone Dialogues, Technical Note 496. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1990.  [PDF, Details]

• 497.  Pollack, Martha. Overloading Intentions For Efficient Practical Reasoning, Technical Note 497. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1990.  [PDF, Details]

• 499.  Hobbs, Jerry R. and Stickel, Mark and Appelt, Douglas and Martin, Paul. Interpretation As Abduction, Technical Note 499. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1990.  [PDF, Details]

• 500.  Georgeff, Michael P. and Ingrand, Francois Felix. Managing Deliberation and Reasoning In Real-Time Ai Systems, Technical Note 500. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1990.  [PDF, Details]

• 501.  Ruspini, Enrique and Lowrance, John D. and Strat, Thomas M. Understanding Evidential Reasoning, Technical Note 501. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1990.  [PDF, Details]

• 502.  Klay, Mathhias P. and Wesley, Leonard P. Simpson’s Paradox: A Maximum Likelihood Solution, Technical Note 502. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1991.  [PDF, Details]

• 503.  Waldinger, Richard, Manna, Zohar. Fundamentals Of Deductive Program Synthesis, Technical Note 503. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1992.  [PDF, Details]

• 504.  Cohen, Phil. Teamwork, Technical Note 504. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1991.  [PDF, Details]

• 505.  Konolige, Kurt. Abduction Vs. Closure In Causal Theories, Technical Note 505. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1991.  [PDF, Details]

• 506.  Quam, Lynn H. SRI Image Understanding Research Cartographic Feature Extraction, Technical Note 506. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1991.  [Details]

• 507.  Cohen, Philip R. Integrated Interfaces For Decision-Support With Simulation, Technical Note 507. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1991.  [PDF, Details]

• 508.  Hobbs, Jerry R. Metaphor and Abduction, Technical Note 508. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1991.  [PDF, Details]

• 509.  Wilkins, David E. Working Notes On Paradise Chess Patterns, Technical Note 509. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1991.  [PDF, Details]

• 510.  Konolige, Kurt. Quantification In Autoepistemic Logic, Technical Note 510. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1991.  [PDF, Details]

• 511.  Jerry Hobbs, Douglas E. Appelt, John S. B and Magerman, David. The Tacitus System: The Muc-3 Experience, Technical Note 511. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1991.  [PDF, Details]

• 513.  Astrachan, Owen L. and Stickel, Mark E. Caching and Lemmaizing In Model Elimination Theorem Provers, Technical Note 513. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1991.  [PDF, Details]

• 514.  Cohen, Philip R. The Role Of Natural Language In A Multimodal Interface, Technical Note 514. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1991.  [PDF, Details]

• 515.  Hanson, Andrew J. and Quam, Lynn. Overview Of The SRI Cartographic Modeling Environment, Technical Note 515. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1992.  [PDF, Details]

• 516.  Kameyama, Megumi. The Syntax and Semantics Of The Japanese Language Engine, Technical Note 516. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1991.  [PS, Details]

• 517.  Pollack, Martha. The Use Of Plans, Technical Note 517. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1992.  [Details]

• 518.  Bear, John and Dowding, John and Shriberg, Elizabeth. Detection and Correction Of Repairs In Human-Computer Dialog, Technical Note 518. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 1992.  [PDF, Details]

• 519.  Hobbs, Jerry R. Fastus: A System For Extracting Information From Natural-Language Text, Technical Note 519. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1992.  [PDF, Details]

• 520.  Karp, P. D. The Design Space of Frame Knowledge Representation Systems, Technical Note 520. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Oct 1992.  [PDF, Details]

• 521.  Peter D. Karp, John D. Lowrance, Thomas M and Wilkins, David E. The Grasper-CL Graph Management System, Technical Note 521. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jan 1992.  [PDF, Details]

• 522.  Bear, John and Dowding, John and Shriberg, Elizabeth. A System For Labeling Self-Repairs In Speech, Technical Note 522. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Feb 1993.  [PDF, Details]

• 523.  Stickel, Mark E. Automated Theorem-Proving Research In The Fifth Generation Computer Systems Project: Model Generation Theorem Provers, Technical Note 523. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1993.  [PDF, Details]

• 524.  Myers, Karen. Hybrid Reasoning Using Universal Attachment, Technical Note 524. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1993.  [Details]

• 525.  Stickel, Mark. Upside-Down Meta-Interpretation Of The Model Elimination Theorem-Proving Procedure For Deduction and Abduction, Technical Note 525. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1993.  [PDF, Details]

• 526.  Baker, H. Harlyn. Building and Using Scene Repesentations In Image Understanding, Technical Note 526. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1993.  [PDF, Details]

• 527.  Dowding, John and Gawron, Jean Mark and Appelt, Doug and Bear, John and Cherny, Lynn and Moore, Robert and Moran, Douglas. Gemini: A Natural Language System For Spoken-Language Understanding, Technical Note 527. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1993.  [PDF, Details]

• 528.  Konolige, Kurt and Myers, Karen and Ruspini, Enrique and Saffiotti, Alessandro. Flakey In Action: The 1992 AAAI Robot Competition, Technical Note 528. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1993.  [Details]

• 529.  Saffiotti, Alessandro and Ruspini, Enrique and Konolige, Kurt. A Fuzzy Controller For Flakey, An Autonomous Mobile Robot, Technical Note 529. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1993.  [PDF, Details]

• 530.  Wesley, Leonard. Toward A Theory Of Evidential-Based Locative Reasoning, Technical Note 530. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1993.  [Details]

• 531.  Wesley, Leonard. Reframing Evidential Problems, Technical Note 531. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1993.  [Details]

• 532.  Wilkins, D. A Common Knowledge Representation for Plan Generation and Reactive Execution, Technical Note 532. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jun 1993.  [PDF, Details]

• 533.  Saffiotti, Alessandro and Konolige, Kurt and Ruspini, Enrique. A Multivalued Logic Approach To Integrating Planning Control, Technical Note 533. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1993.  [PDF, Details]

• 534.  Wilkins, D. E. and Desimone, R. V. Applying an AI Planner to Military Operations Planning, Technical Note 534. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1993.  [PDF, Details]

• 535.  Fua, Pascal and Leclerc, Yvan G. Object-Centered Surface Reconstruction: Combining Multi-Image Stereo and Shading, Technical Note 535. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1993.  [PDF, Details]

• 536.  Fua, Pascal V., and Leclerc, Yvan G. Using 3-Dimensional Meshes to Combine Image-Based and Geometry Constraints, Technical Note 536. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1994.  [PDF, Details]

• 537.  Fua, Pascal V., and Leclerc, Yvan G. Registration without Correspondences, Technical Note 537. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1994.  [PDF, Details]

• 538.  Cohen, Philip R., and Oviatt, Sharon L. The Role of Voice in Human-Machine Communication, Technical Note 538. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025", Jan 1994.  [PDF, Details]

• 539.  Oviatt, Sharon L. Toward Multimodal Support of Interpreted Telephone Dialogues, Technical Note 539. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1994.  [PDF, Details]

• 540.  Leclerc, Yvan G. and Lau, Stephen Q. TerraVision: A Terrain Visualization System, Technical Note 540. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1995.  [PDF, Details]

• 541.  Leclerc, Yvan G. Tile Set Definitions, Technical Note 541. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1994.  [PS, Details]

• 542.  Houzelle, Stephane, Strat, Thomas M., Fua, Pascal, and Fischler, Martin A. Learning Control Parameters of a Vision Process Using Contextual Information, Technical Note 542. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1994.  [PDF, Details]

• 544.  Kameyama, Megumi. Indefeasible Semantics and Defeasible Pragmatics, Technical Note 544. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1994.  [PDF, Details]

• 545.  Kameyama, Megumi. Stressed and Unstressed Pronouns: Complementary Preferences, Technical Note 545. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1996.  [PDF, Details]

• 546.  Karp, Peter D. Distinguishing Knowledge Bases and Data Bases: Who's on First and What's on Second, Technical Note 546. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1994.  [PDF, Details]

• 547.  Karp, Peter D., Paley, Suzanne M., and Greenberg, Ira. A Storage System for Scalable Knowledge Representation, Technical Note 547. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1994.  [PDF, Details]

• 548.  Neuenschwander, W., Fua, P., Szekely, G., and Kubler O. Ziplock Snakes, Technical Note 548. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1994.  [PDF, Details]

• 550.  Fua, P. Reconstructing Complex Surfaces from Multiple Stereo Views, Technical Note 550. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1994.  [Details]

• 559.  Reddy, M. and Leclerc, Y. G. and Iverson, L. and Bletter, N. and Vidimce, K. Modeling the Digital Earth in VRML, Technical Note 559. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1998.  [PS, Details]

• 559.  Karp, Peter D. and Chaudhri, Vinay K. and Thomere, Jerome F. XOL: An XML-Based Ontology Exchange Language, Technical Note 559. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1999.  [PDF, Details]

• 560.  Leclerc, Y., Reddy, M., Eriksen, M., Brecht, J., and Colleen, D. SRI’s Digital Earth Project, Technical Note 560. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 2002.  [PDF, Details]

• 561.  Berry, P. and Gervasio, M. and Peintner, B. and Yorke-Smith, N. Balancing the Needs of Personalization and Reasoning in a User-Centric Scheduling Assistant, Technical Note 561. Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 2007.  [PDF, Details]

• 562.  Connolly, C. I. and Quam, L. H. FREEDIUS: An Open Source Lisp-Based Image Understanding Environment, Technical Note 562. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, June 2007.  [PDF, Details]

• 564.  Connolly, C. I. and Burns, J. B. and Bui, H. H. Recovering Social Networks From Massive Track Datasets, Technical Note 564. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, October 2007.  [PDF, Details]

• 566.  Christopher I. Connolly. A Testbed for Video-Based Analysis of Human Motion, Technical Note 566. AI Center, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, April 2008.  [PDF, Details]

• 569.  Madani, O. and Yu, J. Discovery of Numerous Specific Topics via Term Co-Occurrence Analysis, Technical Note 569. AI Center, SRI International, 569, March 2011.  [PDF, Details]