1120 search results - page 42 / 224 » A Formal Framework for Interactive Agents |
100
click to vote
CISIS
2010
IEEE
15 years 1 months ago
2010
IEEE
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...
107
click to vote
APN
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
AO
2007
14 years 10 months ago
2007
Abstract. In open scenarios, agents willing to cooperate must impact the communication barrier between them and their unknown partners. If agents are not relying on any agreement a...
ARGMAS
2004
Springer
15 years 1 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
GC
2004
Springer
15 years 1 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...