1120 search results - page 15 / 224 » A Formal Framework for Interactive Agents |
AGENTCL
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
79
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
ESORICS
2002
Springer
15 years 9 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
FAABS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...