126 search results - page 16 / 26 » Goal Change in the Situation Calculus |
ICFEM
2007
Springer
14 years 1 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
—The stationarity hypothesis is largely and implicitly assumed when designing classifiers (especially those for industrial applications) but it does not generally hold in practic...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The behaviorist view of learning that informs much of traditional schooling is not likely to invite students and teachers to see errors in a positive light. This is parti...
ESAW
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. Multi-agent systems considered in the paper consist of a finite number of agents, positions of which can be changed by system actions, and of an evaluation function whic...
CLIMA
2004
13 years 9 months ago
2004
In a dynamic environment, even if an agent makes a plan to obtain a goal, the environment might change while the agent is executing the plan. In that case, the plan, which was init...