Learn More
This paper reports on the <i>RICA-J</i> multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the <i>RICA</i> theory. Setting out from a component and connector perspective on the elements of the <i>RICA</i> metamodel, their execution semantics is defined and instrumented(More)
—This paper describes a type-oriented approach to the programming of social middlewares. It defines a collection of metamodeling features which allow programmers to declare the social interaction and agent types which make up the program of a multiagent society for some application domain. These features are identified and formalised taking into account a(More)
This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational notion of social context, in such a way that conditional commitments are represented as rules in context. This approach enables the manipulation of conditional commitments in terms of the(More)