Selected Publications
Books
Dynamic Object Oriented Programming, Morgan-Kaufmann Publishers, In press.
Exploring Artificial Intelligence, Morgan-Kaufmann Publishers, 1988.
Interactive Programming Environments, D. Barstow, H. Shrobe, E.
Sandewall (eds). McGraw-Hill, 1984.
Papers in Refereed Journals
Howard. E. Shrobe.
Two Challenging Domains.
In ACM Computing Surveys, vol. 28, pp. 12-es, 1996.
[
CiteSeer]
Edward A. Feigenbaum, Peter Friedland, Bruce B. Johnson, H. Penny Nii, Herbert Schnorr, Howard E. Shrobe, Robert S. Engelmore.
Knowledge-Based Systems in Japan (Report of the JTEC Panel).
In CACM, VoL. 37, Number 1, January 1994, 17-19.
Howard Shrobe.
The Japanese National Fifth Generation Project: Introduction, survey and Evaluation.
In Future Generation Computer Systems, 9:2, pp 105-117, July 1993.
Davis, R. and Shrobe, H.
Representing Structure and Behavior of Digital Hardware.
In Computer, 16(10), October 1983.
C. Rich and H. Shrobe.
Initial Report on a Lisp Programmer Apprentice.
In IEEE Trans on Software Engineering, 4(6), November 1978, 456-467.
Papers in Proceedings of Refereed Conferences
Jon Doyle, Isaac Kohane, William Long, Howard Shrobe, and Peter Szolovits.
Agile Monitoring for Cyber Defense.
In Proceedings of the Second DARPA Information Survivability Conference and Exposition (DISCEX-II), June 12-14, 2001, Anaheim, California.
[
CiteSeer]
Howard Shrobe.
Model-Based Troubleshooting for Information Survivability.
In Proceedings of the DARPA Information Survivability Conference, DISCEX 2000, Hilton Head, SC, January, 2000.
[
Abstract]
Howard Shrobe.
Supporting and Optimizing Full Unification in a Forward Chaining Rule System.
National Conference on Artificial Intelligence, AAAI-93, pp 710-715, July 1993, Washington D.C.
H. Shrobe.
Understanding linkages.
In Proceedings of AAAI-93, Washington, DC, 1993, pp. 620--625.
[
CiteSeer]
Shrobe, H., Aspinall, J., and Mayle, N.
Towards A Virtual Parallel Inference Engine.
In AAAI '88, pages 654--659.
[
BibTex]
[
CiteSeer]
S. Rowley, H. Shrobe, R. Cassels, W. Hamscher.
Joshua: Uniform Access to Heterogeneous Knowledge Structures (or Why Joshing is better than Conniving or Planning)
National Conference on Artificial Intelligence, AAAI, pp. 48-52, 1987, Seattle, Washington.
Baker, Clark and Chan, David and Cherry, Jim and Corry, Alan and Efland, Greg and Edwards, Bruce and Matson, Mark and Minsky, Henry and Nestler, Eric and Reti, Kalman and Sarrazin, David and Sommer, Charles and Tan, David and Weste, Neil.
The Symbolics Ivory Processor: A 40 bit Tagged Architecture LISP Microprocessor.
In Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers & Processors, Rye Brook, New York, October 1987.
[
BibTex]
C. Baker, J. Cherry, N. Mayle, H. Minsky, K. Reti, H. Shrobe, and N. Weste.
NS: An Integrated Symbolic Design System.
In VLSI 85, Tokyo 1985.
Howard Shrobe.
AI Meets CAD.
In VLSI-83, F. Anceau and E.J. Aas (eds.) Elsevier Science
Publishers B.V. (North Holland), August 1983.
Davis, R., Shrobe, H., Hamscher, W., Wieckert, K., Shirley, M. and Polit, S.
Diagnosis Based on Descriptions of Structure and Function.
National Conference on Artificial Intelligence, AAAI, pp. 137-142, Pittsburgh, Pa., 1982.
[
CiteSeer]
Howard Shrobe.
The Making of Scheme-81.
In Proceedings of ICCC 82, New York, September 1982.
Howard Shrobe.
The Data Path Generator.
In Proceedings of the MIT Conference on Advanced Research in VLSI, January 1982
John Batali, Edmund Goodhue, Chris Hanson, Howard Shrobe, Richard M. Stallman, and Gerald Jay Sussman.
The Scheme-81 architecture--system and chip.
In Proceedings, Conference on Advanced Research in VLSI, pages 69--77. Paul Penfield, Jr., editor. Artech House, 610 Washington Street, Dedham MA, 1982.
[
CiteSeer]
J. Batali, N. Mayle, H. Shrobe, G. Sussman and D. Weise.
The DPL/Daedalus Design Environment.
In VLSI 81, Academic Press, August 1981.
Howard Shrobe.
Explicit Control of Reasoning in the Programmer's Apprentice.
In Proceedings of 4th International Conference on Automated Deduction, Feb. 1979.
C. Rich, H. Shrobe and R. Waters.
An Overview of the Programmer's Apprentice.
In Proceedings of 6th IJCAI, Tokyo, August 1979.
Other Major Publications
Howard Shrobe.
What Does the Future Hold?
AI Magazine, 21(4) 41-57.
Howard E. Shrobe.
Providing Paradigm Orientation without Implementational Handcuffs.
In Sigart, 1991.
Shrobe, H.; Fahlman, S. E.; Stroustrup, B.; and Steele, Jr, G. L.
The future of Lisp.
In IEEE Expert 11(1):10-- 16. 1996.
[
CiteSeer]
Salasin, J., Shrobe, H.
Evolutionary Design of Complex Software (EDCS)
Software Engineering Notes, 20(5), pp. 18-22. 1995
[
CiteSeer]
Howard Shrobe.
Abstraction and Layering in Silicon Compilation Tools.
in Design Systems for VLSI Circuits, Logic Synthesis and Silicon
Compilation, NATO ASI Series, De Micheli, Sangiovanni-Vincentelli,
Antognetti, Eds. Martinus Nijhoff Publishers, 1987.
Howard Shrobe.
AI Programming Techniques.
Tutorial presented at IJCAI 85.
Howard Shrobe.
Symbolic Computation for the Space Station,
study commisioned by NASA Ames, 1985.
D. Barstow and H. Shrobe.
From Interactive to Intelligent Programming Environments.
In Interactive Programming Environments, D. Barstow and H. Shrobe (eds.) McGraw-Hill, 1984.
[
BibTex]
J. Doyle R. Davis, M. Genesereth, I. Goldstein, D. Lenat, and H. Shrobe.
Reasoning about reasoning.
In Building Expert Systems (D. Waterman, R. Hayes-Roth, and D. Lenat, eds.), Reading: Addison-Wesley (1983), 219-239.
C. Rich and H. Shrobe.
The Programmer's Apprentice.
In Handbook of AI, Vol. 2 Chap. D3 pp 343-349, Barr and Feigenbaum (eds), William Kaufman Inc., 1982.