1875 search results - page 33 / 375 » A Calculus of Broadcasting Systems |
DALT
2004
Springer
14 years 1 months ago
2004
Springer
The concept of a social norm is used in multi-agent systems to specify behaviours required of agents interacting in a given social context. We describe a method for specifying soci...
AISC
2006
Springer
13 years 11 months ago
2006
Springer
Solving analytic systems using inversion can be implemented in a variety of ways. One method is to use Lagrange inversion and variations. Here we present a different approach, base...
ENTCS
2007
13 years 7 months ago
2007
We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...
ARGMAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...
SAS
2001
Springer
14 years 15 hour ago
2001
Springer