Kvarnstr om, J., P. Doherty and P. Haslum, Extending TALplanner with concurrency and ressources, in: European Conference on Artificial Intelligence (ECAI), 2000, pp. 501--505. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Anytime Replanning Using Local Subplan Replacement - Ferrer (2002) (Correct)
....until the second argument becomes true. Goal is true if its argument evaluates to true in the goal state. Using these modalities, search control rules can be specified that enable the implementation of polynomial time planning algorithms for certain domains, such as the blocks world. TALplanner [44] uses the TLPlan approach as a starting point in combination with a more expressive temporal logic called TAL (Temporal Action Logic) 26] Their domain encodings had performance superior to TLPlan across a range of domains. 3.3 Plan Repair The ROGUE system [38] integrates a planner with an ....
Jonas Kvarnstrom, Patrick Doherty, and Patrik Haslum. Extending TALplanner with concurrency and resources. In ECAI 2000.
A Formal Model of Planning for Concurrency - Brenner (Correct)
....in [Koh98] to deal with explicitly modeled resources and time. The mutex definition is extended to prohibit conflicting accesses to resources. Actions with effects at arbitrary times are integral parts of two planning formalisms based on specific temporal logics: TLPLAN [BA01] and TALPLANNER [KDH00] have both been extended to deal with concurrency and resources recently. However, the semantics of concurrent executions of dependent actions, i.e. actions that have interfering or synergistic effects, has not been clearly specified yet or uses oversimplified assumptions on concurrent ....
Jonas Kvarnstrom, Patrick Doherty, and Patrik Haslum. Extending TALplanner with concurrency and resources. In Proc. of ECAI '00, 2000.
On Augmenting Reactivity With Deliberation in a Controlled Manner - Malec (2000) (Correct)
....temporal reasoning systems did not appear yet and it seems very unlikely that it will in the near future. On the other hand, one of the most prominent results of this research has recently led to the development of an extremely ecient planning system the TAL Planner announced earlier this year [21]. One could imagine the use of TAL as the main tool for reasoning in the analysis layer. Unfortunately, TAL has some peculiarities that preclude its use as a general purpose mechanism. It requires that for every task it is expected to reason about a specially crafted second order control ....
Jonas Kvarnstrom, Patrick Doherty, and Patrik Hasslum. Extending TALplanner with concurrency and resources. In Proceedings ECAI-00, Berlin, Germany, August 2000.
Action Planning for Directed Model Checking of Petri Nets - Edelkamp, Jabbar (2005) (Correct)
No context found.
Kvarnstr om, J., P. Doherty and P. Haslum, Extending TALplanner with concurrency and ressources, in: European Conference on Artificial Intelligence (ECAI), 2000, pp. 501--505.
Promela Planning - Edelkamp (2003) (2 citations) (Correct)
No context found.
J. Kvarnstr om, P. Doherty, and P. Haslum. Extending TALplanner with concurrency and ressources. In European Conference on Artificial Intelligence (ECAI), pages 501--505, 2000.
Planning with Pattern Databases - Edelkamp (2001) (3 citations) (Correct)
No context found.
J. Kvarnstr#om, P. Doherty, and P. Haslum. Extending TALplanner with concurrency and resources. In ECAI, pages 501#505, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC