Fast dynamic scheduling of disjunctive temporal constraint networks through incremental compilation

ICAPS 2008 - Proceedings of the 18th International Conference on Automated Planning and Scheduling

Volumn , Issue , 2008, Pages 322-329

  Shah, Julie A ^a   Williams, Brian C ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS SYSTEMS; COMPACT REPRESENTATIONS; CONSTRAINT SATISFACTION PROBLEMS; DISJUNCTIVE CONSTRAINTS; DISPATCHABLE EXECUTIONS; EFFICIENT ALGORITHMS; FAST DYNAMICS; INCREMENTAL ALGORITHMS; INCREMENTAL COMPILATIONS; PLAN EXECUTIONS; REAL-TIME SCHEDULING; REAL-WORLD ENVIRONMENTS; SOLUTION SETS; TEMPORAL CONSTRAINTS; THREE ORDERS OF MAGNITUDES;

ENCODING (SYMBOLS); PROGRAM COMPILERS;

SCHEDULING;

EID: 58949088983     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. [Dechter, R., et al. 1991] Temporal constraint networks. Al, 49:61-95.
2. [Doyle 1979] A truth maintenance system. AI, 12:231-272.
3. [Hofmann, A., Williams, B. 2006] Robust execution of temporally flexible plans for bipedal walking devices. Proc. ICAPS-06.
4. *. Advances in Neural Information Processing Systems (14).
5. [Muscettola, N., et al. 1998]. Reformulating temporal plans for efficient execution. Proc. KRR-98.
6. [Muscettola, N., et el. 1998b] To boldly go where no Al system has gone before. Al 103(1):5-48.
7. [Oddi, A., and Cesta, A. 2000] Incremental Forward Checking for the Disjunctive Temporal Problem. In Proc. 14th European Conf. on Artificial Intelligence, 108-112.
8. [Shah, J., et al. 2007] A Fast Incremental Algorithm for Maintaining Dispatchability of Partially Controllable Plans. Proc. ICAPS-07.
9. [Stedl 2004] Managing Temporal Uncertainty Under Limited Communication: A Formal Model of Tight and Loose Team Communication, S.M. Thesis, MIT.
10. [Stergiou, K., and Koubarakis, M. 2000] Backtracking Algorithms for Disjunctions of Temporal Constraints. Artificial Intelligence 120:81-117.
11. [Tsamardinos, I., et al. 1998] Fast transformation of temporal plans for efficient execution. Proc. AAAI-98.
12. [Tsamardinos, I.; et al. 2001]. Flexible dispatch of disjunctive plans. In Proceedings of the 6th European Conference on Planning, 417-422
13. [Tsamardinos, I., and Pollack, M. E. 2003] Efficient Solution Techniques for Disjunctive Temporal Reasoning Problems. Artificial Intelligence 151(1-2):43-90.
14. [Williams, B.C., and Millar, B. 1998] Decompositional, Model-based Learning and its Analogy to Model-based Diagnosis, Proc. AAAI, Milwaukee, Wisconsin, pp. 197-203.