253 search results - page 46 / 51 » Agent programming via planning programs |
154
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
153
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
159
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Planning in single-agent models like MDPs and POMDPs can be carried out by resorting to Q-value functions: a (near-) optimal Q-value function is computed in a recursive manner by ...
146
click to vote
ISER
2004
Springer
15 years 10 months ago
2004
Springer
A virtual fence is created by applying an aversive stimulus to an animal when it approaches a predefined boundary. It is implemented by a small animal-borne computer system with a...
139
click to vote
PADL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...