Sciweavers

1912 search results - page 12 / 383
» GOAL as a Planning Formalism
Sort
View
IUI
2000
ACM
15 years 4 months ago
Mapping communicative goals into conceptual tasks to generate graphics in discourse
We address the problem of realizing communicative plans in graphics. Our approach calls for mapping communicative goals to conceptual tasks and then using task-based graphic desig...
Stephan M. Kerpedjiev, Steven F. Roth
AI
1998
Springer
14 years 11 months ago
The Logical Foundations of Goal-Regression Planning in Autonomous Agents
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
John L. Pollock
ICRA
2010
IEEE
130views Robotics» more  ICRA 2010»
14 years 10 months ago
On the complexity of optimal reconfiguration planning for modular reconfigurable robots
— This paper presents a thorough analysis of the computational complexity of optimal reconfiguration planning problem for chain-type modular robots, i.e. finding the least number...
Feili Hou, Wei-Min Shen
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
15 years 6 months ago
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
Uluc Saranli, Frank Pfenning
ISSTA
2006
ACM
15 years 5 months ago
Architecture-based testing using goals and plans
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, ...