-
1
-
-
1542683627
-
The transfer of experience across planning domains through the acquisition of abstract strategies
-
Clearwater Beach, FL
-
Birntaum, L., and Collins, G. 1988. The transfer of experience across planning domains through the acquisition of abstract strategies. Proceedings of the 1988 Workshop on Case-Based Reasoning, Clearwater Beach, FL, pp. 61-79.
-
(1988)
Proceedings of the 1988 Workshop on Case-Based Reasoning
, pp. 61-79
-
-
Birntaum, L.1
Collins, G.2
-
2
-
-
85152635771
-
Issues in the justification-based diagnosis of planning failures
-
Ithaca, NY
-
Birnbaum, L., Collins, G., and Krulwich, B. 1989. Issues in the justification-based diagnosis of planning failures. Proceedings of the Sixth International Workshop on Machine Learning, Ithaca, NY, pp. 194-196.
-
(1989)
Proceedings of the Sixth International Workshop on Machine Learning
, pp. 194-196
-
-
Birnbaum, L.1
Collins, G.2
Krulwich, B.3
-
3
-
-
0038024588
-
Using and refining simplifications: Explanation-based learning of plans in intractable domains
-
Detroit, MI
-
Chien, S. 1989. Using and refining simplifications: Explanation-based learning of plans in intractable domains. Proceedings of the Eleventh IJCAI, Detroit, MI, pp. 590-595.
-
(1989)
Proceedings of the Eleventh IJCAI
, pp. 590-595
-
-
Chien, S.1
-
4
-
-
85157985767
-
Problem-solver state descriptions as abstract indices for case retrieval
-
Palo Alto, CA
-
Collins, G., and Birnbaum, L. 1990. Problem-solver state descriptions as abstract indices for case retrieval. Working Notes of the 1990 AAAI Spring Symposium on Case-Based Reasoning, Palo Alto, CA, pp. 32-35.
-
(1990)
Working Notes of the 1990 AAAI Spring Symposium on Case-Based Reasoning
, pp. 32-35
-
-
Collins, G.1
Birnbaum, L.2
-
5
-
-
84909838381
-
An adaptive model of decision-making in planning
-
Detroit, MI
-
Collins, G., Birnbaum, L., and Krulwich, B. 1989. An adaptive model of decision-making in planning. Proceedings of the Eleventh IJCAI, Detroit, MI, pp. 511-516.
-
(1989)
Proceedings of the Eleventh IJCAI
, pp. 511-516
-
-
Collins, G.1
Birnbaum, L.2
Krulwich, B.3
-
6
-
-
0021593920
-
Diagnostic reasoning based on structure and behavior
-
Davis, R. 1984. Diagnostic reasoning based on structure and behavior. Artificial Intelligence, vol. 24, pp. 347-410.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 347-410
-
-
Davis, R.1
-
7
-
-
85023336384
-
AMORD: Explicit control of reasoning
-
Rochester, NY
-
DeKleer, J., Doyle, J., Steele, G., and Sussman, G. 1977. AMORD: Explicit control of reasoning. Proceedings of the ACM Symposium on Artificial Intelligence and Programming Languages, Rochester, NY, pp. 116-125.
-
(1977)
Proceedings of the ACM Symposium on Artificial Intelligence and Programming Languages
, pp. 116-125
-
-
DeKleer, J.1
Doyle, J.2
Steele, G.3
Sussman, G.4
-
9
-
-
0018544688
-
A truth maintenance system
-
Doyle, J. 1979. A truth maintenance system. Artificial Intelligence, vol. 12, pp. 231-272.
-
(1979)
Artificial Intelligence
, vol.12
, pp. 231-272
-
-
Doyle, J.1
-
11
-
-
0006459151
-
Using proofs and refutations to learn from experience
-
R. Michalski, J. Carbonell, and T. Mitchell, eds.. Tioga, Palo Alto, CA
-
Hayes-Roth, F. 1983. Using proofs and refutations to learn from experience. In R. Michalski, J. Carbonell, and T. Mitchell, eds.. Machine Learning: An Artificial Intelligence Approach, Vol. 1, Tioga, Palo Alto, CA, pp. 221-240.
-
(1983)
Machine Learning: An Artificial Intelligence Approach
, vol.1
, pp. 221-240
-
-
Hayes-Roth, F.1
-
15
-
-
84990555187
-
A theory of debugging plans and interpretations
-
St. Paul, MN
-
Simmons, R. 1988. A theory of debugging plans and interpretations. Proceedings of the 1988 AAAI Conference, St. Paul, MN, pp. 94-99.
-
(1988)
Proceedings of the 1988 AAAI Conference
, pp. 94-99
-
-
Simmons, R.1
-
16
-
-
0344095295
-
Representation and use of explicit justifications for knowledge base refinement
-
Los Angeles, CA
-
Smith, R., Winston, H., Mitchell, T., and Buchanan, B. 1985. Representation and use of explicit justifications for knowledge base refinement. Proceedings of the Ninth IJCAI, Los Angeles, CA, pp. 673-680.
-
(1985)
Proceedings of the Ninth IJCAI
, pp. 673-680
-
-
Smith, R.1
Winston, H.2
Mitchell, T.3
Buchanan, B.4
-
17
-
-
0017544789
-
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
-
Stallman, R., and Sussman, G. 1977. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, vol. 9, pp. 135-196.
-
(1977)
Artificial Intelligence
, vol.9
, pp. 135-196
-
-
Stallman, R.1
Sussman, G.2
|