1588 search results - page 257 / 318 » Modular action language |
112
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an argumentation-based approach to deliberation, the process by which two or more agents reach a consensus on a course of action. The kind of deliberation we a...
89
Voted
COSIT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
114
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
125
click to vote
MIRRORBOT
2005
Springer
15 years 8 months ago
2005
Springer
We have implemented a neurobiologically plausible system on a robot that integrates visual attention, object recognition, language and action processing using a coherent cortex-lik...
126
Voted
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...