메뉴 건너뛰기




Volumn , Issue , 2003, Pages 266-273

Partitioning of Temporal Planning Problems in Mixed Space using the Theory of Extended Saddle Points

Author keywords

[No Author keywords available]

Indexed keywords

LOCAL CONSTRAINTS; MIXED-INTEGER NONLINEAR PROGRAMMING (MINLP); STATE VARIABLES; TEMPORAL PLANNING;

EID: 0344666750     PISSN: 10636730     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (9)

References (11)
  • 2
    • 0003713964 scopus 로고    scopus 로고
    • Athena Scientific, Belmont, Massachusetts
    • D. P. Bertsekas. Nonlinear Programming. Athena Scientific, Belmont, Massachusetts, 1999.
    • (1999) Nonlinear Programming
    • Bertsekas, D.P.1
  • 3
    • 0344145225 scopus 로고    scopus 로고
    • Automated planning and scheduling using calculus of variations in discrete space
    • June
    • Y. X. Chen and B. W. Wah. Automated planning and scheduling using calculus of variations in discrete space. In Proc. Int'l Conf. on Automated Planning and Scheduling, pages 2-11, June 2003.
    • (2003) Proc. Int'l Conf. on Automated Planning and Scheduling , pp. 2-11
    • Chen, Y.X.1    Wah, B.W.2
  • 4
    • 0012309939 scopus 로고    scopus 로고
    • ASPEN - Automating space mission operations using automated planning and scheduling
    • Toulouse, France
    • S. Chien, et al. ASPEN - Automating space mission operations using automated planning and scheduling. In Proc. SpaceOps. Toulouse, France, 2000.
    • (2000) Proc. SpaceOps
    • Chien, S.1
  • 5
    • 27444444490 scopus 로고    scopus 로고
    • Mixed propositional and numerical planning in the model checking integrated planning system
    • S. Edelkamp. Mixed propositional and numerical planning in the model checking integrated planning system. Proc. Int'l Conf. on AI Planning and Scheduling (AIPS), 2002.
    • (2002) Proc. Int'l Conf. on AI Planning and Scheduling (AIPS)
    • Edelkamp, S.1
  • 6
    • 2842560201 scopus 로고
    • STRIPS: A new approach to the application of theorem proving to problem solving
    • R. E. Fikes and N. J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3 & 4): 189-208, 1971.
    • (1971) Artificial Intelligence , vol.2 , Issue.3-4 , pp. 189-208
    • Fikes, R.E.1    Nilsson, N.J.2
  • 8
    • 0003028425 scopus 로고
    • Nonlinear programming
    • J. Neyman, editor. University of California Press
    • H. W. Kuhn and A. W. Tucker. Nonlinear programming. In J. Neyman, editor, Proc. Second Berkeley Sympos. Math. Stat. Prob., pages 481-492. University of California Press, 1951.
    • (1951) Proc. Second Berkeley Sympos. Math. Stat. Prob. , pp. 481-492
    • Kuhn, H.W.1    Tucker, A.W.2
  • 11
    • 84957378692 scopus 로고    scopus 로고
    • Simulated annealing with asymptotic convergence for nonlinear constrained global optimization
    • October
    • B. W. Wah and T. Wang. Simulated annealing with asymptotic convergence for nonlinear constrained global optimization. Principles and Practice of Constraint Programming, pages 461-475, October 1999.
    • (1999) Principles and Practice of Constraint Programming , pp. 461-475
    • Wah, B.W.1    Wang, T.2


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