Blai Bonet, Héctor Geffner  Home/Search
Context Related
| ucla.edu/~bonet/reports/hspf.ps.gz ldc.usb.ve/~hector/repo...functional.ps 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: ucla.edu/~bonet (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Strips language introduced by Fikes and Nilsson in 1971 has shaped most of the work in Planning. Its appeal can be explained by two reasons: Strips provides a compact language for representing actions that avoids the frame problem, and at the same time supports divideand -conquer strategies that have been regarded as good for planning. In recent years, a number of extensions of Strips have been developed, yet they all share with Strips the following restriction: fluent symbols, i.e. the... (Update)
Context of citations to this paper: More
.... The most popular of these are STRIPS that is based on rst order logic [13] and extensions of it like PDDL [21] and Functional STRIPS [1]. STRIPS resembles our formalism with respect to the fact that for each operator explicitly is stated which atomic facts are to be...
Cited by: More
A Resource Logic for Multi-Agent Plan Merging - de Weerdt, Bos, Tonino.. (2003) (Correct)
Similar documents (at the sentence level):
35.2%: Functional Strips: Amore Flexible Language For Planning And.. - Geffner (Correct)
Active bibliography (related documents): More All
0.6: Planning and Control in Artificial Intelligence: A Unifying.. - Bonet, Geffner (2001) (Correct)
0.4: Planning as Heuristic Search - Bonet, Geffner (2001) (Correct)
0.3: Planning as Heuristic Search: New Results - Bonet, Geffner (1999) (Correct)
Similar documents based on text: More All
0.4: Heuristic Search Planner 2.0 - Bonet, Geffner (2001) (Correct)
0.4: Learning sorting and decision trees with POMDPs - Bonet, Geffner (1998) (Correct)
0.4: On the Role of Ground Actions in Refinement Planning - Younes, Simmons (2002) (Correct)
Related documents from co-citation: More All
2: Communication and interaction in multi-agent planning (context) - George - 1983
BibTeX entry: (Update)
Blai Bonet and Hector Ge ner. Functional strips: A more general language for planning and problem solving. In Proceedings of the Logic-Based AI Workshop, 1999. 28 http://citeseer.ist.psu.edu/bonet99functional.html More
@misc{ bonet99functional,
author = "B. Bonet and H. ector and G. ner",
title = "Functional strips: A more general language for planning and problem solving",
text = "Blai Bonet and Hector Ge ner. Functional strips: A more general language
for planning and problem solving. In Proceedings of the Logic-Based AI Workshop,
1999. 28",
year = "1999",
url = "citeseer.ist.psu.edu/bonet99functional.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
410 Principles of Artificial Intelligence (context) - Nilsson - 1980
388 The frame problem in the situation calculus: A simple soluti.. (context) - Reiter - 1991
376 Fast planning through planning graph analysis - Blum, Furst - 1995
256 Representing action and change by logic programs - Gelfond, Lifschitz - 1993
255 Human Problem Solving (context) - Newell, Simon - 1972
190 Plan: the open planning architecture (context) - Currie, Tate - 1991
178 ADL: Exploring the middle ground between Strips and the situ.. (context) - Pednault - 1989
130 Extending planning graphs to an ADL subset - Koehler, Nebel et al. - 1997
87 A robust and fast action selection mechanism for planning - Bonet, Loerincs et al. - 1997
77 the semantics of STRIPS - Lifschitz - 1986
73 Unifying SAT-based and Graph-based planning - Kautz, Selman - 1999
69 Using temporal logics to express search control knowledge fo.. - Bacchus, Kabanza - 1998
61 Linear-space best-first search (context) - Korf - 1993
58 Solving the Frame Problem (context) - Shanahan - 1997
56 Planning as heuristic search: New results - Bonet, Geffner - 1999
49 Constraint satisfaction using constraint logic programming (context) - Van Hentenryck, Simonis et al. - 1992
48 A heuristic estimator for means-ends analysis in planning - McDermott - 1996
47 PDDL -- the planning domain definition language - McDermott - 1998
45 Planning with sharable resources constraints (context) - Laborie, Ghallab - 1995
44 The Representation of Knowledge about Dynamical Systems (context) - Sandewall, Fluents - 1994
42 Representing action: indeterminacy and ramifications - Giunchiglia, Kartha et al. - 1997
41 Planning under resource constraints - Koehler - 1998
28 Conditional effects in graphplan - Anderson, Smith et al. - 1998
27 Tractable planning with state variables by exploiting struct.. - Jonsson, Backstrom - 1994
25 Practical Planning: Extending the classical AI paradigm (context) - Wilkins - 1988
22 The detection and exploitation of symmetry in planning domai.. - Fox, Long - 1999
21 Learning action strategies for planning domains - Khardon - 1997
20 Temporal and resource reasoning in planning: the parcPLAN ap.. (context) - El-Kholy, Richards - 1996
18 the compilability and expressive power of propositional plan.. - Nebel - 1998
16 AIPS-98 Planning Competition Results (context) - McDermott - 1998
16 Combining the expressiveness of ucpop with the efficiency of.. (context) - Gazen, Knoblock - 1997
13 CPlan: a constraint programming approach to planning (context) - Van Beek, Chen - 1999
9 The efficient implementation of the plan-graph (context) - Long, Fox - 1999
8 Temporal planning with continous change (context) - Penberthy, Weld - 1994
7 High-level plannnig and control with incomplete information .. (context) - Bonet, Geffner - 1998
2 knowledge and control (context) - Geffner, Wainer - 1998
Documents on the same site (http://www.cs.ucla.edu/~bonet): More
Learning sorting and decision trees with POMDPs - Bonet, Geffner (1998) (Correct)
Planning as Heuristic Search: New Results - Bonet, Geffner (1999) (Correct)
Planning with Incomplete Information as Heuristic Search in.. - Bonet, Geffner (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