Patrick Doherty, Jonas Kvarnström  Home/Search
Context Related
| ida.liu.se/pub/lab...time99final.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ida.liu.se/~patdo/pa...conference (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as temporal formulas is used to effectively control forward chaining. Instead of using a linear modal tense logic as with Bacchus and Kabanza, we use TAL, a narrative-based linear temporal logic used for reasoning about action and change in incompletely specified dynamic environments. Two versions of TALplanner are... (Update)
Context of citations to this paper: More
...domain analysis or learning, are closely connected to the workings of the planner. More recent examples are TLPlan [4] and TALplanner [7], both of which use restrictions expressed as formulas in a temporal logic over states for search control. Huang et al. 16] extend PDDL to...
.... the key to future performancegai ns [30] Thi conjecturei s supported by theiEj essi e performance of planners such as TLPlan [1] TALplan [11] and SHOP [26] all of whi h exploi t doma iE dependent control knowledge. T. Eiter, W. Faber, and M. Truszczynski (Eds. LPNMR 2001,...
Cited by: More
A Transition Function Based Characterization of Actions with .. - Baral, Son, Tuan (2002) (Correct)
Domain-Dependent Knowledge in Answer Set Planning - Tran Cao Son (2002) (Correct)
Planning with Different Forms of Domain-Dependent Control.. - Son, Baral, McIlraith (2001) (Correct)
Active bibliography (related documents): More All
0.8: Elaboration Tolerance through Object-Orientation - Gustafsson, Kvarnström (Correct)
0.6: TALplanner: A Temporal Logic Based Forward Chaining Planner - Kvarnström, Doherty (2001) (Correct)
0.5: Temporal Action Logics (TAL): Language Specification.. - Doherty, Gustafsson.. (1998) (Correct)
Similar documents based on text: More All
0.9: TALplanner: A Temporal Logic Based Planner - Doherty, Kvarnström (Correct)
0.8: Extending TALplanner with Concurrency and Resources - Kvarnström, Doherty, Haslum (2000) (Correct)
0.5: DyKnow: An Approach to Middleware for Knowledge Processing - Doherty (2004) (Correct)
Related documents from co-citation: More All
11: Using temporal logics to express search control knowledge for planning - Bacchus, Kabanza - 1998
7: SHOP: Simple Hierarchical Ordered Planner (context) - Nau, Cao et al. - 1999
6: Fast planning through planning graph analysis - Blum, Furst - 1995
BibTeX entry: (Update)
P. Doherty and J. Kvarnstrom, `TALplanner: An empirical investigation of a temporal logic-based forward chaining planner', in Proc. TIME'99, (1999). http://citeseer.ist.psu.edu/doherty99talplanner.html More
@inproceedings{ doherty99talplanner,
author = "Patrick Doherty and Jonas Kvarnstrom",
title = "{TALplanner}: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner",
booktitle = "{TIME}",
pages = "47-54",
year = "1999",
url = "citeseer.ist.psu.edu/doherty99talplanner.html" }
Citations (may not include all citations):130 Extending planning graphs to an ADL subset - Koehler, Nebel et al. - 1997
120 Handbook of Theoretical Computer Science (context) - Emerson - 1990
69 Using temporal logics to express search control knowledge fo.. - Bacchus, Kabanza - 1998
65 Blackbox: A new approach to the application of theorem provi.. - Kautz, Selman
55 Using temporal logic to control search in a forward chaining.. - Bacchus, Kabanza - 1996
38 Reasoning about action and change using occlusion (context) - Doherty - 1994
32 Planning control rules for reactive agents - Kabanza, Barbeau et al. - 1997
30 Embracing occlusion in specifying the indirect effects of ac.. - Gustafsson, Doherty - 1996
8 Annals of Mathematics and Artificial Intelligence (context) - Bacchus, Kabanza et al. - 1998
7 Tackling the qualification problem using fluent dependency c.. - Doherty, Kvarnstrom - 1998
6 Reasoning about concurrent interaction (context) - Karlsson, Gustafsson - 1998
5 Delayed effects of actions - Karlsson, Gustafsson et al. - 1998
4 Planning Competition (context) - Artificial, Systems - 1998
2 line system for reasoning about action and change using TAL (context) - Kvarnstrom, Doherty et al. - 1997
1 Linkoping Electronic Articles in Computer and Information Sc.. (context) - Doherty, Gustafsson et al. - 1998
1 The benefits of relaxing punctiality (context) - Alur, Feder et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ida.liu.se/~patdo/patdowebsite/conference.html): More
Extending TALplanner with Concurrency and Resources - Kvarnström, Doherty, Haslum (2000) (Correct)
The WITAS Unmanned Aerial Vehicle Project - Doherty, Granlund, Kuchinski.. (2000) (Correct)
Extending TALplanner with Concurrency and Resources - Kvarnström, Doherty, Haslum (2000) (Correct)
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