|
REFERENCES
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
|
|
| |
Ang88
|
|
 |
Ang92
|
|
| |
Bac90
|
|
 |
Bar92
|
|
 |
BEHW89
|
|
| |
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
|
|
| |
Blu92
|
|
| |
BR92
|
|
| |
Cha87
|
|
| |
Dre91
|
G.L. Drescher. Made-Up Minds. MIT Press, 1991.
|
| |
EHKV89
|
|
| |
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
|
|
| |
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
|
|
| |
Hau88
|
|
| |
HL91
|
|
| |
HM87
|
|
| |
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
|
|
 |
KR95
|
|
| |
KS91
|
H. Kautz and B Selman. Knowledge compilation using Horn approximations. In Proc AAAI, pages 904-909, Los Altos, CA, 1991. Morgan Kaufmann.
|
 |
KV94a
|
|
| |
KV94b
|
|
| |
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
|
|
| |
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
|
|
| |
Pea88
|
|
| |
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
|
|
| |
PW90
|
|
| |
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
|
|
| |
Rot95b
|
D. Roth. Learning to reason with incomplete information. IJCAI95, 1995.
|
| |
RW91
|
|
| |
SG94
|
D. Schuurmans and R. Greiner. Learning default concepts. In Proc Tenth Canadian Conference on Artificial Intelligence, 1994.
|
| |
Sha88
|
|
| |
Sim82
|
H.A. Simon. Models of bounded rationality, volume 2. MIT Press, 1982.
|
| |
SP90
|
|
 |
Val84
|
|
| |
Val94a
|
|
| |
Va194b
|
L.G. Valiant. Rationality (extended abstract). Technical Report TR-32-94, Center for Research in Computing Technology, Harvard University, November 1994.
|
|