-
1
-
-
0033897011
-
Using temporal logics to express search control knowledge for planning
-
BACCHUS, F., and F. KABANZA. 2000. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116(1-2):123-191.
-
(2000)
Artificial Intelligence
, vol.116
, Issue.1-2
, pp. 123-191
-
-
Bacchus, F.1
Kabanza, F.2
-
3
-
-
0002755203
-
Stratified case-based reasoning: Reusing hierarchical problem solving episodes
-
Montreal, Canada, Morgan Kaufmann
-
KARL BRANTFNG, L., and D. W. AHA. 1995. Stratified case-based reasoning: Reusing hierarchical problem solving episodes. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Montreal, Canada, Morgan Kaufmann, pp. 384-390.
-
(1995)
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence
, pp. 384-390
-
-
Karl Brantfng, L.1
Aha, D.W.2
-
4
-
-
2442592133
-
-
Ph. D. Thesis, University of Arizona, Department of Electrical and Computer Engineering
-
BRITANIK, J. M. 2001. Enabling Mechanisms for Planning Knowledge Sharing, Merging, and Reuse. Ph. D. Thesis, University of Arizona, Department of Electrical and Computer Engineering.
-
(2001)
Enabling Mechanisms for Planning Knowledge Sharing, Merging, and Reuse
-
-
Britanik, J.M.1
-
5
-
-
2442554343
-
A system for massively parallel knowledge representation
-
EVETT, M. P., J. A. HENDLER, and L. SPECTOR. 1994. A system for massively parallel knowledge representation. Journal of Parallel and Distributed Computing, 22(2): 168-184.
-
(1994)
Journal of Parallel and Distributed Computing
, vol.22
, Issue.2
, pp. 168-184
-
-
Evett, M.P.1
Hendler, J.A.2
Spector, L.3
-
6
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
FIKES, R. E., and N. J. NILSSON. 1971. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189-208.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 189-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
7
-
-
0347194721
-
Computational models of the utility problem and their application to a utility analysis of case-based reasoning
-
Amherst, MA
-
FRANCIS, A., and A. RAM. 1993. Computational models of the utility problem and their application to a utility analysis of case-based reasoning. In Workshop on Knowledge Compilation and Speed-Up Learning. Amherst, MA.
-
(1993)
Workshop on Knowledge Compilation and Speed-up Learning
-
-
Francis, A.1
Ram, A.2
-
8
-
-
0343153459
-
A domain-independent algorithm for multi-plan adaptation and merging in least-commitment planners
-
Cambridge, MA
-
FRANCIS, JR., A. G., and A. RAM. 1995. A domain-independent algorithm for multi-plan adaptation and merging in least-commitment planners. In AAAI Fall Symposium - Adaptation of Knowledge for Reuse. Cambridge, MA.
-
(1995)
AAAI Fall Symposium - Adaptation of Knowledge for Reuse
-
-
Francis Jr., A.G.1
Ram, A.2
-
9
-
-
0028740904
-
Multistrategy adaptive path planning
-
GOEL, A. K., K. S. ALI, M. W. DONNELLAN, ANDRES GOMEZ DE SILVA GARZA, and T. J. CALLANTINE. 1994. Multistrategy adaptive path planning. IEEE Expert, 9(6):57-65.
-
(1994)
IEEE Expert
, vol.9
, Issue.6
, pp. 57-65
-
-
Goel, A.K.1
Ali, K.S.2
Donnellan, M.W.3
Gomez de Silva Garza, A.4
Callantine, T.J.5
-
10
-
-
0031237652
-
Empirical evaluation of retrieval in case-based reasoning systems using modified cosine matching function
-
GUPTA, K. M., and A. R. MONTAZEMI. 1997. Empirical evaluation of retrieval in case-based reasoning systems using modified cosine matching function. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 27(7):601-612.
-
(1997)
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
, vol.27
, Issue.7
, pp. 601-612
-
-
Gupta, K.M.1
Montazemi, A.R.2
-
11
-
-
2442545842
-
Systematic adaptation for case-based planning: Algorithm description, formal properties, and empirical results
-
Department of Computer Science and Engineering, University of Washington
-
HANKS, S., and D. S. WELD. 1991. Systematic adaptation for case-based planning: Algorithm description, formal properties, and empirical results. Technical Report 91-10-03, Department of Computer Science and Engineering, University of Washington.
-
(1991)
Technical Report 91-10-03
-
-
Hanks, S.1
Weld, D.S.2
-
12
-
-
2442489241
-
The systematic plan adaptor: A formal foundation for case-based planning
-
Department of Computer Science and Engineering, University of Washington
-
HANKS, S., and D. S. WELD. 1992. The systematic plan adaptor: A formal foundation for case-based planning. Technical Report 92-09-04, Department of Computer Science and Engineering, University of Washington.
-
(1992)
Technical Report 92-09-04
-
-
Hanks, S.1
Weld, D.S.2
-
16
-
-
0030368578
-
Design and implementation of a replay framework based on a partial order planner
-
Portland, Oregon
-
IHRIG, L., and S. KAMBHAMPATI. 1996. Design and implementation of a replay framework based on a partial order planner. In National Conference on Artificial Intelligence. Portland, Oregon.
-
(1996)
National Conference on Artificial Intelligence
-
-
Ihrig, L.1
Kambhampati, S.2
-
17
-
-
0001448580
-
Storing and indexing plan derivations through explanation-based analysis of retrieval failures
-
IHRIG, L. H., and S. KAMBHAMPATI. 1997. Storing and indexing plan derivations through explanation-based analysis of retrieval failures. Journal of Artificial Intelligence Research, 7:161-198.
-
(1997)
Journal of Artificial Intelligence Research
, vol.7
, pp. 161-198
-
-
Ihrig, L.H.1
Kambhampati, S.2
-
18
-
-
0039936329
-
On the utility of systematicity: Understanding tradeoffs between redundancy and commitment in partial-orderplanning
-
KAMBHAMPATI, S. 1993. On the utility of systematicity: Understanding tradeoffs between redundancy and commitment in partial-orderplanning. In International Joint Conference on Artificial Intelligence, pp. 1380-1385.
-
(1993)
International Joint Conference on Artificial Intelligence
, pp. 1380-1385
-
-
Kambhampati, S.1
-
19
-
-
0026880070
-
A validation-structure-based theory of plan modification and reuse
-
KAMBHAMPATI, S., and J. A. HENDLER. 1992. A validation-structure-based theory of plan modification and reuse. Artificial Intelligence, 55:193-258.
-
(1992)
Artificial Intelligence
, vol.55
, pp. 193-258
-
-
Kambhampati, S.1
Hendler, J.A.2
-
20
-
-
2442533294
-
Case-based planning with a high-performance parallel memory
-
Ph. D. Thesis, University of Maryland
-
KETTLER, B. P. 1995. Case-Based Planning with a High-Performance Parallel Memory. Ph. D. Thesis, University of Maryland. Available as tech. report CS-TR-3561.
-
(1995)
Tech. Report
, vol.CS-TR-3561
-
-
Kettler, B.P.1
-
22
-
-
2442462620
-
Plan reuse and plan merging in manufacturing process planning
-
MAREFAT, M., and J. BRITANIK. 1997. Plan reuse and plan merging in manufacturing process planning. Engineering Design and Automation, 3(1):49-77.
-
(1997)
Engineering Design and Automation
, vol.3
, Issue.1
, pp. 49-77
-
-
Marefat, M.1
Britanik, J.2
-
24
-
-
0041656907
-
Prodigy 2.0: The manual and tutorial
-
School of Computer Science, Carnegie Mellon University
-
MINTON, S., C. A. KNOBLOCK, D. R. KUOKKA, Y. GIL, R. L. JOSEPH, and J. G. CARBONELL. 1989. Prodigy 2.0: The manual and tutorial. Technical Report CMU-CS-89-146, School of Computer Science, Carnegie Mellon University.
-
(1989)
Technical Report
, vol.CMU-CS-89-146
-
-
Minton, S.1
Knoblock, C.A.2
Kuokka, D.R.3
Gil, Y.4
Joseph, R.L.5
Carbonell, J.G.6
-
25
-
-
2442619626
-
A study on multiple and single case retrieval
-
Ralph Bergmann and Wolfgang Wilke, editors. Edited by R. Bergmann and W. Wilke. Bad Honnef, Germany
-
MUNOZ-AVILA, H., J. HULLEN, and F. WEBERSKIRCH. 1997. A study on multiple and single case retrieval. In Ralph Bergmann and Wolfgang Wilke, editors, Proceedings of the Fifth German Workshop on CBR. Edited by R. Bergmann and W. Wilke. Bad Honnef, Germany.
-
(1997)
Proceedings of the Fifth German Workshop on CBR
-
-
Munoz-Avila, H.1
Hullen, J.2
Weberskirch, F.3
-
26
-
-
0029332315
-
Plan reuse versus plan generation: A theoretical and empirical analysis
-
NEBEL, B., and J. KOEHLER.1995. Plan reuse versus plan generation: A theoretical and empirical analysis. Artificial Intelligence, 76(1-2):427-454.
-
(1995)
Artificial Intelligence
, vol.76
, Issue.1-2
, pp. 427-454
-
-
Nebel, B.1
Koehler, J.2
-
29
-
-
0003394548
-
-
Chapter 10. AAAI Press, Menlo Park, CA
-
RAM, A., and A. G. FRANCIS, JR. 1996. In Case-Based Reasoning. Experience, Lessons, & Future Directions, Chapter 10. AAAI Press, Menlo Park, CA, pp. 167-168.
-
(1996)
Case-based Reasoning. Experience, Lessons, & Future Directions
, pp. 167-168
-
-
Ram, A.1
Francis Jr., A.G.2
-
30
-
-
85157979541
-
Distributed cases for case-based reasoning; facilitating use of multiple cases
-
AAAI
-
REDMOND, M. 1990. Distributed cases for case-based reasoning; facilitating use of multiple cases. In National Conference on Artificial Intelligence. AAAI, pp. 304-309.
-
(1990)
National Conference on Artificial Intelligence
, pp. 304-309
-
-
Redmond, M.1
-
33
-
-
27544463614
-
Nonlinear problem solving using intelligent causal-commitment
-
Carnegie Mellon, School of Computer Science
-
VELOSO, M. M. 1989. Nonlinear problem solving using intelligent causal-commitment. Technical Report CMUCS-89-210, Carnegie Mellon, School of Computer Science.
-
(1989)
Technical Report
, vol.CMUCS-89-210
-
-
Veloso, M.M.1
-
36
-
-
0028750404
-
An introduction to least commitment planning
-
WELD, D. S. 1994. An introduction to least commitment planning. AI Magazine, 15(4):27-61.
-
(1994)
AI Magazine
, vol.15
, Issue.4
, pp. 27-61
-
-
Weld, D.S.1
-
37
-
-
0042613952
-
PROCASE: A prototype of intelligent case-based process planning system with simulation environment
-
San Diego, CA
-
YANG, H., and W. F. LU. 1993. PROCASE: A prototype of intelligent case-based process planning system with simulation environment. In Proceedings of the ASME Computers in Engineering Conferenc. San Diego, CA, pp. 571-577.
-
(1993)
Proceedings of the ASME Computers in Engineering Conferenc
, pp. 571-577
-
-
Yang, H.1
Lu, W.F.2
-
38
-
-
38249008106
-
A theory of conflict resolution in planning
-
YANG, Q. 1992. A theory of conflict resolution in planning. Artificial Intelligence, 58:361-392.
-
(1992)
Artificial Intelligence
, vol.58
, pp. 361-392
-
-
Yang, Q.1
|