ContentsUpPreviousNext


Bibliography

[Ashcroft & Wadge 1977] Ashcroft, E. A., and W.W. Wadge, "Lucid, a Nonprocedural Language with Iteration, "Communications of the ACM, July 1977, pp. 519-526.

[Bobrow & Winograd 1977a] Bobrow, Daniel G., and Terry Winograd, "An Overview of KRL, A Knowledge Representation language", Cognitive Science, V. 1, No. 1, 1977.

[Bobrow & Winograd 1977b] Bobrow, Daniel., Terry Winograd, and the KRL research group, "Experience with KRL-0: One Cycle of a Knowledge Representation Language", Proceedings of the Fifth International Joint Conference on Artificial Intelligence, 1977, pp. 213-222

[Borning 1977] Borning, Alan, "ThingLab – an Object-Oriented System for Building Simulations Using Constraints" , Proceedings of the Fifth International Joint Conference on Artificial Intelligence, 1977, pp. 497-498.

[Brachman 1976] Brachman, Ronald, What’s in a Concept: Structural Foundations for Semantic Networks, BBN Report No 3433, Bolt Beranek and Newman, Cambridge, Mass October 1976

[Bundy 1978] Bundy, Alan, "Will it Reach the Top? Prediction in the Mechanics World," Artificial Intelligence, 10 (1978), pp. 129-146.

[Dahl, Myhrhaug, & Nygaard 1970] Dahl, Ole-johan, Bjorn Myhrhaug and Kristen Nygaard, Common Base Language," Norwegian Computing Center Publication S-22, Oslo, Norway, October 1970.

[Dahl & Nygaard 1966] Dahl, Ole-johan, and Kristen Nygaard, "SIMULA – An ALGOL-Based Simulation Language, "Communications of the ACM, September 1966, pp. 671-677.

[de Kleer 1975] de Kleer, Johan, Qualitative and Quantitative knowledge in Classical Mechanics, MIT AI Lab Technical Report AI-TR-352, December 1975.

[de Kleer & Sussman 1978] de Kleer, Johan, and Gerald J. Sussman, Propagation of Constraints Applied to Circuit Synthesis, MIT AI Lab Memo 485, September 1978.

[Doyle 1977] Doyle, Jon Truth Maintenance Systems for Problems Solving, M.S. Thesis, MIT, Cambridge, Mass., 1977.

[Elcock et al. 1971] Elcock, E. W. et al., "ABSET, a Programming Language Based on Sets: Motivation and Examples," in B. Meltzer and D Michie (eds.), Machine Intelligence 6, Edinburgh; Edinburgh University Press, 1971, [Fikes 1970] Fikes, Richard, "REF-ARF: A System for Solving Problems Stated as Procedures", Artifical Intelligence, V.1 No 1, Spring 1970, pp 27-120.

[Goldberg & Robson 1979] Goldberg, Adele and Dave Robson, " A Metaphor for User Interface Design," Proceedings of the Twelfth Hawaii International Conference on System Sciences, V. I, 1979, pp. 148-157.

[Hewitt 1976] Hewitt, Carl, Viewing Control Structures as Patterns of Passing Messages, MIT AI Lab Memo 410, December 1976.

[Ingalls 1978] Ingals, Daniel H.H., "The Smalltalk-76 Programming System: Design and Implementation, " Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, January 1978, pp. 9-16.

[Kahn 1978] Kahn, Kenneth M., Dynamic Graphics using Quasi Parallelism, MIT AI Lab Memo 480, June 1978.

[Kay 1972a] Kay, Alan, "A Personal Computer for Children of all Ages", Proceedings of the ACM National Conference, August 1972.

[Kay 1972b] Kay, Alan, A Dynamic Medium for Creative Thought", Proceedings of National Council of Teachers of English Conference, November 1972.

[Kay & Goldberg 1977] Kay, Alan, and Adele Goldberg, "Personal Dynamic Media", IEEE Computer, March 1977, pp. 31-41.

[Kay 1977] Kay, Alan, "Microelectronics and the Personal Computer", Scientific American, September 1977, pp. 230-244.

[Liskov et al. 1977] Liskov. B. H., A. Snijder, R. Atkinson, and C. Shaffert, "Abstraction Mechanisme in CLU," Communications of the ACM, August 1977.

[Moore & Newell 1973] Moore, J., and Newell, A., "How Can Merlin Understand?", in L. Gregg (ed.), Knowledge and Cognition, Baltimore, Md.: Lawrence Erlbaum Associates, 1973.

[Newell & Simon 1972] Newell, Allen, and Herbert Simon, Human Problem Solving, Englewood Cliffs, N.J.: Prentice-Hall, 1972.

[Rieger & Grinberg 1977] Rieger, Chuck, and Milt Grinberg, "The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms", Proceedings of the Fifth International Joint Conference on Artificial Intelligence, 1977, pp. 250-256.

[Sacerdoti 1975] Sacerdoti, Earl D., "The Nonlinear Nature of Plans", Proceedings of the Fourth International Joint Conference on Artificial Intelligence, 1975, pp. 206-214.

[Simon 1969] Simon, Herbert A., "The Architecture of Complexity," in The Sciences of the Artificial Cambridge: MIT Press, 1969.

[Stallman & Sussman 1977] Stallman, Richard M., and Gerald J. Sussman, "Forward Reasoning and Dependency-Directed Backtracking In a System for Computer-Aided Circuit analysis," Artificial Intelligence 9 (1977), pp.135-196.

[Steele & Sussman 1978] Steele, Guy L., and Gerald J. Sussman, "Constraints," MIT AI Lab Memo 502, November 1978

[Sussman & Stallman 1975] Sussman, Gerald J., and Richard M. Stallman, "Heuristic Techniques in Computer-Aided Circuit Analysis," IEEE Transactions on Circuits and Systems, Vol. CAS-22 (11), November 1975.

[Sutherland 1963] Sutherland, Ivan E., Sketchpad: A Man-Machine Graphical Communication System, Ph.D. thesis, MIT Cambridge, Mass., 1963.

[Tate 1977] Tate, Austin, "Generating Project Networks", Proceedings of the Fifth International Joint Conference on Artificial Intelligence, 1977, pp. 888-893.

[Wilkes 1964] Wilkes, M. V., "Constraints-Type Statements in Programming Languages," Communications of the ACM, V.7 No.10, October 1964, pp. 587-588.

[Winograd 1975] Winograd, Terry., "Frame Representations and the Declarative/Procedural Controversy," In Bobrow & Collins (eds.), Representation and Understanding: Studies in Cognitive Science, New York: Academics Press (1975).

[Woods 1975] Woods, W.A., "What’s in a Link: Foundations for Semantic Networks," in Bobrow & Collins (eds.) Representation and Understanding: Studies in Cognitive Science, New York: Academic Press (1975).

[Wulf, London & Shaw 1976] Wulf, W. A., R. London, and M. Shaw, " An Introduction to the Construction and Verification of Alphard Program," IEEE Transactions on Software Engineering, SE-2, 1976, pp. 253-264

[Yonezawa & Hewitt 1977] Yonezawa, Akinori, and Carl Hewitt, "Modelling Distributed Systems", Proceedings of the Fifth International Joint Conference on Artificial Intelligence 1977, pp. 370-376.

pp. 467-492.