4469 search results - page 252 / 894 » A Language for Role Specifications |
139
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
171
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can ...
257
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
286
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of pap...
147
click to vote
NN
2008
Springer
15 years 6 months ago
2008
Springer
Many behavioural experiments have pointed out the important role played by the hippocampus in spatial navigation. This role was enlightened by the discovery of hippocampal cells i...