543 search results - page 46 / 109 » A Theory of Plan Modification |
ESAW
2006
Springer
15 years 1 months ago
2006
Springer
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
IJCAI
2003
14 years 11 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
AIS
2005
Springer
14 years 9 months ago
2005
Springer
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
IJAMC
2008
14 years 10 months ago
2008
: Access management for learning communities requires a unified theory, sustaining the implementation of instructional policies, for `social networks'. The management method w...
AROBOTS
2007
14 years 10 months ago
2007
The process of protein crystallization is explained using the theory of robotics, particularly path planning of mobile robots. Path planning is a procedure which specifies motion ...