Bibliography

AB85

P. Allen and R. Bajcsy.
Object recognition using vision and touch.
In Proceedings International Joint Conference on Artificial Intelligence, 1985.

ABB⁺75

A. P. Ambler, H. G. Barrow, C. M. Brown, R. M. Burstall, and R. J. Popplestone.
A versatile system for computer controlled assembly.
6(2), 1975.

Alb81

James Albus.
Brains, Behaviour, and Robotics.
BYTE Books, Peterborough N.H., 1981.

AMBF83

James S. Albus, Charles R. McLean, Anthony J. Barbera, and M.L. Fitzgerald.
Hierachical control for robots in an automated factory.
In Proceedings 13th International Symposium on Industrial Robots, and Robots 7, volume 2, Dearborn Michigan, April 1983. Robotics International of SME.

And77

John H. Andreae.
Thinking with the Teachable Machine.
Academic Press, London, 1977.

And85

Peter Merrett Andreae.
Justified generalization: Acquiring procedures from examples.
Technical Report 834, MIT Artificial Intelligence Laboratory, January 1985.

AP75

A. P. Ambler and R. J. Popplestone.
Inferring the positions of bodies from specified spatial relationships.
6(2), 1975.

APK82

A. P. Ambler, R. J. Popplestone, and K. G. Kempf.
An experiment in the offline programming of robots.
In Proceedings 12th International Symposium on Industrial Robots, 6th International Conference on Industrial Robot Technology, 1982.

BA84a

Michael Brady and Philip E. Agre.
The mechanics mate.
In Proceedings European Conference on Artificial Intelligence, 1984.

BA84b

Michael Brady and Haruo Asada.
Smoothed local symmetries and their implementation.
AI Memo 757, MIT AI Lab, February 1984.

Bal84

D. H. Ballard.
Task frames in robot manipulation.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1984.

Bar84

H. G. Barrow.
VERIFY: A program for proving correctness of digital hardware designs.
In D. G. Bobrow, editor, Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, 1984.

BB83

Alan Bundy and Lawrence Byrd.
Using the method of fibres in Mecho to calculate radii of gyration.
In Dedre Gentner and Albert L. Stevens, editors, Mental Models. Lawrence Erlbaum Associates, 1983.

BB87

Wilhelm Burger and Bir Bhanu.
Qualitative motion understanding.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

BC72

H. G. Barrow and G. F. Crawford.
The Mark 1.5 Edinburgh Robot Facility, volume 7 of Machine Intelligence, chapter 25, pages 465-480.
Edinburgh University Press, 1972.

BCF86

Rodney A. Brooks, Jon Connell, and Anita Flynn.
A mobile robot with onboard parallel processor and large workspace arm.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

BDdRP83

R. Bardelli, P. Dario, D. de Rossi, and P.C. Pinotti.
Piezo and pyroelectric polymers skin-like tactile sensors for robots and prostheses.
In Proceedings 13th International Symposium on Industrial Robots, and Robots 7, volume 2, Dearborn Michigan, April 1983. Robotics International of SME.

Ben83

Harry L. Benjamin.
The development of a production robot tactile position sensor.
In Proceedings 13th International Symposium on Industrial Robots, and Robots 7, volume 2. Robotics International of SME, 1983.

BF84

David A. Bourne and Mark S. Fox.
Autonomous manufacturing: Automating the job shop.
IEEE Computer, September 1984.

BG82

John W. Boyse and Jack E. Gilchrist.
GMSolid: Interactive modeling for design and analysis of solids.
IEEE Computer Graphics and Applications, 2(2), March 1982.

BH82

G. Bancon and B. Huber.
Depression and dual grippers with their possible applications.
In Proceedings 12th International Symposium on Industrial Robots, 6th International Conference on Industrial Robot Technology, 1982.

BH86

Robert C. Bolles and Patrice Horaud.
3DPO: a three dimensional part orientation system.
International Journal of Robotics Research, 5(3), 1986.

Big86

Anton Bigelmaier.
Profile of a geometrical knowledge base for CAD systems.
Computers and Graphics, 10(4):297-306, 1986.

Bla86

Alan Blackwell.
Artificial intelligence and New Zealand manufacturing industry.
In Proceedings of First N.Z. Conference on Robotics and Handling Automation (ROBHANZ 86), November 1986.

Bla88

Alan Blackwell.
Qualitative Geometric Reasoning Using a Partial Distance Ordering, pages 217-229.
Artificial Intelligence Developments and Applications. North-Holland, Amsterdam, 1988.

Bli87

A. Peter Blicher.
A shape representation based on geometric topology: Bumps, gaussian curvature, and the topological zodiac.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

Bob84a

D. G. Bobrow, editor.
Qualitative Reasoning about Physical Systems.
Elsevier Science Publishers, 1984.

Bob84b

D. G. Bobrow.
Qualitative reasoning about physical systems: An introduction.
In D. G. Bobrow, editor, Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, 1984.

BPYA85

Michael Brady, Jean Ponce, Alan Yuille, and Haruo Asada.
Describing surfaces.
AI Memo 822, MIT AI Lab, January 1985.

Bra84

Michael Brady.
Intelligent Robots: Connecting Perception to Action, chapter 14.
The AI Business: The Commercial Uses of Artificial Intelligence. MIT Press, 1984.

Bra85a

Michael Brady.
Artificial intelligence and robotics.
26:79-121, 1985.

Bra85b

David J. Braunegg.
Function from form.
Technical report, MIT AI Lab, November 1985.

Bro81

Rodney A. Brooks.
Symbolic reasoning among 3D models and 2D images.
17:285-348, 1981.

Bro82a

Rodney A. Brooks.
Symbolic error analysis and robot planning.
AI Memo 685, MIT AI Lab, September 1982.

Bro82b

Christopher M. Brown.
PADL-2: A technical summary.
IEEE Computer Graphics and Applications, 2(2), March 1982.

Bro83

Rodney A. Brooks.
Planning collision free motions for pick and place operations.
AI Memo 725, MIT AI Lab, May 1983.

Bro85a

Rodney A. Brooks.
A mobile robot project.
Working Paper 265, MIT AI Lab, February 1985.

Bro85b

Rodney A. Brooks.
A robust layered control system for a mobile robot.
AI Memo 864, MIT AI Lab, September 1985.
Also published in IEEE Robotics and Automation, Vol. 2, Number 1, March 1986.

Bro86

Rodney A. Brooks.
Achieving artificial intelligence through building robots.
AI Memo 899, MIT AI Lab, May 1986.

BRS78

M. Briot, M. Renaud, and Z. Stojiljkovic.
An approach to spatial pattern recognition of solid objects.
IEEE Transactions on Systems, Man, and Cybernetics, 8(9), September 1978.

Bun78

Alan Bundy.
Will it reach the top? Prediction in the mechanics world.
10(2):129-146, April 1978.

Byl88

Tom Bylander.
A critique of qualitative simulation from a consolidation viewpoint.
IEEE Transactions on Systems, Man, and Cybernetics, 18(2), April 1988.

Cal87

Philippe Caloud.
Towards continuous process supervision.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

Car83

Jaime G. Carbonell.
Learning by Analogy: Formulating and Generalising Plans from Past Experience, volume 1 of Machine Learning, pages 163-190.
Tioga Publishing, 1983.

Cas87

Malcolm S. Casale.
Free-form solid modeling with trimmed surface patches.
IEEE Computer Graphics and Applications, 7(1), January 1987.

CB85a

Jonathan H. Connell and Michael Brady.
Generating and generalizing models of visual objects.
AI Memo 823, MIT AI Lab, July 1985.

CB85b

Jonathan H. Connell and Michael Brady.
Learning shape descriptions.
In Proceedings International Joint Conference on Artificial Intelligence, 1985.

CB87

Jonathon H. Connell and Michael Brady.
Generating and generalizing models of visual objects.
31(1):159-183, February 1987.

CF87

John W. Collins and Kenneth D. Forbus.
Reasoning about fluids via molecular collections.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, pages 590-594, 1987.

Con85

Jonathan H. Connell.
Learning shape descriptions: Generating and generalizing models of visual objects.
Technical Report 853, MIT AI Lab, September 1985.

Con87

Jonathan H. Connell.
Creature design with the subsumption architecture.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

Cro82

A. G. Cronshaw.
Automatic chocolate decoration by robot vision.
In Proceedings 12th International Symposium on Industrial Robots, 6th International Conference on Industrial Robot Technology, 1982.

Cro87

James L. Crowley.
Coordination of action and perception in a surveillance robot.
IEEE Expert, 2(4), 1987.

CW88

Kai-Hsiung Chang and William G Wee.
A knowledge-based planning system for mechanical assembly using robots.
IEEE Expert, March 1988.

D'A87

Bruce D'Ambrosio.
Extending the mathematics in qualitative process theory.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, pages 595-599, 1987.

DAD86

Richard J. Doyle, David J. Atkinson, and Rajkumar S. Doshi.
Generating perception requests and expectations to verify the execution of plans.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

Dav84a

Ernest Davis.
Shape and function of solid objects: Some examples.
Technical Report 137, New York University, October 1984.

Dav84b

Randall Davis.
Diagnostic reasoning based on structure and behaviour.
In D. G. Bobrow, editor, Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, 1984.

Dav85

Ernest Davis.
An ontology of physical actions.
Technical report, MIT AI Lab, 1985.

DdR85

P. Dario and D. de Rossi.
Tactile sensors and the gripping challenge.
IEEE Spectrum, August 1985.

Dix86

John R. Dixon.
Artificial intelligence and design: A mechanical engineering view.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

dK77

Johan de Kleer.
Multiple representations of knowledge in a mechanics problem solver.
In Proceedings International Joint Conference on Artificial Intelligence, pages 299-304, 1977.

dK79

Johan de Kleer.
Qualitative and quantitative reasoning in classical mechanics.
In P H Winston and R H Brown, editors, Artificial Intelligence: An MIT Perspective. MIT Press, 1979.

dK84

Johan de Kleer.
How circuits work.
In D. G. Bobrow, editor, Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, 1984.

dKB80

Johan de Kleer and John Seely Brown.
Mental models of physical mechanisms and their acquisition.
In Cognitive Skills and Their Acquisition. Erlbaum, 1980.

dKB82

Johan de Kleer and John Seely Brown.
Foundations of envisioning.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1982.

dKB83

Johan de Kleer and John Seely Brown.
Assumptions and ambiguities in mechanistic mental models.
In Dedre Gentner and Albert L. Stevens, editors, Mental Models. Lawrence Erlbaum Associates, 1983.

dKB84

Johan de Kleer and John Seely Brown.
A qualitative physics based on confluences.
In D. G. Bobrow, editor, Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, 1984.

dKB86

Johan de Kleer and John Seely Brown.
Theories of causal ordering.
29(1):33-62, July 1986.

DL84

Bruno Dufay and Jean-Claude Latombe.
An approach to automatic robot programming based on inductive learning.
International Journal of Robotics Research, 3(4), 1984.

dM87

Joseph di Martino.
On multi-level machines for continuous speech recognition.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

dMS86

Luiz S. Homem de Mello and Arthur C. Sanderson.
And/or graph representation of assembly plans.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

Don86

Bruce R. Donald.
A theory of error detection and recovery: Robot motion planning with uncertainty in the geometric models of the robot and environment.
Although unpublished when I saw it, this should since be listed in the MIT AI lab. publications list, June 1986.

Don87

Bruce R. Donald.
A search algorithm for motion planning with six degrees of freedom.
31(3):295-353, March 1987.

DRD87

Philippe Dague, Olivier Raiman, and Philippe Deves.
Troubleshooting: when modeling is the trouble.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, pages 600-605, 1987.

Ela86

Taha I. Elareef.
Flavour system and message passing as representation of knowledge for solid modelling in CAD expert system.
Computers and Graphics, 10(4):351-358, 1986.

ELP86

Michael Erdmann and Tomas Lozano-Perez.
On multiple moving objects.
AI Memo 883, MIT AI Lab, May 1986.

EUY⁺72

Masakazu Ejiri, Takeshi Uno, Hauo Yoda, Tatsuo Goto, and Kiyoo Takeyasu.
A prototype intelligent robot that assembles objects from plan drawings.
IEEE Transactions on Computers, 21(2), February 1972.

FA86

W. Friedrich and G. Arndt.
Vision-aided flexible component handling.
In Proceedings of First N.Z. Conference on Robotics and Handling Automation (ROBHANZ 86), November 1986.

Fah73

Scott E. Fahlman.
A planning system for robot construction tasks.
Technical Report 283, MIT AI Lab, May 1973.

Fal86

Boi Faltings.
A theory of qualitative kinematics in mechanisms.
Research report, University of Illinois, May 1986.

Fal87

Boi Faltings.
A theory of qualitative kinematics in mechanisms.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

FFG86

Brian Falkenhainer, Kenneth D. Forbus, and Dedre Gentner.
The structure-mapping engine.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

FG86

Kenneth D. Forbus and Dedre Gentner.
Causal reasoning about quantities.
In Proc. of the eighth annual meeting of the Cognitive Science Society, August 1986.

FH84

Ronald S. Fearing and John M. Hollerbach.
Basic solid mechanics for tactile sensing.
AI Memo 771, MIT AI Lab, March 1984.

FH86

O. D. Faugeras and M. Hebert.
The representation, recognition, and locating of 3D objects.
International Journal of Robotics Research, 5(3), 1986.

Fin84

Aryeh Finegold.
The Engineer's Apprentice, chapter 9.
The AI Business: The Commercial Uses of Artificial Intelligence. MIT Press, 1984.

Fle85a

Margaret Morrison Fleck.
Local rotational symmetries.
Technical Report 852, MIT AI Lab, August 1985.

Fle85b

Alan Fleming.
Analysis of uncertainties in a structure of parts.
In Proceedings International Joint Conference on Artificial Intelligence, 1985.

FN71

Richard E. Fikes and Nils J. Nilsson.
STRIPS: A new approach to the application of theorem proving to problem solving.
2:189-208, 1971.

FNF87

Kenneth D. Forbus, Paul Nielsen, and Boi Faltings.
Qualitative kinematics: A framework.
Technical Report UIUCDCS-R-87-1352, Dept. of Computer Science, University of Illinois at Urbana-Champaign, June 1987.

For81

Kenneth D. Forbus.
A study of qualitative and geometric knowledge in reasoning about motion.
Technical Report 615, MIT AI Lab., February 1981.

For82

Kenneth D. Forbus.
Modeling motion with qualitative process theory.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1982.

For83

Kenneth D. Forbus.
Qualitative reasoning about space and motion.
In Dedre Gentner and Albert L. Stevens, editors, Mental Models. Lawrence Erlbaum Associates, 1983.

For84a

Kenneth D. Forbus.
Qualitative process theory.
Technical Report 789, MIT AI Lab, July 1984.

For84b

Kenneth D. Forbus.
Qualitative process theory.
In D. G. Bobrow, editor, Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, 1984.

For86

Kenneth D. Forbus.
Interpreting measurements of physical systems.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

For87

Kenneth D. Forbus.
The logic of occurrence.
In Proceedings International Joint Conference on Artificial Intelligence, pages 409-415, 1987.

FT87

B. Faverjon and P. Tournassoud.
The mixed approach for motion planning: Learning global strategies from a local planner.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

Fun80

B. V. Funt.
Problem-solving with diagrammatic representations.
13(3):201-230, May 1980.

GB75

D. D. Grossman and M. W. Blasgen.
Orienting mechanical parts by computer controlled manipulator.
IEEE Transactions on Systems, Man, and Cybernetics, 5(5), September 1975.

GB87

Douglas S. Green and David C. Brown.
Qualitative reasoning during design about shape and fit: A preliminary report.
In Expert Systems in Computer-Aided Design. IFIP, 1987.

GDG⁺85

Maria Gini, Rajkumar Doshi, Marc Gluch, Richard Smith, and Imran Zualkernan.
The role of knowledge in the architecture of a robust robot control.
In Proceedings IEEE Conference on Robotics and Automation, 1985.

Gel63

H. Gelernter.
Realization of a geometry-theorem proving machine.
In Edward A. Feigenbaum and Julian Feldman, editors, Computers and Thought, pages 134-152. McGraw-Hill, 1963.

Gen84

M. R. Genesereth.
The use of design descriptions in automated diagnosis.
In D. G. Bobrow, editor, Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, 1984.

GHL63

H. Gelernter, J. R. Hansen, and D. W. Loveland.
Empirical explorations of the geometry-theorem proving machine.
In Edward A. Feigenbaum and Julian Feldman, editors, Computers and Thought, pages 153-163. McGraw-Hill, 1963.

Gou86

Laurent Gouzenes.
Strategies for solving collision-free trajectories problems for mobile and manipulator robots.
International Journal of Robotics Research, 4(4), 1986.

Gre83

James G. Greeno.
Conceptual entities.
In Dedre Gentner and Albert L. Stevens, editors, Mental Models. Lawrence Erlbaum Associates, 1983.

Gro76

D. D. Grossman.
Procedural representation of three-dimensional objects.
IBM Journal of Research and Development, 20(6), November 1976.

GSCT83

William A. Gruver, Barry I. Soroka, John J. Craig, and Timothy L. Turner.
Evaluation of commercially available robot programming languages.
In Proceedings 13th International Symposium on Industrial Robots, and Robots 7, volume 2, Dearborn Michigan, April 1983. Robotics International of SME.

GT78

D. D. Grossman and R. H. Taylor.
Interactive generation of object models with a manipulator.
IEEE Transactions on Systems, Man, and Cybernetics, 8(9), September 1978.

GTI80

T. Goto, K. Takeyasu, and T. Inoyama.
Control algorithm for precision insert operation robots.
IEEE Transactions on Systems, Man, and Cybernetics, 10(1), January 1980.

GZS88

David C. Gossard, Robert P. Zuffante, and Hiroshi Sakurai.
Representing dimensions, tolerances, and features in MCAE systems.
IEEE Expert, March 1988.

HA85

John M. Hollerbach and Christopher G. Atkeson.
Characterization of joint-interpolated arm movements.
AI Memo 849, MIT AI Lab, June 1985.

HA87

Patrick J. Hayes and James F. Allen.
Short time periods.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

Hay78

Patrick J. Hayes.
The naive physics manifesto.
In D. Michie, editor, Expert Systems in the Micro-Electronic Age. Edinburgh University Press, 1978.

Hay83

Patrick J. Hayes.
The second naive physics manifesto.
Cognitive Science Technical Report URCS-10, University of Rochester, October 1983.

Hil82

Robin Hillyard.
The build group of solid modelers.
IEEE Computer Graphics and Applications, 2(2), March 1982.

Hol79

John M. Hollerbach.
Understanding manipulator control by synthesising human handwriting.
In P H Winston and R H Brown, editors, Artificial Intelligence: An MIT Perspective. MIT Press, 1979.

Hor79

B. K. P. Horn.
Kinematics, statics, and dynamics of two dimensional manipulators.
In P H Winston and R H Brown, editors, Artificial Intelligence: An MIT Perspective. MIT Press, 1979.

HR86

Mark L. Hornick and Bahram Ravani.
Computer-aided off-line planning and programming of robot motion.
International Journal of Robotics Research, 4(4), 1986.

HSS84

J. E. Hopcroft, J. T. Schwartz, and M Sharir.
On the complexity of motion planning for multiple independent objects; PSPACE-hardness of the ``Warehouseman's Problem''.
International Journal of Robotics Research, 3(4), 1984.

HW86

John Hopcroft and Gordon Wilfong.
Motion of objects in contact.
International Journal of Robotics Research, 4(4), 1986.

Ino74

H. Inoue.
Force feedback in precise assembly tasks.
AI Memo 308, MIT AI Lab, August 1974.

Ino79

H. Inoue.
Force feedback in precise assembly tasks.
In P H Winston and R H Brown, editors, Artificial Intelligence: An MIT Perspective. MIT Press, 1979.

Ino85

H. Inoue.
Building a bridge between AI and robotics.
In Proceedings International Joint Conference on Artificial Intelligence, 1985.

IS85

Jehuda Ish-Shalom.
The CS language concept: A new approach to robot motion design.
International Journal of Robotics Research, 4(1), 1985.

IS86a

Y. Iwasaki and H. A. Simon.
Causality in device behaviour.
29(1):3-32, July 1986.

IS86b

Y. Iwasaki and H. A. Simon.
Theories of causal ordering: Reply to de Kleer and Brown.
29(1):63-72, July 1986.

ISKM87

Masaru Ishii, Shigeyuki Sakane, Masayoshi Kakikura, and Yoshio Mikami.
A 3-D sensor system for teaching robot paths and environments.
International Journal of Robotics Research, 6(2), 1987.

JB86

R. A. Jarvis and J. C. Byrne.
Robot navigation: Touching, seeing and knowing.
In Proceedings of 1st Australian Artificial Intelligence Conference, 1986.

Jos87

Leo Joskowicz.
Shape and function in mechanical devices.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, pages 611-615, 1987.

JWKB84

S. C. Jacobsen, J. E. Wood, D. F. Knutti, and K. B. Biggers.
The UTAH/M.I.T. dextrous hand: Work in progress.
International Journal of Robotics Research, 3(4), 1984.

KA86

Y. C. Kim and J. K. Aggarwal.
Rectangular parallelepiped coding: A volumetric representation of three-dimensional objects.
IEEE Robotics and Automation, 2(3), 1986.

KBC⁺86

A. C. Kak, K. L. Boyer, C. H. Chen, R.J. Safranek, and H. S. Yang.
A knowledge-based robotic assembly cell.
IEEE Expert, 1(2):63-85, 1986.

KC87

Benjamin J. Kuipers and Charles Chiu.
Taming intractible branching in qualitative simulation.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

KD86

S. K. Kambhampati and L. S. Davis.
Multiresolution path planning for mobile robots.
IEEE Robotics and Automation, 2(3), 1986.

Kem85

K. G. Kempf.
Manufacturing and artificial intelligence.
Robotics, 1(1), 1985.

Kha85

O. Khatib.
Real-time obstacle avoidance for manipulators and mobile robots.
In Proceedings IEEE Conference on Robotics and Automation, 1985.

KJ86

Thomas F. Knoll and Ramesh C. Jain.
Recognizing partially visible objects using feature indexed hypotheses.
IEEE Robotics and Automation, 2(1), March 1986.

KL88

Benjamin J. Kuipers and Tod S. Levitt.
Navigation and mapping in large-scale space.
AI Magazine, 9(2), 1988.

KMMN85

D. Kapur, J. Mundy, D. Musser, and P. Narendran.
Reasoning about three dimensional space.
In Proceedings IEEE Conference on Robotics and Automation, 1985.

Kna85

T. M. Knasel.
Fifth international conference on assembly automation.
Robotics, 1(1), 1985.

KTTP83

D.R. Kemp, G.E. Taylor, P.M. Taylor, and A. Pugh.
A sensory gripper for handling textiles.
In Proceedings 13th International Symposium on Industrial Robots, and Robots 7, volume 2, Dearborn Michigan, April 1983. Robotics International of SME.

Kui82

Benjamin J. Kuipers.
Getting the envisionment right.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1982.

Kui84

Benjamin J. Kuipers.
Commonsense reasoning about causality: Deriving behaviour from structure.
In D. G. Bobrow, editor, Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, 1984.

Kui86

Benjamin J. Kuipers.
Qualitative simulation.
29(3):289-338, September 1986.

LB83

D. B. Lenat and J. S. Brown.
Why AM and Eurisko appear to work.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1983.

Len83

D. B. Lenat.
The Role of Heuristics in Learning by Discovery: Three Case Studies, volume 1 of Machine Learning, pages 243-306.
Tioga Publishing, 1983.

LF87

Y.C. Lee and K.S. Fu.
Machine understanding of CSG: Extraction and unification of manufacturing features.
IEEE Computer Graphics and Applications, 7(1), January 1987.

LK65

J. Y. S. Luh and R. J. Krolak.
A mathematical model for mechanical part description.
Communications of the ACM, 8(2), February 1965.

Low87

David G. Lowe.
Three-dimensional object recognition from single two-dimensional images.
31(3):355-395, March 1987.

LP76

Tomas Lozano-Perez.
The design of a mechanical assembly system.
Technical Report 397, MIT AI Lab, December 1976.

LP79

Tomas Lozano-Perez.
A language for automated mechanical assembly.
In P H Winston and R H Brown, editors, Artificial Intelligence: An MIT Perspective. MIT Press, 1979.

LP82

Tomas Lozano-Perez.
Robot programming.
AI Memo 698a, MIT AI Lab, December 1982.

LP83

Tomas Lozano-Perez.
Spatial planning: A configuration space approach.
IEEE Transactions on Computers, 32(2), February 1983.

LP85

Tomas Lozano-Perez.
Compliance in robot manipulation.
25(1), January 1985.

LP88

Mark Lee and Chris Price.
Towards deeper systems: When will they ever understand?
In Proceedings of the New Zealand Conference on Expert Systems, May 1988.

LPB85

Tomas Lozano-Perez and Rodney A. Brooks.
An approach to automatic robot programming.
AI Memo 842, MIT AI Lab, April 1985.

LPD83

Du Lian, Steven Peterson, and Max Donath.
A three-fingered, articulated, robotic hand.
In Proceedings 13th International Symposium on Industrial Robots, and Robots 7, volume 2, Dearborn Michigan, April 1983. Robotics International of SME.

LPMT83

Tomas Lozano-Perez, Matthew T. Mason, and Russell H. Taylor.
Automatic synthesis of fine-motion strategies for robots.
AI Memo 759, MIT AI Lab, December 1983.

LPW79

Tomas Lozano-Perez and M. Wesley.
An algorithm for planning collision-free paths among polyhedral obstacles.
Communications of the ACM, 22:560-570, 1979.

LS83

A. Levas and M. Selfridge.
Voice communications with robots.
In Proceedings 13th International Symposium on Industrial Robots, and Robots 7, volume 2, Dearborn Michigan, April 1983. Robotics International of SME.

LW77

L. I. Lieberman and M. A. Wesley.
Autopass: an automatic programming system for computer controlled mechanical assembly.
IBM Journal of Research and Development, 21(4), July 1977.

Lyo85

Damian M. Lyons.
A simple set of grasps for a dextrous hand.
In Proceedings IEEE Conference on Robotics and Automation, 1985.

MA87

Seshashayee S. Murthy and Sanjaya Addaanki.
PROMPT: an innovative design tool.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, pages 637-642, 1987.

Mac84

B. A. MacDonald.
Designing Teachable Robots.
PhD thesis, University of Canterbury, 1984.

Mac87a

B. A. MacDonald.
Improved robot design.
Transactions of the Institution of Professional Engineers New Zealand, 14(1/EMCh), March 1987.

Mac87b

P. Mackerras.
Formulating and testing simple boundary hypotheses in textured images.
In Proceedings Australian Joint Conference on Artificial Intelligence (AI'87), November 1987.

Mas81

Matthew T. Mason.
Compliance and force control for computer controlled manipulators.
IEEE Transactions on Systems, Man, and Cybernetics, 11(6), June 1981.

Mas85

Matthew T. Mason.
The mechanics of manipulation.
In Proceedings IEEE Conference on Robotics and Automation, 1985.

Mas86

Matthew T. Mason.
Mechanics and planning of manipulator pushing operations.
International Journal of Robotics Research, 5(3), 1986.

MB86

Raymond J. Mooney and Scott W. Bennett.
A domain independent explanation-based generalizer.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

McC79

Pamela McCorduck.
Machines that Think.
W. H. Freeman and Company, 1979.

McC83

Michael McCloskey.
Naive theories of motion.
In Dedre Gentner and Albert L. Stevens, editors, Mental Models. Lawrence Erlbaum Associates, 1983.

Mey81

Jeanine Meyer.
An emulation system for programmable sensory robots.
IBM Journal of Research and Development, 25(6), November 1981.

MF87

Sanjay Mittal and Felix Frayman.
Making partial choices in constraint reasoning systems.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, pages 631-636, 1987.

MHCM86

R. L. Madarasz, L. C. Heiny, R. F. Cromp, and N. M. Mazur.
The design of an autonomous vehicle for the disabled.
IEEE Robotics and Automation, 2(3), 1986.

MS87

Michael L. Mavrovouniotis and George Stephanopoulos.
Reasoning with orders of magnitude and approximate relations.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, pages 626-630, 1987.

MUB83

Tom M. Mitchell, Paul E. Utgoff, and Ranan Banerji.
Learning by Experimentation: Acquiring and Refining Problem-Solving Heuristics, volume 1 of Machine Learning, pages 163-190.
Tioga Publishing, 1983.

Ngu85a

Van-Duc Nguyen.
The synthesis of force-closure grasps in the plane.
AI Memo 861, MIT AI Lab, September 1985.

Ngu85b

Van-Duc Nguyen.
The synthesis of stable grasps in the plane.
AI Memo 862, MIT AI Lab, October 1985.

NR76

David Nitzan and Charles Rosen.
Programmable industrial automation.
IEEE Transactions on Computers, 25(12), December 1976.

PAB80

R. J. Popplestone, A. P. Ambler, and I. M. Bellos.
An interpreter for a language for describing assemblies.
14(1), 1980.

PCR86

Tsaiyun Phillips, Robert Cannon, and Azriel Rosenfeld.
Decomposition and approximation of three-dimensional solids.
Computer Vision, Graphics, and Image Processing, 33(3):307-317, March 1986.

Pen86a

Alex P. Pentland.
Parts: Structured descriptions of shape.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

Pen86b

Alex P. Pentland.
Perceptual organisation and the representation of natural form.
28(3):293-331, May 1986.

Pen87

Alex P. Pentland.
A new sense for depth of field.
IEEE Transactions on Pattern Analysis and Machine Intelligence, 9(4), July 1987.

Pli85

Philip I. Plimmer.
Common sense reasoning about physical devices.
Victoria University of Wellington Research Project Report, October 1985.

Pop79

R. J. Popplestone.
Relational programming.
In J.E. Hayes, D. Michie, and L.I. Mikulich, editors, Machine Intelligence 9, chapter 7. Ellis Horwood, 1979.

Pug82

Alan Pugh.
Second generation robotics.
In Proceedings 12th International Symposium on Industrial Robots, 6th International Conference on Industrial Robot Technology, 1982.

Rai86

Olivier Raiman.
Order of magnitude reasoning.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

RC86

A. A. G. Requicha and S. C. Chan.
Representation of geometric features, tolerances, and attributes in solid modelers based on constructive geometry.
IEEE Robotics and Automation, 2(3), 1986.

RJ88

A. Ravishankar Rao and Ramesh Jain.
Knowledge representation and control in computer vision systems.
IEEE Expert, March 1988.

RKH85

Whitman Richards, Jan J. Koenderink, and D. D. Hoffman.
Inferring 3D shapes from 2D codons.
AI Memo 840, MIT AI Lab, April 1985.

RS88

Gudula Retz-Schmidt.
Various views on spatial prepositions.
AI Magazine, 9(2), 1988.

RT82

M. H. Raibert and J. E. Tanner.
A VLSI tactile array sensor.
In Proceedings 12th International Symposium on Industrial Robots, 6th International Conference on Industrial Robot Technology, 1982.

Rus84

Paul M. Russo.
Intelligent Robots: Myth or Reality, chapter 16.
The AI Business: The Commercial Uses of Artificial Intelligence. MIT Press, 1984.

RV82

A. A. G. Requicha and H. B. Voelcker.
Solid modeling: A historical summary and contemporary assessment.
IEEE Computer Graphics and Applications, 2(2), March 1982.

Sac87

Elisha Sacks.
Hierachical reasoning about inequalities.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, pages 649-654, 1987.

SB87

Sargur N. Srihari and Radmilo M. Bozinovic.
A multi-level perception approach to reading cursive script.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

SF86

Devika Subramanian and Joan Feigenbaum.
Factorization in experiment generation.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

Shm86

James G. Shmolze.
Physics for robots.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

Sie86

David Mark Siegel.
Contact sensors for dextrous robotic hands.
Technical Report 900, MIT AI Lab, June 1986.

Sim82

Reid Simmons.
Spatial and temporal reasoning in geologic map interpretation.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1982.

Sim86

Reid Simmons.
``Commonsense'' arithmetic reasoning.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

SJ85

Alberto Maria Segre and Gerald De Jong.
Explanation-based manipulator learning: Acquisition of planning ability through observation.
In Proceedings IEEE Conference on Robotics and Automation, pages 555-560, 1985.

SL83

M. Selfridge and A. Levas.
Teaching robots by example.
In Proceedings 13th International Symposium on Industrial Robots, and Robots 7, volume 2, Dearborn Michigan, April 1983. Robotics International of SME.

SLK86

Michael O. Shneier, Ronald Lumia, and Ernest W. Kent.
Model-based strategies for high-level robot vision.
Computer Vision, Graphics, and Image Processing, 33(3):293-306, March 1986.

SM87

Marc G. Slack and David P. Miller.
Path planning through time and space in dynamic domains.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

SS86

A. Sharma and S. A. R. Scrivener.
Constructing 3-D object models using multiple simulated 2.5-D sketches.
International Journal of Man-Machine Studies, 24(6):633-644, June 1986.

SS88

Mark Segal and Carlo H. Sequin.
Partitioning polyhedral objects into nonintersecting parts.
IEEE Computer Graphics and Applications, 8(1), January 1988.

ST87

Sergio W. Sedas and Sarosh N. Talukdar.
Disassembly planner for redesign.
Internal document from Engineering Design Research Center, Carnegie Mellon University, 1987.

Sta83a

Craig Stanfill.
The decomposition of a large domain: Reasoning about machines.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, August 1983.

Sta83b

Craig Stanfill.
Form and Function: The Representation of Machines.
PhD thesis, University of Maryland, 1983.

Sug86

Kokichi Sugihara.
Machine Interpretation of Line Drawings.
The MIT Press Series in Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1986.

Sus75

Gerald Jay Sussman.
A Computer Model of Skill Acquisition.
Elsevier, 1975.

SV86

M. Selfridge and W. Vannoy.
A natural language interface to a robot assembly system.
IEEE Robotics and Automation, 2(3), 1986.

Ten86

Josh Tenenburg.
Planning with abstraction.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

TKO82

J. P. Trevylan, P. D. Kovesi, and M. C. H. Ong.
Techniques for surface representation and adaptation in automated sheep shearing.
In Proceedings 12th International Symposium on Industrial Robots, 6th International Conference on Industrial Robot Technology, 1982.

TO83

Masaharu Takano and Gotaro Odawara.
Development of new type of mobile robot TO-ROVER.
In Proceedings 13th International Symposium on Industrial Robots, and Robots 7, volume 2. Robotics International of SME, 1983.

TPB81

K. Takase, R. P. Paul, and E. J. Berg.
A structured approach to robot programming and teaching.
IEEE Transactions on Systems, Man, and Cybernetics, 11(4), April 1981.

Tre79

Kenneth R. Treer.
Automated Assembly.
Society of Manufacturing Engineers, Dearborn, Michigan, 1979.

TST82

P. M. Taylor, K. K. W. Selke, and G. E. Taylor.
Closed loop control of an industrial robot using visual feedback from a sensory gripper.
In Proceedings 12th International Symposium on Industrial Robots, 6th International Conference on Industrial Robot Technology, 1982.

Vil84

Philippe Villers.
Intelligent Robots: Moving toward Megassembly, chapter 15.
The AI Business: The Commercial Uses of Artificial Intelligence. MIT Press, 1984.

VP86

Raul E. Valdes-Perez.
Spatio-temporal reasoning and linear inequalities.
AI Memo 875, MIT AI Lab, May 1986.

VW86

W. K. Veitschegger and C. H. Wu.
Robot accuracy analysis based on kinematics.
IEEE Robotics and Automation, 2(3), 1986.

WA85

Harry West and Haruhiko Asada.
A method for the design of hybrid position/force controllers for manipulators constrained by contact with the environment.
In Proceedings IEEE Conference on Robotics and Automation, 1985.

Wel87

Daniel S. Weld.
Comparative analysis.
In Proceedings International Joint Conference on Artificial Intelligence, 1987.

WF86

E. K. Wong and K. S. Fu.
A hierachical orthogonal space approach to three-dimensional path planning.
IEEE Robotics and Automation, 2(1), March 1986.

WHK88

Ellen L. Walker, Martin Herman, and Takeo Kanade.
A framework for representing and reasoning about three-dimensional objects for vision.
AI Magazine, 9(2), 1988.

Wil84

Brian C. Williams.
Qualitative analysis of MOS circuits.
In D. G. Bobrow, editor, Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, 1984.

Wil86

Brian C. Williams.
Doing time: Putting qualitative reasoning on firmer ground.
In Proceedings of the National Conference of the American Association for Artificial Intelligence, 1986.

WL85

M.C. Wu and C.R. Liu.
Automated process planning and expert systems.
In Proceedings IEEE Conference on Robotics and Automation. IEEE Computer Society Press, March 1985.

WLPL⁺80

M. A. Wesley, T. Lozano-Perez, L. I. Lieberman, M. A. Lavin, and D. D. Grossman.
A geometric modelling system for automated mechanical assembly.
IBM Journal of Research and Development, 24(1), January 1980.

WM81

M. A. Wesley and G. Markowsky.
Fleshing out projections.
IBM Journal of Research and Development, 25(6), November 1981.

Woj87

Zbigniew Wojcik.
Rough approximation of shapes in pattern recognition.
Computer Vision, Graphics, and Image Processing, 40(2), November 1987.

Woo84

Tony C. Woo.
Interfacing solid modelling to CAD and CAM: Data structures and algorithms for decomposing a solid.
IEEE Computer, December 1984.

WP84

Patrick H. Winston and Karen A. Prendergast.
From the Blocks World to the Business World, chapter 22.
The AI Business: The Commercial Uses of Artificial Intelligence. MIT Press, 1984.

Wri83

Allen J. Wright.
End effector technology and programmed automatic exchange.
In Proceedings 13th International Symposium on Industrial Robots, and Robots 7, volume 2, Dearborn Michigan, April 1983. Robotics International of SME.

xZ87

Wei xiong Zhang.
Goal-level automatic robot programming - system and approach.
In Proceedings Australian Joint Conference on Artificial Intelligence (AI'87), November 1987.

Yea85

W. K. Yeap.
An ASR [absolute space representation] of the environment.
Technical report, Department of Computer Science, University of Otago, Dunedin, N.Z., 1985.

YFK84

Hiroshi Yoshiura, Kikuo Fujimura, and Tosiyasu L Kunii.
Top-down construction of 3D mechanical object shapes from engineering drawings.
IEEE Computer, December 1984.

Yin87

B. Yin.
Using vision data in an object-level robot language - RAPT.
International Journal of Robotics Research, 6(1), 1987.

Zad79

L. A. Zadeh.
A theory of approximate reasoning.
In J.E. Hayes, D. Michie, and L.I. Mikulich, editors, Machine Intelligence 9, chapter 7. Ellis Horwood, 1979.