Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU Path: utzoo!decvax!ittatc!dcdwest!sdcsvax!ucbvax!techreports From: E1AR0002@SMUVM1.BITNET Newsgroups: mod.techreports Subject: %#S##% tech reports Message-ID: <8602190245.AA01917@ucbvax.berkeley.edu> Date: Tue, 18-Feb-86 21:47:36 EST Article-I.D.: ucbvax.8602190245.AA01917 Posted: Tue Feb 18 21:47:36 1986 Date-Received: Wed, 19-Feb-86 23:50:14 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet Lines: 1010 Approved: techreports@smu.CSNET ARTIFICIAL INTELLIGENCE LABORATORY MASSACHUSETTS INSTITUTE OF TECHNOLOGY ------------------------------------------------------------------------------- PUBLICATIONS BIBLIOGRAPHY ------------------------------------------------------------------------------- October 1985 Publications are available in hard copy only. Prepayment is required. To order, specify publications number and author and enclose a check payable to the MIT Artificial Intelligence Laboratory for the correct amount of U.S. funds. Prices of publications include surface postage. Send orders with payment to: Publications, Room NE43-818 MIT Artificial Intelligence Laboratory 545 Technology Square Cambridge, MA 02139 USA Phone number: (617) 253-6773 Net address:Publications%MIT-OZ@MIT-MC.ARPA Unavailable publications can be ordered from the following sources: 1. NTIS. Reports assigned an AD number (":adnum" field) are available from the National Technical Information Service, 5285 Port Royal Road, Springfield, Virginia 22161. NTIS price information can be obtained by calling (703) 487-4650. 2. Microreproduction Laboratory, MIT, Room 14-0551, Cambridge, MA 02139. Telephone (617) 253-5668 or 253-5650. This is the complete list of MIT AI memos and technical reports. "AI Memos" are first, then "AI Technical Reports". A final section, "Books and Manuals in Print", lists additional publications that are available from different publishers. Note: this is being distributed in several parts due to size [Leff] --------------------------- AI Memos --------------------------- :aim 200 :unavailable :title {1968-1969 Progress Report} :author Marvin Minsky and Seymour Papert :asort Minsky, M.; Papert, S. :aim 202 :unavailable :title {Peter Samson's Music Processor, BIG} :author Michael Beeler :date July 1970 :asort Beeler, M. :pages 17 :aim 203 :unavailable :title {Micro-Planner Reference Manual} :author Gerald Sussman and Terry Winograd :asort Sussman, G.J.; Winograd, T. :date July 1970 :revised December 1971 (AIM 203A) :pages 22 :aim 203A :unavailable :title {Micro-Planner Reference Manual, (revised)} :author Gerald Sussman, Terry Winograd, and Eugene Charniak :asort Sussman, G.J.; Winograd, T.; Charniak, E. :date December 1971 :pages 29 :aim 204 :unavailable :title {Extending Guzman's SEE Program} :author Martin Rattner :asort Rattner, M. :date July 1970 :pages 67 :reference {See M.I.T. B.S. Thesis, June 1970} :aim 205 :unavailable :title {Look-Ahead Strategies In One Person Games With Randomly Generated Game T rees} :author David S. Johnson :asort Johnson, D. :pages 78 :reference {See M.I.T. S.M. thesis, August 1968} :date July 1970 :aim 206 :unavailable :title {The Vision Laboratory, Part One} :author Thomas O. Binford :asort Binford, T.O. :date July 1970 :pages 31 :aim 207 :unavailable :title {More Comparative Schematology} :author Carl E. Hewitt :asort Hewitt, C. :date August 1970 :pages 56 :reference (Replaced by AI TR-258.) :aim 208 :unavailable :title {Teaching Procedures In Humans And Robots} :author Carl Hewitt :asort Hewitt, C. :date September 1970. :pages 25 :reference (Replaced by AI TR-258.) :aim 209 :unavailable :title {Digital Flight Simulation} :author David Silver :asort Silver, D. :date March 1971 :aim 210 :unavailable :title {A User's Guide to the A.I. Group LISCOM LISP Compiler} :author Jeffrey P. Golden :asort Golden, J. :date December 1970 :pages 14 :aim 211 :unavailable :title {Equivalence Problems in a Model of Computation} :author Michael S. Paterson :asort Paterson, M. :reference (See Ph.D. thesis, Trinity College, Cambridge University, 1967) :date November 1970 :pages 158 :aim 213 :unavailable :title {The Computer as A Performing Instrument} :author Gordon Mumma and Stephen Smoliar. :asort Mumma, G.; Smoliar, S.W. :reference Presented as a MAC seminar February 1970 :date February 1971 :pages 12 :aim 214 :unavailable :title {Linking Loader for MIDAS} :author Peter Samson :asort Samson, P. :date March 1971 :reference Originally printed as MAC Memo in January 1966 :pages 6 :aim 215 :unavailable :title {How to Get Onto the System} :author Mark Dowson :asort Dowson, M. :date April 1971 :pages 20 :aim 215A :unavailable :title {Instant TJ6, How to Get the System to Type Your Papers} :author M. Dowson :asort Dowson, M. :date September 1971 :pages 4 :aim 216 :unavailable :title {Theories, Pretheories, and Finite State Transformations on Trees} :author Mitchell Wand :asort Wand, M. :date May 1971 :pages 32 :aim 217 :unavailable :title {Computer Proofs of Limit Theorems} :author W. W. Bledsoe, Robert S. Boyer, W. H. Henneman :asort Bledsoe, W.; Boyer, R.; Henneman, W. :date June 1971 :pages 61 :aim 218 :unavailable :title {Information Theory and the Game of Jotto} :author Michael Beeler :asort Beeler, M. :date August 1971 :pages 4 :aim 237 :unavailable :title {An Inquiry Into Algorithmic Complexity} :author Patrick E. O'Neil :asort O'Neil, P. :date September 1971 :pages 20 :aim 238 :unavailable :title {ITS Status Report} :author Donald Eastlake :asort Eastlake, D. :date April 1972 :pages 68 :aim 239 :title {HAKMEM} :author M. Beeler, R. W. Gosper, R. Schroeppel :asort Beeler, M.; Gosper, W.; Schroeppel, R. :date February 1972 :cost $3.50 :pages 105 :abstract Here is some little known data which may be of interest to computer hackers. The items and examples are so sketchy that to decipher them may require more sincerity and curiosity than a non-hacker can muster. Doubtless, little of this is new, but nowadays it's hard to tell. So we must be content to give you an insight, or save you some cycles, and to welcome further contributions of items, new or used. :aim 240 :unavailable :title {11SIM Reference Manual} :author Donald Eastlake :asort Eastlake, D. :date December 1971 :pages 46 :aim 240A :unavailable :title {11SIM Reference Manual (revised)} :author Donald Eastlake :asort Eastlake, D. :date February 1972 :pages 48 :aim 241 :unavailable :title {An A.I. Approach to English Morphemic Analysis} :author Terry Winograd :asort Winograd, T. :date September 1971 :pages 19 :aim 243 :unavailable :title {Using the EUTERPE Music System} :author Stephen W. Smoliar :asort Smoliar, S.W. :date October 1971 :pages 16 :aim 245 :unavailable :title {Proposal to ARPA for Research on Artificial Intelligence at M.I.T., 1971 -1972} :author Marvin Minsky and Seymour Papert :asort Minsky, M.; Papert, S. :date October 1971 :pages 43 :aim 246 :unavailable :title {A Computer Laboratory for Elementary Schools} :author Seymour Papert :asort Papert, S. :date October 1971 :reference {See Logo Memo 1} :pages 20 :aim 247 :unavailable :title {Teaching Children Thinking} :author Seymour Papert :asort Papert, S. :date October 1971 :reference {See Logo Memo 2} :pages 19 :aim 248 :unavailable :title {Twenty Things To Do With A Computer} :author Seymour Papert and Cynthia Solomon :asort Papert, S.; Solomon, C. :date June 1971 :reference {See Logo Memo 3} :pages 41 :aim 249 :unavailable :title {Teaching Children to be Mathematicians vs. Teaching About Mathematics} :author Seymour Papert :asort Papert, S. :date July 1971 :reference {See Logo Memo 4} :pages 26 :aim 250 :title 1971--1972 :author Carl Hewitt :asort Hewitt, C. :unavailable :date December 1971 :pages 29 :aim 251 :unavailable :title {Mini-Robot Proposal to ARPA} :author Marvin Minsky :asort Minsky, M. :date January 1972 :pages 63 :aim 252 :unavailable :title {Artificial Intelligence Progress Report} :author Marvin Minsky and Seymour Papert :asort Minsky, M.; Papert, S. :date January 1972 :pages 137 :ADnum (AD-754820) :aim 253 :unavailable :title {The Computer-Controlled Oculometer: A Prototype Interactive Eye Movement Tracking System} :author Matthew J. Hillsman, R. Wade Williams and John S. Roe :asort Hillsman, M.; Williams, R.W.; Roe, J.S. :date February 1972. :pages 194 :aim 254 :unavailable :title {NIM: A Game-Playing Program} :author Seymour Papert and Cynthia Solomon :asort Papert, S.; Solomon, C. :date Feb. 1972 :pages 19 :reference {See Logo Memo 5} :aim 255 :unavailable :title {Why Conniving Is Better Than Planning} :author Gerald Jay Sussman :asort Sussman, G.J. :date February 1972 :pages 27 :aim 255A :unavailable :title {Why Conniving Is Better Than Planning} :author Gerald Sussman and Drew McDermott :asort Sussman, G.J.; McDermott, D. :date April 1972 :pages 32 :reference (See Proceedings FJCC, Vol. 41, pp. 1171-1179, AFIPS Press, New Jersey, 1972) :aim 256 :unavailable :title {Efficiency of Equivalence Algorithms} :author Michael J. Fischer :asort Fischer, M. :reference Presented at Symposium on Complexity of Computer Computations, T.J Watson Research Center, March 22, 1972 :date April 1972 :pages 17 :aim 257 :unavailable :title {A Two Counter Machine Cannot Calculate 2**n} :author Richard Schroeppel :asort Schroeppel, R. :date May 1973 :ADnum (AD-773918) :pages 32 :aim 259 :unavailable :title {Conniver Reference Manual} :author Drew McDermott and Gerald Sussman :asort McDermott, D.; Sussman, G.J. :date May 1972 :pages 91 :aim 259A :unavailable :title {THE CONNIVER REFERENCE MANUAL} :author Drew McDermott and Gerald Sussman :asort McDermott, D.; Sussman, G.J. :date January 1974 :pages 146 :ADnum (AD-77355) :aim 260 :unavailable :title {LOCK} :author Donald E. Eastlake :asort Eastlake, D. :date June 1972 :pages 11 :aim 260A :unavailable :title {LOCK} :author Donald E. Eastlake :asort Eastlake, D. :date January 1974 :ADnum (AD-773920). :aim 261A :unavailable :title {PEEK} :author Donald E. Eastlake :asort Eastlake, D. :date February 1974 :cost $1.25 :ADnum (AD-773925) :pages 15 :aim 262 :unavailable :title {A Concrete Approach To Abstract Recursive Definitions} :author Mitchell Wand :asort Wand, M. :date June 1972 :pages 13 :aim 263 :unavailable :title {A Heterarchical Program for Recognition of Polyhedra} :author Yoshiaki Shirai :asort Shirai, Y. :date June 1972 :reference {See {\it Artificial Intelligence}, Vol. 4, No. 2; Winston (ed.), {\it The Psychology of Computer Vision}} :aim 264 :unavailable :title {Developing a Musical Ear: A New Experiment} :author Jeanne Bamberger :asort Bamberger, J. :date July 1972 :reference {See Logo Memo 6} :pages 19 :aim 265 :unavailable :title {Infants in Children Stories-Toward a Model of Natural Language Comprehen sion} :author Garry S. Meyer :asort Meyer, G.S. :date August 1972 :pages 72 :aim 267 :unavailable :title {Manipulator Design Vignettes} :author Marvin Minsky :asort Minsky, M. :date October 1972 :pages 27 :aim 267A :unavailable :title {Manipulator Design Vignettes} :author Marvin Minsky :asort Minsky, M. :reference Revised 1981 :cost $2.25 :pages 24 :aim 268 :unavailable :title {A Human Oriented Logic for Automatic Theorem Proving} :author Arthur J. Nevins :asort Nevins, A. :date October 1972 :pages 53 :aim 269 :unavailable :title {Proposal to ARPA for Continued Research on A.I.} :author Marvin Minsky :asort Minsky, M. :date October 1972 :pages 35 :aim 270 :unavailable :title {Teaching of Procedures-Progress Report} :author Gerald Jay Sussman :asort Sussman, G.J. :date October 1972 :reference (Replaced by AI-TR-297) :pages 22 :aim 272 :unavailable :title {How the GAS Program Works With a Note on Simulating Turtles With Touch S ensors} :author Michael Speciner :asort Speciner, M. :date December 1972 :pages 6 :aim 273 :unavailable :title {The Little Robot System} :author David Silver :asort Silver, D. :date January 1973 :ADnum (AD-773929) :pages 15 :aim 274 :unavailable :title {Proposal to ARPA for Continuation of Micro-Automation Development} :author Marvin Minsky :asort Minsky, M. :date January 1973 :pages 41 :aim 275 :unavailable :title {Differential Perceptrons} :author Martin Brooks, Jerrold Ginsparg :asort Brooks, M.; Ginsparg, J. :date January 1973 :ADnum (AD-773919) :pages 24 :aim 276 :unavailable :title {The Making of the Film, SOLAR CORONA} :author Michael Beeler :asort Beeler, M. :date February 1973 :reference (See Film Memo No. 1.) :ADnum (AD-773928) :pages 5 :aim 277 :unavailable :title {A Linguistics Oriented Programming Language} :author Vaughan R. Pratt :asort Pratt, V.R. :date February 1973 :ADnum (AD-773566) :pages 40 :aim 278 :unavailable :title {D-SCRIPT: A Computational Theory of Descriptions} :author Robert C. Moore :asort Moore, R.C. :date February 1973 :ADnum (AD-773926) :pages 29 :aim 279 :unavailable :title {Pretty-Printing, Converting List to Linear Structure} :author Ira Goldstein :asort Goldstein, I. :date February 1973 :ADnum (AD-773927) :pages 28 :aim 280 :unavailable :title {Elementary Geometry Theorem Proving} :author Ira Goldstein :asort Goldstein, I. :date April 1973 :ADnum (AD-735568) :pages 46 :aim 282 :unavailable :title {Grammar for the People: Flowcharts of SHRDLU's Grammar} :author Ann D. Rubin :asort Rubin, A.D. :date March 1973 :pages 31 :aim 284 :unavailable :title {Proposal To ARPA For Continued Research On A.I. For 1973} :author Marvin Minsky and Seymour Papert :asort Minsky, M.; Papert, S. :date June 1973 :pages 53 :aim 285 :unavailable :title {The Binford-Horn LINEFINDER} :author B.K.P. Horn :asort Horn, B.K.P. :reference Revised December 1973 :pages 20 :aim 286 :unavailable :title {The FINDSPACE Problem} :author Gerald J. Sussman :asort Sussman, G.J. :date March 1973 :pages 14 :aim 287 :unavailable :title {Finding The Skeleton of a Brick} :author Tim Finin :asort Finin, T. :date March 1973 :pages 12 :aim 289 :unavailable :title {Visual Position Extraction Using Stereo Eye Systems With A Relative Rota tional Motion Capability} :author Daniel W. Corwin :asort Corwin, D.W. :date March 1973 :pages 34 :aim 290 :unavailable :title {Paterson's Worm} :author Michael Beeler :asort Beeler, M. :date June 1973 :ADnum (AD-775351) :pages 21 :aim 292 :unavailable :title {UT: Telnet Reference Manual} :author Donald Eastlake :asort Eastlake, D. :date April 1974 :pages 9 :aim 295 :unavailable :title {On Lightness} :author Berthold K.P. Horn :asort Horn, B.K.P. :date October 1973 :pages 52 :reference {See {\it Computer Graphics and Image Processing}, Vol. 3, No. 1, December 1974, pp. 277-299} :ADnum (AD-773569) :aim 296 :unavailable :title {An Essay on the Primate Retina} :author David Marr :asort Marr, D. :date January 1974 :pages 103 :reference {See {\it Vision Research}, 1974, Vol. 14, 1377-1388} :ADnum (AD-034482) :aim 298 :unavailable :title {Uses of Technology to Enhance Education} :author Seymour Papert :asort Papert, S. :date June 1973 :reference {See Logo Memo 8} :pages 109 :aim 299 :unavailable :title {Proposal to ARPA for Research on Intelligent Automata and Micro-Automati on, 1974-1976} :author MIT AI Laboratory :date September 1973 :pages 118 :aim 300 :unavailable :title {Design Outline for Mini-Arms Based on Manipulator Technology} :author Carl R. Flatau :asort Flatau, C.R. :date May 1974 :pages 47 :reference {Issued as A.I. Memo January 1974} :ADnum (AD-773570) :aim 301 :unavailable :title {A Mechanical Arm Control System} :author Richard C. Waters :asort Waters, R.C. :date January 1974 :pages 41 :ADnum (AD-A004672) :aim 302 :unavailable :title {A Relaxation Approach to Splitting in an Automatic Theorem Prover} :author Arthur Nevins :asort Nevins, A. :date January 1974 :pages 26 :ADnum (AD-A004269) :aim 303 :unavailable :title {Plane Geometry Theorem Proving Using Forward Chaining} :author Arthur Nevins :asort Nevins, A. :date January 1974 :pages 35 :ADnum (AD-A004223) :aim 304 :unavailable :title {Acceleration of Series} :author William Gosper :asort Gosper, W. :date March 1974 :pages 91 :ADnum (AD-A011837) :aim 305 :unavailable :title {Summary of MYCROFT: A System for Understanding Simple Picture Programs} :author Ira Goldstein :asort Goldstein, I. :date May 1974 :pages 62 :reference (Replaced by AI-TR-294) :ADnum (AD-A004671) :aim 306 :unavailable :title {A Framework for Representing Knowledge} :author Marvin Minsky :asort Minsky, M. :date June 1974 :reference {See {\it The Psychology of Computer Vision}, Winston (ed.)} :ADnum (AD-A011168) :aim 307 :unavailable :title {LLOGO: An Implementation of LOGO in LISP} :author Ira Goldstein :asort Goldstein, I. :date June 1974 :pages 93 :reference See Logo Memo 11 :ADnum (AD-A004669) :aim 307A :unavailable :title {LLOGO: An Implementation of LOGO in LISP} :author Ira Goldstein, Henry Lieberman, Harry Bochner and Mark Miller :asort Goldstein, I.; Lieberman, H.; Bochner, H.; Miller, M.L. :date March 1975 :pages 93 :reference See Logo Memo 11 :aim 308 :unavailable :title {Force Feedback in Precise Assembly Tasks} :author Hirochika Inoue :asort Inoue, H. :date August 1974 :pages 31 :ADnum (AD-A0ll369) :aim 309 :unavailable :title {Commenting Proofs} :author James R. Geiser :asort Geiser, J.R. :date August 1974 :pages 19 :ADnum (AD-A011838) :aim 311 :unavailable :title {TORTIS: Toddler's Own Recursive Turtle Interpreter System} :author Radia Perlman :asort Perlman, R. :date December 1974 :pages 10 :reference See Logo Memo 9 :aim 312 :unavailable :title {The Luxury of Necessity} :author Jeanne Bamberger :asort Bamberger, J. :date December 1974 :pages 24 :reference See Logo Memo 12 :aim 313 :unavailable :title {LOGO Manual} :author Hal Abelson, Nat Goodman, Lee Rudolph :asort Abelson, H.; Goodman, N.; Rudolph, L. :date December 1974 :reference See Logo Memo 7 :pages 84 :aim 314 :unavailable :title {What's In A Tune} :author Jeanne Bamberger :asort Bamberger, J. :date December 1974. :reference See Logo Memo 13 :pages 78 :aim 315 :unavailable :title {A Glossary of LOGO Primitives} :author Hal Abelson, Jim Adams :asort Abelson, H.; Adams, J. :date September 1974 :reference See Logo Memo 14 :pages 24 :aim 315A :unavailable :title {A Glossary of PDP11 LOGO Primitives} :author E. Paul Goldenberg :asort Goldenberg, P. :date March 1975 :reference See Logo Memo 16 :pages 39 :aim 319 :unavailable :title {Localization of Failures in Radio Circuits - A Study in Causal and Teleo logical Reasoning} :author Allen Brown, Gerald Sussman :asort Brown, A.; Sussman, G.J. :date December 1974 :pages 29 :ADnum (AD-A011839) :aim 320 :unavailable :title {Velocity Space and the Geometry of Planetary Orbits} :author Harold Abelson, Andrea diSessa, Lee Rudolph :asort Abelson, H.; diSessa, A.; Rudolph, L. :date December 1974 :reference See Logo Memo 15 :pages 58 :aim 321 :unavailable :title {Model-Driven Geometry Theorem Prover} :author Shimon Ullman :asort Ullman, S. :date May 1975 :pages 56 :ADnum (AD-A021446) :aim 322 :unavailable :title {A Frame for Frames: Representing Knowledge for Recognition} :author Benjamin J. Kuipers :asort Kuipers, B.J. :date March 1975 :ADnum (AD-A012835) :pages 34 :aim 323 :unavailable :title {Orienting Silicon Integrated Circuit Chips for Lead Bonding} :author Berthold K. P. Horn :asort Horn, B.K.P. :date January 1975 :pages 16 :ADnum (AD-A021137) :reference {See {\it Computer Graphics and Image Processing}, Vol. 4, pp. 294-303, 1975} :aim 324 :unavailable :title {On the Purpose of Low-level Vision} :author David Marr :asort Marr, D. :date December 1974 :pages 29 :reference {also A.I. Memo 340} :ADnum (AD-A012392) :aim 325 :unavailable :title {The Low-level Symbolic Representation of Intensity Changes in an Image} :author David Marr :asort Marr, D. :date December 1974 :pages 43 :ADnum (AD-A013669) :aim 326 :unavailable :title {The Recognition of Sharp Closely Spaced Edges} :author David Marr :asort Marr, D. :date December 1974 :pages 18 :ADnum (AD-A013090) :aim 327 :unavailable :title {A Note on the Computation of Binocular Disparity in a symbolic, Low-leve l Visual Processor} :author David Marr :asort Marr, D. :date December 1974 :ADnum (AD-A012393) :pages 19 :aim 328 :unavailable :title {Heuristic Techniques in Computer Aided Circuit Analysis} :author Gerald Jay Sussman and Richard Matthew Stallman :asort Sussman, G.J.; Stallman, R.M. :date March 1975 :pages 28 :reference {See {\it IEEE Transactions on Circuits and Systems}, Vol. CAS-22, No. 11, November 1975} :ADnum (AD-A021171) :aim 329 :unavailable :title {Parsing Intensity Profiles} :author Tomas Lozano-Perez :asort Lozano-Perez, T. :date May 1975 :pages 25 :ADnum (AD-A021172) :aim 330 :unavailable :title {A Computational View Of The Skill Of Juggling} :author Howard Austin :asort Austin, H. :date December 1974 :pages 60 :aim 331 :unavailable :title {Thesis Progress Report: A System For Representing and Using Real-World K nowledge} :author Scott E. Fahlman :asort Fahlman, S.E. :date May 1975 :pages 85 :ADnum (AD-A021178) :aim 332 :unavailable :title {Ideas about Management of Data Bases} :author Erik Sandewall :asort Sandewall, E. :date May 1975 :pages 35 :ADnum (AD-A013312) :aim 333 :unavailable :title {On the Detection of Light Sources} :author Shimon Ullman :asort Ullman, S. :date May 1975 :pages 20 :reference {See {\it Biol. Cybernetics}, 21, pp. 205-212, 1976} :ADnum (AD-A021136) :aim 334 :unavailable :title {Analyzing Natural Images: a Computational Theory of Texture Vision} :author David Marr :asort Marr, D. :date June 1975 :pages 43 :reference {See {\it Cold Spring Harbor Symp. Quant. Biol.}, 40, pp. 647-662, 1976} :ADnum (AD-A013257)