502 search results - page 10 / 101 » Development and Application of a Formal Agent Framework |
ATAL
2010
Springer
15 years 22 days ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
112
click to vote
ICMAS
1998
15 years 29 days ago
1998
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
106
click to vote
COMMA
2010
14 years 6 months ago
2010
In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational ar...
TELSYS
2002
14 years 11 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
113
click to vote
FUIN
2006
14 years 11 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...