Sergio Saugar

Learn 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)
—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)
The social stance advocated by institutional frameworks and most multi-agent system (MAS) methodologies has resulted in a wide catalogue of software abstractions to encapsulate multi-agent interactions. This paper attempts to expose a possible semantic core underlying the wide spectrum of interaction types between autonomous, social and situated software(More)