@TechReports{AI-TR,
title = "ZMAIL Manual",
author = "Richard M. Stallman",
year = "Apr,1983",
volume = "AI-TR",
institution = "MIT AI Lab."
}
LEARNING STRUCTURAL DESCRIPTIONS FROM EXAMPLES, Patrick H. Winston
@TechReports{AI-TR-231,
title = "LEARNING STRUCTURAL DESCRIPTIONS FROM EXAMPLES",
author = "Patrick H. Winston",
year = "Sep,1970",
volume = "AI-TR-231",
institution = "MIT AI Lab."
}
DESCRIPTION AND THEORETICAL ANALYSIS (USING SCHEMATA) OF PLANNER: A LANGUAGE FOR PROVING THEOREMS AND MANIPULATING MODELS IN A ROBOT, Carl Hewitt
@TechReports{AI-TR-258,
title = "DESCRIPTION AND THEORETICAL ANALYSIS (USING SCHEMATA) OF PLANNER: A LANGUAGE FOR PROVING THEOREMS AND MANIPULATING MODELS IN A ROBOT",
author = "Carl Hewitt",
year = "Apr,1972",
volume = "AI-TR-258",
institution = "MIT AI Lab."
}
TOWARD A MODEL OF CHILDREN'S STORY COMPREHENSION, Eugene Charniak
@TechReports{AI-TR-266,
title = "TOWARD A MODEL OF CHILDREN'S STORY COMPREHENSION",
author = "Eugene Charniak",
year = "Dec,1972",
volume = "AI-TR-266",
institution = "MIT AI Lab."
}
GENERATING SEMANTIC DESCRIPTIONS FROM DRAWINGS OF SCENES WITH SHADOWS, David L. Waltz
@TechReports{AI-TR-271,
title = "GENERATING SEMANTIC DESCRIPTIONS FROM DRAWINGS OF SCENES WITH SHADOWS",
author = "David L. Waltz",
year = "Nov,1972",
volume = "AI-TR-271",
institution = "MIT AI Lab."
}
PROGRESS IN VISION AND ROBOTICS, Patrick H. Winston
@TechReports{AI-TR-281,
title = "PROGRESS IN VISION AND ROBOTICS",
author = "Patrick H. Winston",
year = "May,1973",
volume = "AI-TR-281",
institution = "MIT AI Lab."
}
ASSIMILATION OF NEW INFORMATION BY A NATURAL LANGUAGE - UNDERSTANDING SYSTEM, DREW VINCENT McDERMOTT
@TechReports{AI-TR-291,
title = "ASSIMILATION OF NEW INFORMATION BY A NATURAL LANGUAGE - UNDERSTANDING SYSTEM",
author = "DREW VINCENT McDERMOTT",
year = "Feb,1974",
volume = "AI-TR-291",
institution = "MIT AI Lab."
}
A COMPUTATIONAL MODEL OF SKILL ACQUISITION, Gerald Jay Sussman
@TechReports{AI-TR-297,
title = "A COMPUTATIONAL MODEL OF SKILL ACQUISITION",
author = "Gerald Jay Sussman",
year = "Aug,1973",
volume = "AI-TR-297",
institution = "MIT AI Lab."
}
HYPOTHESIS FORMATION AND EVALUATION IN MEDICAL DIAGNOSIS, Amm D. Rubin
@TechReports{AI-TR-316,
title = "HYPOTHESIS FORMATION AND EVALUATION IN MEDICAL DIAGNOSIS",
author = "Amm D. Rubin",
year = "Jan,1975",
volume = "AI-TR-316",
institution = "MIT AI Lab."
}
A Computer Systerm For Visual Recognition Using Active Knowledge, Eugene C. Freuder
@TechReports{AI-TR-345,
title = "A Computer Systerm For Visual Recognition Using Active Knowledge",
author = "Eugene C. Freuder",
year = "Jun,1976",
volume = "AI-TR-345",
institution = "MIT AI Lab."
}
HIERARCHICAL SHAPE DESCRIPTION OF OBJECRS BY SELECTION AND MODIFICATION OF PROTOTYPES, John M. Hollerbach
@TechReports{AI-TR-346,
title = "HIERARCHICAL SHAPE DESCRIPTION OF OBJECRS BY SELECTION AND MODIFICATION OF PROTOTYPES",
author = "John M. Hollerbach",
year = "Nov,1975",
volume = "AI-TR-346",
institution = "MIT AI Lab."
}
Reasoning From Incomplete Knowledge in a Procedural Deduction Systerm, Robert Carter Moore
@TechReports{AI-TR-347,
title = "Reasoning From Incomplete Knowledge in a Procedural Deduction Systerm",
author = "Robert Carter Moore",
year = "Dec,1975",
volume = "AI-TR-347",
institution = "MIT AI Lab."
}
QUALITATIVE AND QUANTITATIVE KNOWLEDGE IN CLASSICAL MECHANICS, Johan de Kleer
@TechReports{AI-TR-352,
title = "QUALITATIVE AND QUANTITATIVE KNOWLEDGE IN CLASSICAL MECHANICS",
author = "Johan de Kleer",
year = "Dec,1975",
volume = "AI-TR-352",
institution = "MIT AI Lab."
}
INITIALREPORT ON ALISP PROGRAMMER'S APPRENTICE, Charles Rich and Howard E.Shrobe
@TechReports{AI-TR-354,
title = "INITIALREPORT ON ALISP PROGRAMMER'S APPRENTICE",
author = "Charles Rich and Howard E.Shrobe",
year = "Dec,1976",
volume = "AI-TR-354",
institution = "MIT AI Lab."
}
Qualitative Knowledge,Causal Reasoning,and the Localization of failures, Allen Brown
@TechReports{AI-TR-362,
title = "Qualitative Knowledge,Causal Reasoning,and the Localization of failures",
author = "Allen Brown",
year = "Mar,1977",
volume = "AI-TR-362",
institution = "MIT AI Lab."
}
THE DESIGN OF A MECHANICAL ASSEMBLY SYSTEM, Tomas Lozano\033$B%P\033(Berez
@TechReports{AI-TR-397,
title = "THE DESIGN OF A MECHANICAL ASSEMBLY SYSTEM",
author = "Tomas Lozano\033$B%P\033(Berez",
year = "Dec,1976",
volume = "AI-TR-397",
institution = "MIT AI Lab."
}
FLEXIBILITY AND EFFICIENCY A IN COMPUTER PROGRAM FOR DESIGNING CIRCUITS, Drew Vincent Mcdermott
@TechReports{AI-TR-402,
title = "FLEXIBILITY AND EFFICIENCY A IN COMPUTER PROGRAM FOR DESIGNING CIRCUITS",
author = "Drew Vincent Mcdermott",
year = "Jen,1977",
volume = "AI-TR-402",
institution = "MIT AI Lab."
}
USE OF ANALOGY TO ACHIEVE NEW EXPERTISE, Richard Brown
@TechReports{AI-TR-403,
title = "USE OF ANALOGY TO ACHIEVE NEW EXPERTISE",
author = "Richard Brown",
year = "Apr,1977",
volume = "AI-TR-403",
institution = "MIT AI Lab."
}
REPRESENTING KNOWLEDGE OF LARGE-SCALE SPACE, Benjamin Jack Kuipers
@TechReports{AI-TR-418,
title = "REPRESENTING KNOWLEDGE OF LARGE-SCALE SPACE",
author = "Benjamin Jack Kuipers",
year = "Jul,1977",
volume = "AI-TR-418",
institution = "MIT AI Lab."
}
Reflectance Map Techniques for Analyzing Surface Defects in Metal Castings, Robert J. Woodham
@TechReports{AI-TR-457,
title = "Reflectance Map Techniques for Analyzing Surface Defects in Metal Castings",
author = "Robert J. Woodham",
year = "Jun,1978",
volume = "AI-TR-457",
institution = "MIT AI Lab."
}
RABBIT: A Compiler for SCHEME (A Study in Copmpiler Optimization), Guy L. Steele
@TechReports{AI-TR-474,
title = "RABBIT: A Compiler for SCHEME (A Study in Copmpiler Optimization)",
author = "Guy L. Steele",
year = "May,1978",
volume = "AI-TR-474",
institution = "MIT AI Lab."
}
DETERMINING THE SCOPE OF ENGLISH QUANTIFIERS, KURT A. VANLEHN
@TechReports{AI-TR-483,
title = "DETERMINING THE SCOPE OF ENGLISH QUANTIFIERS",
author = "KURT A. VANLEHN",
year = "Jun,1978",
volume = "AI-TR-483",
institution = "MIT AI Lab."
}
ATMOSPHERIC EFFECTS IN SATELLITE IMAGING OF MOUNTAINOUS TERRAIN, ROBERT W. SJOBERG
@TechReports{AI-TR-688,
title = "ATMOSPHERIC EFFECTS IN SATELLITE IMAGING OF MOUNTAINOUS TERRAIN",
author = "ROBERT W. SJOBERG",
year = "Sep,1982",
volume = "AI-TR-688",
institution = "MIT AI Lab."
}
MANIPULATOR GRASPING AND PISHING OPERATIONS, MATTHEW THOMAS MASON
@TechReports{AI-TR-690,
title = "MANIPULATOR GRASPING AND PISHING OPERATIONS",
author = "MATTHEW THOMAS MASON",
year = "Jun,1982",
volume = "AI-TR-690",
institution = "MIT AI Lab."
}
A Simple Model of Circuit Design, Gerald Roylance
@TechReports{AI-TR-703,
title = "A Simple Model of Circuit Design",
author = "Gerald Roylance",
year = "May,1980",
volume = "AI-TR-703",
institution = "MIT AI Lab."
}
An Algorithm for Parsing Flow Graphs, Daniel Carl Brotsky
@TechReports{AI-TR-704,
title = "An Algorithm for Parsing Flow Graphs",
author = "Daniel Carl Brotsky",
year = "Mar,1984",
volume = "AI-TR-704",
institution = "MIT AI Lab."
}
Using Structural & Functional Information in Diagnostic Design, walter Hamscher
@TechReports{AI-TR-707,
title = "Using Structural & Functional Information in Diagnostic Design",
author = "walter Hamscher",
year = "Jun,1983",
volume = "AI-TR-707",
institution = "MIT AI Lab."
}
A Multiple-Context Equality-based Reasoning System, George Edward Barton, Jr.
@TechReports{AI-TR-715,
title = "A Multiple-Context Equality-based Reasoning System",
author = "George Edward Barton, Jr.",
year = "Apr,1983",
volume = "AI-TR-715",
institution = "MIT AI Lab."
}
Issues in the Design and Implementation of Act2, Daniel G. Theriault
@TechReports{AI-TR-728,
title = "Issues in the Design and Implementation of Act2",
author = "Daniel G. Theriault",
year = "Jun,1983",
volume = "AI-TR-728",
institution = "MIT AI Lab."
}
Representing and Reasoning About Change in Geologic Interpretation, Reid Gordon Simmons
@TechReports{AI-TR-749,
title = "Representing and Reasoning About Change in Geologic Interpretation",
author = "Reid Gordon Simmons",
year = "Dec,1983",
volume = "AI-TR-749",
institution = "MIT AI Lab."
}
KBEmacs: A Step Toward the Programmer's Apprentice, Richard C. Waters
@TechReports{AI-TR-753,
title = "KBEmacs: A Step Toward the Programmer's Apprentice",
author = "Richard C. Waters",
year = "May,1985",
volume = "AI-TR-753",
institution = "MIT AI Lab."
}
Parallelism in Manipulator Dynamics, Richard H. Lathrop
@TechReports{AI-TR-754,
title = "Parallelism in Manipulator Dynamics",
author = "Richard H. Lathrop",
year = "Dec,1984",
volume = "AI-TR-754",
institution = "MIT AI Lab."
}
Qualitative Analysis of MOS Circuits, Brian C. Williams
@TechReports{AI-TR-767,
title = "Qualitative Analysis of MOS Circuits",
author = "Brian C. Williams",
year = "Jul,1984",
volume = "AI-TR-767",
institution = "MIT AI Lab."
}
Qualitative Process Theory, Kenneth Dale Forbus
@TechReports{AI-TR-789,
title = "Qualitative Process Theory",
author = "Kenneth Dale Forbus",
year = "Jul,1984",
volume = "AI-TR-789",
institution = "MIT AI Lab."
}
Motion Planning with Six Degrees of Freedom, Bruce R. Donald
@TechReports{AI-TR-791,
title = "Motion Planning with Six Degrees of Freedom",
author = "Bruce R. Donald",
year = "May,1984",
volume = "AI-TR-791",
institution = "MIT AI Lab."
}
Switching Between Discrete and Continuous Process Models To Predict Genetic Activity, Daniel Sabey Weld
@TechReports{AI-TR-793,
title = "Switching Between Discrete and Continuous Process Models To Predict Genetic Activity",
author = "Daniel Sabey Weld",
year = "May,1984",
volume = "AI-TR-793",
institution = "MIT AI Lab."
}
Presentation Based User Interfaces, Eugene C. Ciccarelli
@TechReports{AI-TR-794,
title = "Presentation Based User Interfaces",
author = "Eugene C. Ciccarelli",
year = "Aug,1984",
volume = "AI-TR-794",
institution = "MIT AI Lab."
}
Planning for Conjunctive Goals, David Chapman
@TechReports{AI-TR-802,
title = "Planning for Conjunctive Goals",
author = "David Chapman",
year = "Nov,1985",
volume = "AI-TR-802",
institution = "MIT AI Lab."
}
A Circuit Grammar For Operational Amplifier Design, Andrew Lewis Ressler
@TechReports{AI-TR-807,
title = "A Circuit Grammar For Operational Amplifier Design",
author = "Andrew Lewis Ressler",
year = "Jan,1984",
volume = "AI-TR-807",
institution = "MIT AI Lab."
}
On Motion Planning with Uncertainty, Michael Andreas Erdmann
@TechReports{AI-TR-810,
title = "On Motion Planning with Uncertainty",
author = "Michael Andreas Erdmann",
note ="(memorandam)",
year = "1982",
volume = "AI-TR-810",
institution = "MIT AI Lab."
}
TEMPEST: A Template Editor for Structured Text, Peter J. Sterpe
@TechReports{AI-TR-843,
title = "TEMPEST: A Template Editor for Structured Text",
author = "Peter J. Sterpe",
year = "Jun,1985",
volume = "AI-TR-843",
institution = "MIT AI Lab."
}
Learning Shape Descriptions:Generating and Generalizing Models of Visual Objects, Jonathan Hudson Connell
@TechReports{AI-TR-853,
title = "Learning Shape Descriptions:Generating and Generalizing Models of Visual Objects",
author = "Jonathan Hudson Connell",
year = "Sep,1985",
volume = "AI-TR-853",
institution = "MIT AI Lab."
}
Redundant Sensors for Mobile Robot Navigation, Anita M. Flynn
@TechReports{AI-TR-859,
title = "Redundant Sensors for Mobile Robot Navigation",
author = "Anita M. Flynn",
year = "Sep,1985",
volume = "AI-TR-859",
institution = "MIT AI Lab."
}
Probabilistic Solution of Inverse Problems, Jose Luis Marroquin
@TechReports{AI-TR-860,
title = "Probabilistic Solution of Inverse Problems",
author = "Jose Luis Marroquin",
year = "Sep,1985",
volume = "AI-TR-860",
institution = "MIT AI Lab."
}
BUILD: A Tool for Maintaining Consistency in Modular Systems, Richard Elliot Robbins
@TechReports{AI-TR-874,
title = "BUILD: A Tool for Maintaining Consistency in Modular Systems",
author = "Richard Elliot Robbins",
year = "Nov,1985",
volume = "AI-TR-874",
institution = "MIT AI Lab."
}
Learning by Failing to Explain, Robert Joseph Hall
@TechReports{AI-TR-906,
title = "Learning by Failing to Explain",
author = "Robert Joseph Hall",
year = "May,1986",
volume = "AI-TR-906",
institution = "MIT AI Lab."
}
The Design of Shape from Motion Constraints, Michael E. Caine
@TechReports{AI-TR-1425,
title = "The Design of Shape from Motion Constraints",
author = "Michael E. Caine",
year = "Sep,1993",
volume = "AI-TR-1425",
institution = "MIT AI Lab."
}
AN INVESTIGATION OF CURRENT LANGUAGE SUPPORT FOR THE DATA REQUIREMENTS OF STRUCTURED PROGRAMMING, Jack M. Aiello
@TechReports{MAC-TM-51,
title = "AN INVESTIGATION OF CURRENT LANGUAGE SUPPORT FOR THE DATA REQUIREMENTS OF STRUCTURED PROGRAMMING",
author = "Jack M. Aiello",
year = "Sep,1974",
volume = "MAC-TR-51",
institution = "MIT AI Lab."
}
ON THE DESIGN AND SPECIFICATION OF A COMMON BASE LANGUAGE, JACK B.DENNES
@TechReports{MAC-TR-101,
title = "ON THE DESIGN AND SPECIFICATION OF A COMMON BASE LANGUAGE",
author = "JACK B.DENNES",
year = "Jun,1972",
volume = "MAC-TR-101",
institution = "MIT AI Lab."
}
MATHEMATICAL FOUNDATIONS OF FORMAL LANGUAGE THEORY, Mitchell Wand
@TechReports{MAC-TR-108,
title = "MATHEMATICAL FOUNDATIONS OF FORMAL LANGUAGE THEORY",
author = "Mitchell Wand",
year = "Dec,1973",
volume = "MAC-TR-108",
institution = "MIT AI Lab."
}
NEAR-OPTIMAL BIN PACKING ALGORITHMS, David S. Johnson
@TechReports{MAC-TR-109,
title = "NEAR-OPTIMAL BIN PACKING ALGORITHMS",
author = "David S. Johnson",
year = "Jun,1973",
volume = "MAC-TR-109",
institution = "MIT AI Lab."
}
PRODUCTIVITY IN PARALLEL COMPUTATION SCHEMATA, John P. Linderman
@TechReports{MAC-TR-111,
title = "PRODUCTIVITY IN PARALLEL COMPUTATION SCHEMATA",
author = "John P. Linderman",
year = "Dec,1973",
volume = "MAC-TR-111",
institution = "MIT AI Lab."
}
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY PETRI NETS, Chander Ramchandani
@TechReports{MAC-TR-120,
title = "ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY PETRI NETS",
author = "Chander Ramchandani",
year = "Feb,1974",
volume = "MAC-TR-120",
institution = "MIT AI Lab."
}
A LANGUAGE IMPLEMENTATION SYSTEM, Vernon E. Altman
@TechReports{MAC-TR-126,
title = "A LANGUAGE IMPLEMENTATION SYSTEM",
author = "Vernon E. Altman",
year = "May,1974",
volume = "MAC-TR-126",
institution = "MIT AI Lab."
}
USING INTERACTIVE GRAPHICS IN SIMULATING THE HOSPITAL EMERGENCY ROOM, Richard W.Weissberg
@TechReports{MAC-TR-129,
title = "USING INTERACTIVE GRAPHICS IN SIMULATING THE HOSPITAL EMERGENCY ROOM",
author = "Richard W.Weissberg",
year = "May,1974",
volume = "MAC-TR-129",
institution = "MIT AI Lab."
}
ANALYSIS OF ALGORITHM IMPLEMENTATIONS, Gregory R. Ruth
@TechReports{MAC-TR-130,
title = "ANALYSIS OF ALGORITHM IMPLEMENTATIONS",
author = "Gregory R. Ruth",
year = "May,1974",
volume = "MAC-TR-130",
institution = "MIT AI Lab."
}
MATHEMATICAL LOGIC FOR COMPUTER SCIENTISTS, Michael Levin
@TechReports{MAC-TR-131,
title = "MATHEMATICAL LOGIC FOR COMPUTER SCIENTISTS",
author = "Michael Levin",
year = "Jun,1974",
volume = "MAC-TR-131",
institution = "MIT AI Lab."
}
THE COMPUTER CONTROL OF CHANGING PICTURES, Gregory F. Pfister
@TechReports{MAC-TR-135,
title = "THE COMPUTER CONTROL OF CHANGING PICTURES",
author = "Gregory F. Pfister",
year = "Sep,1974",
volume = "MAC-TR-135",
institution = "MIT AI Lab."
}
NONDETERMINISTIC TIME AND SPACE COMPLEXITY CLASSES, Joel I. Seiferas
@TechReports{MAC-TR-137,
title = "NONDETERMINISTIC TIME AND SPACE COMPLEXITY CLASSES",
author = "Joel I. Seiferas",
year = "Sep,1974",
volume = "MAC-TR-137",
institution = "MIT AI Lab."
}
NAMING AND PROTECTION IN EXTENDIBLE OPERATING SYSTEMS, David D.Redell
@TechReports{MAC-TR-140,
title = "NAMING AND PROTECTION IN EXTENDIBLE OPERATING SYSTEMS",
author = "David D.Redell",
year = "Nov,1974",
volume = "MAC-TR-140",
institution = "MIT AI Lab."
}
THE BCPL REFERENCE MANUAL, Martin Richards Arthur Evans, Jr. Robert F. Mabee
@TechReports{MAC-TR-141,
title = "THE BCPL REFERENCE MANUAL",
author = "Martin Richards Arthur Evans, Jr. Robert F. Mabee",
year = "Dec,1974",
volume = "MAC-TR-141",
institution = "MIT AI Lab."
}
A Digitalis Therapy Advisor, Howard Silverman
@TechReports{MAC-TR-143,
title = "A Digitalis Therapy Advisor",
author = "Howard Silverman",
year = "Jan,1975",
volume = "MAC-TR-143",
institution = "MIT AI Lab."
}
THE BINDING MODEL: A SEMANTIC BASE FOR MODULAR PROGRAMMING SYSTEMS, D. Austin, Henderson, Jr.
@TechReports{MAC-TR-145,
title = "THE BINDING MODEL: A SEMANTIC BASE FOR MODULAR PROGRAMMING SYSTEMS",
author = "D. Austin, Henderson, Jr.",
year = "Feb,1975",
volume = "MAC-TR-145",
institution = "MIT AI Lab."
}
A FORMALIZATION AND CORRECTNESS PROOF OF THE CGOL LANGUAGE SYSTEM, Michael Lee Van De Vanter
@TechReports{MAC-TR-147,
title = "A FORMALIZATION AND CORRECTNESS PROOF OF THE CGOL LANGUAGE SYSTEM",
author = "Michael Lee Van De Vanter",
year = "Mar,1975",
volume = "MAC-TR-147",
institution = "MIT AI Lab."
}
A PORTABLE COMPILER FOR THE LANGUAGE C, Alan Snyder
@TechReports{MAC-TR-149,
title = "A PORTABLE COMPILER FOR THE LANGUAGE C",
author = "Alan Snyder",
year = "May,1975",
volume = "MAC-TR-149",
institution = "MIT AI Lab."
}
A PARALLEL ASYNCHRONOUS COMPUTER ARCHITECTURE FOR DATA FLOW PROGRAMS, James E. Rumbaugh
@TechReports{MAC-TR-150,
title = "A PARALLEL ASYNCHRONOUS COMPUTER ARCHITECTURE FOR DATA FLOW PROGRAMS",
author = "James E. Rumbaugh",
year = "May,1975",
volume = "MAC-TR-150",
institution = "MIT AI Lab."
}
AUTOMATIC TEST,CONFIGURATION,AND REPAIR OF CELLILAR ARRAYS, Frank B. Manning
@TechReports{MAC-TR-151,
title = "AUTOMATIC TEST,CONFIGURATION,AND REPAIR OF CELLILAR ARRAYS",
author = "Frank B. Manning",
year = "Jun,1975",
volume = "MAC-TR-151",
institution = "MIT AI Lab."
}
STRATEGY SELECTION IN MEDICAL DIAGNOSIS, Peter B. Miller
@TechReports{MAC-TR-153,
title = "STRATEGY SELECTION IN MEDICAL DIAGNOSIS",
author = "Peter B. Miller",
year = "Sep,1975",
volume = "MAC-TR-153",
institution = "MIT AI Lab."
}
SEMANTICS OF COMMUNICATING PARALLEL PROCESSES, Irene Greif
@TechReports{MAC-TR-154,
title = "SEMANTICS OF COMMUNICATING PARALLEL PROCESSES",
author = "Irene Greif",
year = "Sep,1975",
volume = "MAC-TR-154",
institution = "MIT AI Lab."
}
MECHANIZATION OF TENPORAL KNOWLEDGE, Kenneth M. Kahn
@TechReports{MAC-TR-155,
title = "MECHANIZATION OF TENPORAL KNOWLEDGE",
author = "Kenneth M. Kahn",
year = "Sep,1975",
volume = "MAC-TR-155",
institution = "MIT AI Lab."
}
A PRELIMINARY STUDY IN COMPUTER-AIDED LEGAL ANALYSIS, Jeffrey A. Meldman
@TechReports{MAC-TR-157,
title = "A PRELIMINARY STUDY IN COMPUTER-AIDED LEGAL ANALYSIS",
author = "Jeffrey A. Meldman",
year = "Nov,1975",
volume = "MAC-TR-157",
institution = "MIT AI Lab."
}
SOME DATA BASE APPLICATIONS OF CONSTRAINT EXPRESSIONS, RICHARD W. GROSSMAN
@TechReports{MAC-TR-158,
title = "SOME DATA BASE APPLICATIONS OF CONSTRAINT EXPRESSIONS",
author = "RICHARD W. GROSSMAN",
year = "Feb,1976",
volume = "MAC-TR-158",
institution = "MIT AI Lab."
}
COORDINATION OF ASYNCHRONOUS EVENTS, Suhas Shrikrishna Patil
@TechReports{MAC-TR-72,
title = "COORDINATION OF ASYNCHRONOUS EVENTS",
author = "Suhas Shrikrishna Patil",
year = "Jun,1970",
volume = "MAC-TR-72",
institution = "MIT AI Lab."
}
DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SYSYTEMS, Prakash G. Hebalkar
@TechReports{MAC-TR-75,
title = "DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SYSYTEMS",
author = "Prakash G. Hebalkar",
year = "Sep,1970",
volume = "MAC-TR-75",
institution = "MIT AI Lab."
}
AUTOMATIC CREATION OF A CODE GENERATOR FROM A MACHINE DESCRIPTION, Perry L. Miller
@TechReports{MAC-TR-85,
title = "AUTOMATIC CREATION OF A CODE GENERATOR FROM A MACHINE DESCRIPTION",
author = "Perry L. Miller",
year = "May,1971",
volume = "MAC-TR-85",
institution = "MIT AI Lab."
}
A MODEL FOR PROCESS PEPRESENTATION AND SYNTHESIS, Robert H. Thomas
@TechReports{MAC-TR-87,
title = "A MODEL FOR PROCESS PEPRESENTATION AND SYNTHESIS",
author = "Robert H. Thomas",
year = "Jun,1971",
volume = "MAC-TR-87",
institution = "MIT AI Lab."
}
ESSAYS IN ALGEBRAIC SIMPLIFICATION, RICHARD J. FATEMAN
@TechReports{MAC-TR-95,
title = "ESSAYS IN ALGEBRAIC SIMPLIFICATION",
author = "RICHARD J. FATEMAN",
year = "Apr,1972",
volume = "MAC-TR-95",
institution = "MIT AI Lab."
}
MACSYMA REFERENCE MANUAL, THE MAHTLAB GROUP MIT LABORATORY FOR COMPUTER SCIENCE
@TechReports{MAC,
title = "MACSYMA REFERENCE MANUAL",
author = "THE MAHTLAB GROUP MIT LABORATORY FOR COMPUTER SCIENCE",
year = "Nov,1975",
volume = "MAC",
institution = "MIT AI Lab."
}
MACSYMA Primer, Mathlab Group
@TechReports{MAC,
title = "MACSYMA Primer",
author = "Mathlab Group",
year = "Sep,1977",
volume = "MAC",
institution = "MIT AI Lab."
}
An Introduction to ITS for the MACSYMA User, Mathlab Group
@TechReports{MAC,
title = "An Introduction to ITS for the MACSYMA User",
author = "Mathlab Group",
year = "Sep,1977",
volume = "MAC",
institution = "MIT AI Lab."
}
MACLISP REFERENCE MANUAL, David A. Moon
@TechReports{MAC-M.I.T.,
title = "MACLISP REFERENCE MANUAL",
author = "David A. Moon",
year = "Apr,1974",
volume = "MAC-M.I.T.",
institution = "MIT AI Lab."
}
THE DESIGN OF A MODULAR LABORATORY FOR CONTROL ROBOTICS, NIKHIL MALVANIA
@TechReports{MIT-LCS-TM-74,
title = "THE DESIGN OF A MODULAR LABORATORY FOR CONTROL ROBOTICS",
author = "NIKHIL MALVANIA",
year = "Sep,1976",
volume = "MIT-LCS-TM-74",
institution = "MIT AI Lab."
}
TASK SCHEDULING IN THE CONTROL ROBOTICS ENVIRONMENT, ALOYSIUS KA-LAU MOK
@TechReports{MIT-LCS-TM-77,
title = "TASK SCHEDULING IN THE CONTROL ROBOTICS ENVIRONMENT",
author = "ALOYSIUS KA-LAU MOK",
year = "Sep,1976",
volume = "MIT-LCS-TM-77",
institution = "MIT AI Lab."
}
PROCESSOR MULTIPLEXING IN A LAYERED OPERATING SYSTEM, DAVID P. REED
@TechReports{MIT-LCS-TR-164,
title = "PROCESSOR MULTIPLEXING IN A LAYERED OPERATING SYSTEM",
author = "DAVID P. REED",
year = "Jun,1976",
volume = "MIT-LCS-TR-164",
institution = "MIT AI Lab."
}
SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC, Vaughan R. Pratt
@TechReports{MIT-LCS-TR-168,
title = "SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC",
author = "Vaughan R. Pratt",
year = "Sep,1976",
volume = "MIT-LCS-TR-168",
institution = "MIT AI Lab."
}
DIAGNOSTIC PLANNING AND CANCER MANAGEMENT, Charles Safran Jane F. Desforges Philip N. Tsichlis
@TechReports{MIT-LCS-TR-169,
title = "DIAGNOSTIC PLANNING AND CANCER MANAGEMENT",
author = "Charles Safran Jane F. Desforges Philip N. Tsichlis",
year = "Sep,1976",
volume = "MIT-LCS-TR-169",
institution = "MIT AI Lab."
}
THE REFORMULATION MODEL OF EXPERTISE, William S. Mark
@TechReports{MIT-LCS-TR-172,
title = "THE REFORMULATION MODEL OF EXPERTISE",
author = "William S. Mark",
year = "Dec,1976",
volume = "MIT-LCS-TR-172",
institution = "MIT AI Lab."
}
COORDINATION OF PARALLEL PROCESSES IN THE ACTOR MODEL OF COMPUTATION, Nathan Goodman
@TechReports{MIT-LCS-TR-173,
title = "COORDINATION OF PARALLEL PROCESSES IN THE ACTOR MODEL OF COMPUTATION",
author = "Nathan Goodman",
year = "Dec,1976",
volume = "MIT-LCS-TR-173",
institution = "MIT AI Lab."
}
A ROBUST ENVIRONMENT FOR PROGRAM DEVELOPMENT, Harold J. Goldberg
@TechReports{MIT-LCS-TR-175,
title = "A ROBUST ENVIRONMENT FOR PROGRAM DEVELOPMENT",
author = "Harold J. Goldberg",
year = "Feb,1977",
volume = "MIT-LCS-TR-175",
institution = "MIT AI Lab."
}
A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONS, William R. Swartout
@TechReports{MIT-LCS-TR-176,
title = "A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONS",
author = "William R. Swartout",
year = "Feb,1977",
volume = "MIT-LCS-TR-176",
institution = "MIT AI Lab."
}
A LAYERED VIRTUAL MEMORY MANAGER, Andrew H. Mason
@TechReports{MIT-LCS-TR-177,
title = "A LAYERED VIRTUAL MEMORY MANAGER",
author = "Andrew H. Mason",
year = "May,1977",
volume = "MIT-LCS-TR-177",
institution = "MIT AI Lab."
}
COMPUTER SYSTEMS WITH A VERY LARGE ADDRESS SPACE AND GARBAGE COLLECTION, Peter B. Bishop
@TechReports{MIT-LCS-TR-178,
title = "COMPUTER SYSTEMS WITH A VERY LARGE ADDRESS SPACE AND GARBAGE COLLECTION",
author = "Peter B. Bishop",
year = "May,1977",
volume = "MIT-LCS-TR-178",
institution = "MIT AI Lab."
}
NON-DISCRETIONARY ACCESS CONTROL FOR DECENTRALIZED COMPUTING SYSTEMS, Paul A. Karger
@TechReports{MIT-LCS-TR-179,
title = "NON-DISCRETIONARY ACCESS CONTROL FOR DECENTRALIZED COMPUTING SYSTEMS",
author = "Paul A. Karger",
year = "May,1977",
volume = "MIT-LCS-TR-179",
institution = "MIT AI Lab."
}
A SIMPLE AND FLEXIBLE SYSTEM INITIALIZATION MECHANISM, Allen W. Luniewski
@TechReports{MIT-LCS-TR-180,
title = "A SIMPLE AND FLEXIBLE SYSTEM INITIALIZATION MECHANISM",
author = "Allen W. Luniewski",
year = "May,1977",
volume = "MIT-LCS-TR-180",
institution = "MIT AI Lab."
}
THE COMPLEXITY OF THE FINITE CONTAINMENT PROBLEM FOR PETRI NETS, Ernst W. Mayr
@TechReports{MIT-LCS-TR-181,
title = "THE COMPLEXITY OF THE FINITE CONTAINMENT PROBLEM FOR PETRI NETS",
author = "Ernst W. Mayr",
year = "Jun,1977",
volume = "MIT-LCS-TR-181",
institution = "MIT AI Lab."
}
THE MAX FLOW ALGORITHM OF DINIC AND KARZANOV: AN EXPOSITION, SHIMON EVEN
@TechReports{MIT-LCS-TR-80,
title = "THE MAX FLOW ALGORITHM OF DINIC AND KARZANOV: AN EXPOSITION",
author = "SHIMON EVEN",
year = "Dec,1976",
volume = "MIT-LCS-TR-80",
institution = "MIT AI Lab."
}
GENERAL METHODS TO ENABLE ROBOTS WITH VISION TO ACQUIRE ORIENT AND TRANSPORT WORKPIECES, J.BIRK,R.KELLEY,L.WILSON, V.BADAMI,T.BROWNELL, N.CHEN,D.DUNCAN,J.HALL, H.MARTINS,R.SILVA AND R.TELLA
@TechReports{GRANTAPR74-13935,
title = "GENERAL METHODS TO ENABLE ROBOTS WITH VISION TO ACQUIRE ORIENT AND TRANSPORT WORKPIECES",
author = "J.BIRK,R.KELLEY,L.WILSON, V.BADAMI,T.BROWNELL, N.CHEN,D.DUNCAN,J.HALL, H.MARTINS,R.SILVA AND R.TELLA",
year = "Aug,1977-Jul,1978",
volume = "GRANT APR74-13935",
institution = "MIT AI Lab."
}
STUDY OF EQUIPMENT NEEDS FOR ARTIFICIAL INTELLIGENCE RESEARCH, N.J.NILSSON, H. BARROW, L. COLES,G. GLEASON, B. MEYER, and D. NITZAN
@TechReports{SRIProjedt2308,
title = "STUDY OF EQUIPMENT NEEDS FOR ARTIFICIAL INTELLIGENCE RESEARCH",
author = "N.J.NILSSON, H. BARROW, L. COLES,G. GLEASON, B. MEYER, and D. NITZAN",
year = "Jun,1973",
volume = "SRI Projedt 2308",
institution = "MIT AI Lab."
}
Natural language input for a computer problem solving system, D.G. Bobrow
@TechReport{mit-ai-tr-219,
author = "D.G. Bobrow",
title = "Natural language input for a computer problem
solving system",
institution = "Massachusetts Institute of Technology",
year = 1964,
note = "Thesis, AD 604 730"
}
SIR: a computer program for semantic information retrieval, B. Raphael
@TechReport{mit-ai-tr-220,
author = "B. Raphael",
title = "SIR: a computer program for semantic information retrieval",
institution = "Massachusetts Institute of Technology",
year = 1964,
note = "Thesis, AD 608 499"
}
PILOT: a step toward man-computer symbiosis, W. Teitelman
@TechReport{mit-ai-tr-221,
author = "W. Teitelman",
title = "PILOT: a step toward man-computer symbiosis",
institution = "Massachusetts Institute of Technology",
year = 1966,
note = "Thesis, AD 638 446"
}
ADEPT: a heuristic program for proving theorems of group theory, L.M. Norton
@TechReport{mit-ai-tr-222,
author = "L.M. Norton",
title = "ADEPT: a heuristic program for proving theorems of
group theory",
institution = "Massachusetts Institute of Technology",
year = 1966,
note = "Thesis, AD 645 660"
}
Symbolic Mathematical Laboratory, S.A. Martin
@TechReport{mit-ai-tr-223,
author = "S.A. Martin",
title = "Symbolic Mathematical Laboratory",
institution = "Massachusetts Institute of Technology",
year = 1967,
note = "Thesis, AD 657 283"
}
Some aspects of pattern recognition by computer, A. Guzman-Arenas
@TechReport{mit-ai-tr-224,
author = "A. Guzman-Arenas",
title = "Some aspects of pattern recognition by computer",
institution = "Massachusetts Institute of Technology",
year = 1967,
note = "Thesis, AD 656 041"
}
Syntax-based analytic reading of musical scores, A. Forte
@TechReport{mit-ai-tr-225,
author = "A. Forte",
title = "Syntax-based analytic reading of musical scores",
institution = "Massachusetts Institute of Technology",
year = 1967
}
Symbolic Integration, J. Moses
@TechReport{mit-ai-tr-226,
author = "J. Moses",
title = "Symbolic Integration",
institution = "Massachusetts Institute of Technology",
year = 1967,
note = "Thesis"
}
CARPS, a program which solves calculus word problems, E. Charniak
@TechReport{mit-ai-tr-227,
author = "E. Charniak",
title = "CARPS, a program which solves calculus word problems",
institution = "Massachusetts Institute of Technology",
year = 1968,
note = "Thesis"
}
Computer recognition of three-dimensional objects in a visual scene, A. Guzman-Arenas
@TechReport{mit-ai-tr-228,
author = "A. Guzman-Arenas",
title = "Computer recognition of three-dimensional objects in
a visual scene",
institution = "Massachusetts Institute of Technology",
year = 1968,
note = "Thesis"
}
Recognition of topological invariants by iterative arrays, W.T. Beyer
@TechReport{mit-ai-tr-229,
author = "W.T. Beyer",
title = "Recognition of topological invariants by iterative arrays",
institution = "Massachusetts Institute of Technology",
year = 1969,
note = "Thesis, AD 699 502"
}
Shape from shading: a method for obtaining the shape of a smooth opaque object from one view, B.K.P.Horn
@TechReport{mit-ai-tr-232,
author = "B.K.P.Horn",
title = "Shape from shading: a method for obtaining the
shape of a smooth opaque object from one view",
institution = "Massachusetts Institute of Technology",
year = 1970,
note = "Thesis"
}
Information processing and transmission in cellular automata, E.R. Banks
@TechReport{mit-ai-tr-233,
author = "E.R. Banks",
title = "Information processing and transmission
in cellular automata",
institution = "Massachusetts Institute of Technology",
year = 1971,
note = "Thesis"
}
Computer analysis of visual properties of curved objects, L.J. Krakauer
@TechReport{mit-ai-tr-234,
author = "L.J. Krakauer",
title = "Computer analysis of visual properties of curved objects",
institution = "Massachusetts Institute of Technology",
year = 1971,
note = "Thesis"
}
Procedures as a representation for data in a computer program for understanding natural language, T. Winograd
@TechReport{mit-ai-tr-235,
author = "T. Winograd",
title = "Procedures as a representation for data in a computer
program for understanding natural language",
institution = "Massachusetts Institute of Technology",
year = 1971,
note = "Thesis"
}
A computer model of simple forms of learning, T.L. Jones
@TechReport{mit-ai-tr-236,
author = "T.L. Jones",
title = "A computer model of simple forms of learning",
institution = "Massachusetts Institute of Technology",
year = 1971,
note = "Thesis, AD 720 337"
}
A parallel processing model of musical structures, S.W. Smoliar
@TechReport{mit-ai-tr-242,
author = "S.W. Smoliar",
title = "A parallel processing model of musical structures",
institution = "Massachusetts Institute of Technology",
year = 1971,
note = "Thesis"
}
Description and theoretical analysis (using schemata) of planner: a language for proving theorems and manipulating models in a robot, C. Hewitt
@TechReport{mit-ai-tr-258,
author = "C. Hewitt",
title = "Description and theoretical analysis (using
schemata) of planner: a language for proving
theorems and manipulating models in a robot",
institution = "Massachusetts Institute of Technology",
year = 1972,
note = "Thesis"
}
Toward a model of children's story comprehension, E. Charniak
@TechReport{mit-ai-tr-266,
author = "E. Charniak",
title = "Toward a model of children's story comprehension",
institution = "Massachusetts Institute of Technology",
year = 1972,
note = "Thesis, AD 755 232"
}
Generating semantic descriptions from drawings of scenes with shadows, D.L. Waltz
@TechReport{mit-ai-tr-271,
author = "D.L. Waltz",
title = "Generating semantic descriptions from drawings of
scenes with shadows",
institution = "Massachusetts Institute of Technology",
year = 1972,
note = "Thesis, AD 754 080"
}
Flexibility and efficiency in a computer program for designing circuits, Drew Vincent McDermott
@TechReport{mit-ai-tr-402,
author = "Drew Vincent McDermott",
title = "Flexibility and efficiency in a computer program for
designing circuits",
institution = "Massachusetts Institute of Technology",
year = 1977,
note = "Thesis"
}
Truth maintenance systems for problem solving, Jon Doyle
@TechReport{mit-ai-tr-419,
author = "Jon Doyle",
title = "Truth maintenance systems for problem solving",
institution = "Massachusetts Institute of Technology",
year = 1978,
note = "Thesis"
}
Automatic analysis of the logical structure of programs, Richard C. Waters
@TechReport{mit-ai-tr-492,
author = "Richard C. Waters",
title = "Automatic analysis of the logical structure of programs",
institution = "Massachusetts Institute of Technology",
year = 1978,
note = "Thesis"
}
Dependency directed reasoning for complex program understanding, Howard E. Shrobe
@TechReport{mit-ai-tr-503,
author = "Howard E. Shrobe",
title = "Dependency directed reasoning for complex
program understanding",
institution = "Massachusetts Institute of Technology",
year = 1979,
note = "Thesis"
}
Reasoning modeled as a society of communicating experts, Luc Steels
@TechReport{mit-ai-tr-542,
author = "Luc Steels",
title = "Reasoning modeled as a society of communicating experts",
institution = "Massachusetts Institute of Technology",
year = 1979
}
The use of equality in deduction and knowledge representation, David Allen McAllester
@TechReport{mit-ai-tr-550,
author = "David Allen McAllester",
title = "The use of equality in deduction and
knowledge representation",
institution = "Massachusetts Institute of Technology",
year = 1980,
note = "Thesis"
}
A model for deliberation, action, and introspection, Jon Doyle
@TechReport{mit-ai-tr-581,
author = "Jon Doyle",
title = "A model for deliberation, action, and introspection",
institution = "Massachusetts Institute of Technology",
year = 1980,
note = "Thesis"
}