Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Ada75	E. Adams. The Logic of Conditionals. Reidel, Dordrecht, 1975.
	AHT90	J. Allen, J. Hendler, and A. Tate. Readings in Planning. Morgan Kaufmann, San Mateo, CA, 1990.
	Ams88	J. Amsterdam. Extending the Valiant learning model. In Proc. of Fifth International Conference on Machine Learning, pages 381-394, 1988.
	And83	John R. Anderson, The Architecture of Cognition, Harvard University Press, Cambridge, MA, 1983
	Ang88	Dana Angluin, Queries and Concept Learning, Machine Learning, v.2 n.4, p.319-342, April 1988  [doi>10.1023/A:1022821128753]
	Ang92	Dana Angluin, Computational learning theory: survey and selected bibliography, Proceedings of the twenty-fourth annual ACM symposium on Theory of computing, p.351-369, May 04-06, 1992, Victoria, British Columbia, Canada  [doi>10.1145/129712.129746]
	Bac90	Fahiem Bacchus, Representing and reasoning with probabilistic knowledge: a logical approach to probabilities, MIT Press, Cambridge, MA, 1991
	Bar92	Peter L. Bartlett, Learning with a slowly changing distribution, Proceedings of the fifth annual workshop on Computational learning theory, p.243-252, July 27-29, 1992, Pittsburgh, Pennsylvania, United States  [doi>10.1145/130385.130412]
	BEHW89	Anselm Blumer , A. Ehrenfeucht , David Haussler , Manfred K. Warmuth, Learnability and the Vapnik-Chervonenkis dimension, Journal of the ACM (JACM), v.36 n.4, p.929-965, Oct. 1989  [doi>10.1145/76359.76371]
	BGHK92	F. Bacchus, A.J. Grove, J.Y. Halpem, and D. Koller. From statistics to degrees of belief. Proc. Nat. Conf. on Art. Int.,AAAI Press, 1992.
	BL85	Ronald J. Brachman , Hector J. Levesque, Readings in Knowledge Representation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1985
	Blu92	Avrim Blum, Learning Boolean Functions in an Infinite Attribute Space, Machine Learning, v.9 n.4, p.373-386, Oct. 1992  [doi>10.1023/A:1022653502461]
	BR92	Avrim L. Blum , Ronald L. Rivest, Training a 3-node neural network is NP-complete, Neural Networks, v.5 n.1, p.117-127, 1992  [doi>10.1016/S0893-6080(05)80010-3]
	Cha87	David Chapman, Planning for conjunctive goals, Artificial Intelligence, v.32 n.3, p.333-377, July 1987  [doi>10.1016/0004-3702(87)90092-0]
	Dre91	G.L. Drescher. Made-Up Minds. MIT Press, 1991.
	EHKV89	Andrzej Ehrenfeucht , David Haussler, A general lower bound on the number of examples needed for learning, Information and Computation, v.82 n.3, p.247-261, Sep. 1989  [doi>10.1016/0890-5401(89)90002-3]
	FN71	R.E. Fikes and N.J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189-208, 1971.
	Gin89	Matthew L. Ginsberg, Readings in nonmonotonic reasoning, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1987
	GP90	H. Geffner and J. Pearl. A framework for reasoning with defaults. In H. Kyburg, et al., editor, Knowledge Representation and Defeasible Reasoning, pages 69-88. Kluwer, Dordrecht, 1990.
	Hal90	Joseph Y. Halpern, An analysis of first-order logics of probability, Artificial Intelligence, v.46 n.3, p.311-350, Dec. 1990  [doi>10.1016/0004-3702(90)90019-V]
	Hau88	D. Haussler, Quantifying inductive bias: AI learning algorithms and Valiant's learning framework, Artificial Intelligence, v.36 n.2, p.177-221, September 1988  [doi>10.1016/0004-3702(88)90002-1]
	HL91	David P. Helmbold , Philip M. Long, Tracking drifting concepts using random examples, Proceedings of the fourth annual workshop on Computational learning theory, p.13-23, August 05-07, 1991, Santa Cruz, California, United States
	HM87	S. Hanks , D. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence, v.33 n.3, p.379-412, Nov. 1987  [doi>10.1016/0004-3702(87)90043-9]
	HRHR79	B Hayes-Roth and F. Hayes-Roth. A cognitive model of planning. Cognitive Science, 3:275- 310, 1979.
	Kae87	L. Kaelbling. An architecture for intelligent reactive systems. In M. Georgeff and A. Lansky, editors, Reasoning about Actions and Plans, Los Altos, CA, 1987. Morgan Kaufmann.
	KR94	Roni Khardon , Dan Roth, Learning to reason, Proceedings of the twelfth national conference on Artificial intelligence (vol. 1), p.682-687, October 1994, Seattle, Washington, United States
	KR95	Roni Khardon , Dan Roth, Learning to reason with a restricted view, Proceedings of the eighth annual conference on Computational learning theory, p.301-310, July 05-08, 1995, Santa Cruz, California, United States  [doi>10.1145/225298.225335]
	KS91	H. Kautz and B Selman. Knowledge compilation using Horn approximations. In Proc AAAI, pages 904-909, Los Altos, CA, 1991. Morgan Kaufmann.
	KV94a	Michael Kearns , Leslie Valiant, Cryptographic limitations on learning Boolean formulae and finite automata, Journal of the ACM (JACM), v.41 n.1, p.67-95, Jan. 1994  [doi>10.1145/174644.174647]
	KV94b	Michael J. Kearns , Umesh V. Vazirani, An introduction to computational learning theory, MIT Press, Cambridge, MA, 1994
	Kyb74	H. Kyburg. The Logical Foundations of Statistical Inference, Reidel, Dordrecht, 1974.
	LB85	H.J. Levesque and R.J. Brachman. A fundamental tradeoff in knowledge representation and reasoning. In R.J. Brachman and H.J. Levesque, editors, Readings in Knowledge Representation, pages 41-70. Morgan Kaufmann, 1985.
	Lev93	H.J. Levesque. Is reasoning too hard? In E.B. Baum, (ed.), ComputationalLearning and Cognition. Soc. Ind. and Appl. Math. Philadelphia, 1993. 162-176.
	LG91	Douglas B. Lenat , R. V. Guha, Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
	McC80	J. McCarthy. Circumscription - a form of nonmonotonic reasoning. Artificial Intelligence, 13:27-39, 1980.
	MH69	J. McCarthy and P.J. Hayes. Some philosophical problems from the standpoint of artificial intelligence, (1969). Reprinted in B.L. Webber and N.J. Nilsson (eds.) Readings in Artificial Intelligence, Morgan Kaufmann, Los Altos, CA (I985).
	Min75	M. Minsky. A framework for representing knowledge. In P. Winston, editor, The Psychology of Computer Vision, New York, 1975. McGraw-Hill.
	New90	Allen Newell, Unified theories of cognition, Harvard University Press, Cambridge, MA, 1990
	Pea88	Judea Pearl, Probabilistic reasoning in intelligent systems: networks of plausible inference, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	Pea94	J. Pearl. A probabilistic calculus of actions. In Proc. lOth Conf. of Uncertainty in Artificial Intelligence, pages 454-462, Morgan Kaufmann, San Francisco, CA, 1994.
	PV88	Leonard Pitt , Leslie G. Valiant, Computational limitations on learning from examples, Journal of the ACM (JACM), v.35 n.4, p.965-984, Oct. 1988  [doi>10.1145/48014.63140]
	PW90	Leonard Pitt , Manfred K. Warmuth, Prediction-preserving reducibility, Journal of Computer and System Sciences, v.41 n.3, p.430-467, Dec. 1990  [doi>10.1016/0022-0000(90)90028-J]
	Rap71	B. Raphael. The frame problem in problemsolving systems. In N.V.Findler and B, Meltzer, editors, Artificial Intelligence and Heuristic Programming, Edinburgh, 1971. Edinburgh University Press.
	Rei49	H. Reichenbach. Theory of Probability. University of California Press, Berkeley, CA, 1949.
	Rei80	R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132., 1980.
	Rot95a	Dan Roth, Learning in order to reason, Harvard University, Cambridge, MA, 1995
	Rot95b	D. Roth. Learning to reason with incomplete information. IJCAI95, 1995.
	RW91	Stuart Russell , Eric Wefald, Do the right thing: studies in limited rationality, MIT Press, Cambridge, MA, 1991
	SG94	D. Schuurmans and R. Greiner. Learning default concepts. In Proc Tenth Canadian Conference on Artificial Intelligence, 1994.
	Sha88	Lokendra Shastri , Lokenda Shastri, Semantic Networks: An Evidential Formalization and Its Connectionist Realization, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1987
	Sim82	H.A. Simon. Models of bounded rationality, volume 2. MIT Press, 1982.
	SP90	Glenn Shafer , Judea Pearl, Readings in uncertain reasoning, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1990
	Val84	L. G. Valiant, A theory of the learnable, Communications of the ACM, v.27 n.11, p.1134-1142, Nov. 1984  [doi>10.1145/1968.1972]
	Val94a	Leslie G. Valiant, Circuits of the mind, Oxford University Press, Inc., New York, NY, 1994
	Va194b	L.G. Valiant. Rationality (extended abstract). Technical Report TR-32-94, Center for Research in Computing Technology, Harvard University, November 1994.

• Data structures for quadtree approximation and compression Communications of the ACM   28, 9
  Hanan Samet
  
  
• A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
  Kim S. Lee ,  Huizhu Lu ,  D. D. Fisher
  
  
• The GemStone object database management system Communications of the ACM   34, 10
  Paul Butterworth ,  Allen Otis ,  Jacob Stein
  
  
• Putting innovation to work: adoption strategies for multimedia communication systems Communications of the ACM   34, 12
  Ellen Francik ,  Susan Ehrlich Rudman ,  Donna Cooper ,  Stephen Levine
  
  
• An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE Design Automation Conference on
  Gwo-Dong Chen ,  Daniel D. Gajski