메뉴 건너뛰기




Volumn 12, Issue 2, 1996, Pages 307-330

On the implementation and evaluation of ABTWEAK

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SELECTION AND EVALUATION; HIERARCHICAL SYSTEMS; ONLINE SEARCHING; PROBLEM SOLVING;

EID: 0030149379     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/j.1467-8640.1996.tb00264.x     Document Type: Article
Times cited : (19)

References (30)
  • 1
    • 0028545292 scopus 로고
    • Downward refinement and the efficiency of hierarchical problem solving
    • BACCHUS, F., and Q. YANG. 1994. Downward refinement and the efficiency of hierarchical problem solving. Artificial Intelligence, 71(1):43-100.
    • (1994) Artificial Intelligence , vol.71 , Issue.1 , pp. 43-100
    • Bacchus, F.1    Yang, Q.2
  • 3
    • 5844286530 scopus 로고
    • Partial order planning: Evaluating possible efficiency gains
    • University of Washington, Department of Computer Science and Engineering, Seattle, WA
    • BARRETT, A., and D. WELD. 1992. Partial order planning: evaluating possible efficiency gains. Technical Report 92-05-01, University of Washington, Department of Computer Science and Engineering, Seattle, WA.
    • (1992) Technical Report 92-05-01
    • Barrett, A.1    Weld, D.2
  • 4
    • 0028430255 scopus 로고
    • Partial order planning: Evaluating possible efficiency gains
    • BARRETT, A., and D. WELD. 1994. Partial order planning: evaluating possible efficiency gains. Artificial Intelligence, 67(1):71-112.
    • (1994) Artificial Intelligence , vol.67 , Issue.1 , pp. 71-112
    • Barrett, A.1    Weld, D.2
  • 5
    • 0023381915 scopus 로고
    • Planning for conjunctive goals
    • CHAPMAN, D. 1987. Planning for conjunctive goals. Artificial Intelligence, 32:333-377.
    • (1987) Artificial Intelligence , vol.32 , pp. 333-377
    • Chapman, D.1
  • 6
    • 5844285745 scopus 로고
    • Prindle, Weber and Schmidt, Inc., Boston, MA
    • DODGE, C. W. 1969. Numbers and mathematics. Prindle, Weber and Schmidt, Inc., Boston, MA.
    • (1969) Numbers and Mathematics
    • Dodge, C.W.1
  • 7
    • 2842560201 scopus 로고
    • Strips: A new approach to the application of theorem proving to problem solving
    • FIKES, R., and N. 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.1    Nilsson, N.2
  • 10
    • 5844285744 scopus 로고
    • Planning as refinement search: A unified framework for evaluating design tradeoffs in partial-order planning
    • KAMBHAMPATI, S., C. A. KNOBLOCK, and Q. YANG. 1994. Planning as refinement search: a unified framework for evaluating design tradeoffs in partial-order planning. Accepted by Artificial Intelligence Journal.
    • (1994) Accepted by Artificial Intelligence Journal.
    • Kambhampati, S.1    Knoblock, C.A.2    Yang, Q.3
  • 11
    • 0042305852 scopus 로고
    • Ph.D. thesis, School of Computer Science, Carnegie Mellon University. Tech. Report CMU-CS-91-120
    • KNOBLOCK, C. A. 1991. Automatically generating abstractions for problem solving. Ph.D. thesis, School of Computer Science, Carnegie Mellon University. Tech. Report CMU-CS-91-120.
    • (1991) Automatically Generating Abstractions for Problem Solving
    • Knoblock, C.A.1
  • 15
    • 0025398889 scopus 로고
    • Quantitative results concerning the utility of explanation-based learning
    • MINTON, S. 1990. Quantitative results concerning the utility of explanation-based learning. Artificial Intelligence, 42:363-391.
    • (1990) Artificial Intelligence , vol.42 , pp. 363-391
    • Minton, S.1
  • 18
    • 0016069798 scopus 로고
    • Planning in a hierarchy of abstraction spaces
    • SACERDOTI, E. 1974. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5:115-135.
    • (1974) Artificial Intelligence , vol.5 , pp. 115-135
    • Sacerdoti, E.1
  • 20
    • 5844353712 scopus 로고
    • An efficient robot planner which generates its own procedures
    • SIKLOSSY, L., and J. DREUSSI. 1973. An efficient robot planner which generates its own procedures. In Proceedings of the 3rd IJCAI. pp. 423-430.
    • (1973) Proceedings of the 3rd IJCAI , pp. 423-430
    • Siklossy, L.1    Dreussi, J.2
  • 22
    • 0019563065 scopus 로고
    • Planning with constraints
    • STEFIK, M. 1981. Planning with constraints. Artificial Intelligence, 16(2):111-140.
    • (1981) Artificial Intelligence , vol.16 , Issue.2 , pp. 111-140
    • Stefik, M.1
  • 26
    • 0021405893 scopus 로고
    • Domain-independent planning: Representation and plan generation
    • WILKINS, D. 1984. Domain-independent planning: representation and plan generation. Artificial Intelligence, 22:269-301.
    • (1984) Artificial Intelligence , vol.22 , pp. 269-301
    • Wilkins, D.1
  • 29
    • 38249008106 scopus 로고
    • A theory of conflict resolution in planning
    • YANG, Q. 1992. A theory of conflict resolution in planning. Artificial Intelligence, 58(1-3):361-392.
    • (1992) Artificial Intelligence , vol.58 , Issue.1-3 , pp. 361-392
    • Yang, Q.1
  • 30
    • 5844316992 scopus 로고
    • Abstraction in nonlinear planning
    • University of Waterloo, Department of Computer Science, Waterloo, Ontario, Canada N2L 3G1
    • YANG, Q., J. TENENBERG, and S. WOODS. 1991. Abstraction in nonlinear planning. Technical Report CS 91-65, University of Waterloo, Department of Computer Science, Waterloo, Ontario, Canada N2L 3G1.
    • (1991) Technical Report CS 91-65
    • Yang, Q.1    Tenenberg, J.2    Woods, S.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.