1912 search results - page 43 / 383 » GOAL as a Planning Formalism |
112
click to vote
JIRS
2000
14 years 11 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
AIEDU
2005
14 years 11 months ago
2005
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
AGENTS
1999
Springer
15 years 4 months ago
1999
Springer
Uncertain and complex environments demand that an agent be able to anticipate the actions of others in order to avoid resource conflicts with them and to realize its goals. Confli...
AIPS
2000
15 years 1 months ago
2000
In this paper, we outline the requirements of a planning and decision aid to support US Army small unit operations in urban terrain and show how AI planning technologies can be ex...
117
click to vote
VLSID
2008
IEEE
16 years 6 days ago
2008
IEEE
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...