1500 search results - page 218 / 300 » Programming Agents with Emotions |
138
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— This paper presents a strategy for planning robot motions in dynamic, cluttered, and uncertain environments. Successful and efficient operation in such environments requires r...
175
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
144
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
183
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
188
click to vote
KI
2012
Springer
14 years 1 months ago
2012
Springer
The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This r...