-
1
-
-
85163448381
-
-
[Bessiere, C. 1994] Arc-consistency and arc-consistency again. Artificial Intelligence 65, pages 179-190, 1994.
-
[Bessiere, C. 1994] Arc-consistency and arc-consistency again. Artificial Intelligence 65, pages 179-190, 1994.
-
-
-
-
2
-
-
85163432238
-
-
[Corment, T. H., Leiserson, C.E., Rivest, R. L. 1990] Introduction to Algorithms. MIT Press, Cambridge, MA.
-
[Corment, T. H., Leiserson, C.E., Rivest, R. L. 1990] Introduction to Algorithms. MIT Press, Cambridge, MA.
-
-
-
-
3
-
-
85163504518
-
-
[Dechter, R., Meiri, I., Pearl, J. 1991] Temporal constraint networks. AI, 49:61-95.
-
[Dechter, R., Meiri, I., Pearl, J. 1991] Temporal constraint networks. AI, 49:61-95.
-
-
-
-
4
-
-
85163457417
-
-
[Demestrescu, C., Emiliozzi, S., Italiano, G. 2004] Experimental analysis of dynamic all pairs shortest path algorithms. Proc. SODA'04, pp. 362-271.
-
[Demestrescu, C., Emiliozzi, S., Italiano, G. 2004] Experimental analysis of dynamic all pairs shortest path algorithms. Proc. SODA'04, pp. 362-271.
-
-
-
-
5
-
-
85163428887
-
-
[Doyle 1979] A truth maintenance system. AI, 12:231-272.
-
[Doyle 1979] A truth maintenance system. AI, 12:231-272.
-
-
-
-
7
-
-
85163499175
-
-
[Hofmann, A., Williams, B. 2006] Robust execution of temporally flexible plans for bipedal walking devices. Proc. ICAPS-06.
-
[Hofmann, A., Williams, B. 2006] Robust execution of temporally flexible plans for bipedal walking devices. Proc. ICAPS-06.
-
-
-
-
8
-
-
85163517948
-
-
[Koenig, S., Likhachev, M. 2001] Incremental A*. Advances in Neural Information Processing Systems (14).
-
[Koenig, S., Likhachev, M. 2001] Incremental A*. Advances in Neural Information Processing Systems (14).
-
-
-
-
9
-
-
85163487626
-
-
[Morris, P., Muscettola, N. 2000] Execution of temporal plans with uncertainty. In: Proc. AAAI-00.
-
[Morris, P., Muscettola, N. 2000] Execution of temporal plans with uncertainty. In: Proc. AAAI-00.
-
-
-
-
10
-
-
85163499267
-
-
[Morris, P., Muscettola, N., Vidal, T. 2001] Dynamic Control of plans with temporal uncertainty. In: Proc. IJCAI-01.
-
[Morris, P., Muscettola, N., Vidal, T. 2001] Dynamic Control of plans with temporal uncertainty. In: Proc. IJCAI-01.
-
-
-
-
11
-
-
85163454536
-
-
[Muscettola, N., Morris, P., Tsmardinos, I. 1998]. Reformulating temporal plans for efficient execution. Proc. KRR-98.
-
[Muscettola, N., Morris, P., Tsmardinos, I. 1998]. Reformulating temporal plans for efficient execution. Proc. KRR-98.
-
-
-
-
12
-
-
85163556953
-
-
[Muscettola, N., Nayak, P., Pell, B., Williams, B. 1998b] To boldly go where no AI system has gone before. AI 103(1):5-48.
-
[Muscettola, N., Nayak, P., Pell, B., Williams, B. 1998b] To boldly go where no AI system has gone before. AI 103(1):5-48.
-
-
-
-
13
-
-
85163523207
-
-
[Radibeau, G., Knight, R., Chien, S., Fukunaga, A, et al. 1999] Iterative Repair Planning for Spacecraft Operations in the ASPEN System, Proc. i-SAIRAS.
-
[Radibeau, G., Knight, R., Chien, S., Fukunaga, A, et al. 1999] Iterative Repair Planning for Spacecraft Operations in the ASPEN System, Proc. i-SAIRAS.
-
-
-
-
14
-
-
85163447794
-
-
[Robertson, P., Williams, B. 2005] A Model-Based System Supporting Automatic Self-Regeneration of Critical Software, Proceedings of the IFIP/IEEE Intl Workshop on Self-Managed Systems & Services, France.
-
[Robertson, P., Williams, B. 2005] A Model-Based System Supporting Automatic Self-Regeneration of Critical Software, Proceedings of the IFIP/IEEE Intl Workshop on Self-Managed Systems & Services, France.
-
-
-
-
15
-
-
85163516573
-
-
[Shu, I., Effinger, R., Williams, C. 2005] Enabling Fast Flexible Planning through Incremental Temporal Reasoning, ICAPS-05.
-
[Shu, I., Effinger, R., Williams, C. 2005] Enabling Fast Flexible Planning through Incremental Temporal Reasoning, ICAPS-05.
-
-
-
-
16
-
-
85163503579
-
-
[Stedl 2004] Managing Temporal Uncertainty Under Limited Communication: A Formal Model of Tight and Loose Team Communication, S.M. Thesis, MIT.
-
[Stedl 2004] Managing Temporal Uncertainty Under Limited Communication: A Formal Model of Tight and Loose Team Communication, S.M. Thesis, MIT.
-
-
-
-
18
-
-
85163529661
-
-
[Tsamardinos, I., Muscettola, N., Morris, P. 1998] Fast transformation of temporal plans for efficient execution. Proc. AAAI-98.
-
[Tsamardinos, I., Muscettola, N., Morris, P. 1998] Fast transformation of temporal plans for efficient execution. Proc. AAAI-98.
-
-
-
-
19
-
-
85163531976
-
-
[Vidal, T., Ghallab, M. 1996] Dealing with uncertain durations in temporal constraint networks dedicated to planning. Proc. ECAI-96.
-
[Vidal, T., Ghallab, M. 1996] Dealing with uncertain durations in temporal constraint networks dedicated to planning. Proc. ECAI-96.
-
-
-
-
20
-
-
0442314380
-
Handling contingency in temporal constraint networks: From consistencies to controllabilities
-
Vidal
-
[Vidal 1999] Handling contingency in temporal constraint networks: from consistencies to controllabilities. J. of Exp. & Th. AI, 11:23-45.
-
(1999)
J. of Exp. & Th. AI
, vol.11
, pp. 23-45
-
-
-
21
-
-
85163519932
-
Controllability characterization and checking in contingent temporal constraint networks
-
[Vidal 2000]. Controllability characterization and checking in contingent temporal constraint networks. Proc. KRR- 2000.
-
Proc. KRR- 2000
-
-
-
22
-
-
85163448996
-
-
[Zweben, M., Davis, E., Daun, B., Deale, M. 1993] Scheduling and rescheduling with iterative repair. IEEE SMC 3(6):1588-1596.
-
[Zweben, M., Davis, E., Daun, B., Deale, M. 1993] Scheduling and rescheduling with iterative repair. IEEE SMC 3(6):1588-1596.
-
-
-
|