Engelmore, R.

KSL-98-18

Choueiry, B. Y.; McIlraith, S. A.; Iwasaki, Y.; Loeser, T.; Neller, T.; Engelmore, R.; & Fikes, R. Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems. Knowledge Systems Laboratory, June, 1998.

KSL-98-22

McIlraith, S.; Biswas, G.; Fromherz, M.; Howe, J.; Fikes, R.; Bobrow, D.; Cutkosky, M.; Engelmore, R.; & Neller, T. Model-Enabled Control of Hybrid Systems. Knowledge Systems Laboratory, July, 1998.

KSL-95-13

Fikes, R.; Engelmore, R.; Farquhar, A.; & Pratt, W. Network-based Information Brokers. Knowledge Systems Laboratory, January, 1995.

KSL-93-21

Cutkosky, M. R.; Engelmore, R. S.; Fikes, R. E.; Genesereth, M. R.; Gruber, T. R.; Mark, W. S.; Tenenbaum, J. M.; & Weber, J. C. PACT: An Experiment in Integrating Concurrent Engineering Systems. 1993.

KSL-90-64

Engelmore, R. S. & Tenenbaum, J. M. Toward the Engineer's Associate: A National Computational Infrastructure for Engineering. KSL, August, 1990.

KSL-90-83

Feigenbaum, E.; Engelmore, R.; Gruber, T. R.; & Iwasaki, Y. Large Knowledge Bases for Engineering: The How Things Work Project of the Knowledge Systems Laboratory. Knowledge Systems Laboratory, November, 1990.

KSL-86-17

Engelmore, R. S. & Cornelius, C. W. Heuristic Programming Project, October 1982 - September 1985, Final Report. February, 1986.