1912 search results - page 151 / 383 » GOAL as a Planning Formalism |
182
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
The formal treatment of visual languages is often based on graph representations. Since the matter of discourse is visual languages, it would be convenient if the formal manipulat...
153
click to vote
RTAS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
178
click to vote
JAR
1998
15 years 6 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
196
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
226
click to vote
FUIN
2007
15 years 6 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...