Norms provide a way to model the social architecture of a sociotechnical system (STS) and
are thus crucial for understanding how such a system supports secure collaboration …

We propose Cupid, a language for specifying commitments that supports their information-
centric aspects, and offers crucial benefits. One, Cupid is first-order, enabling a systematic …

Autonomous software agents operating in dynamic environments need to constantly reason
about actions in pursuit of their goals, while taking into consideration norms which might be …

Assessing whether an agent is actually executing steps towards a goal, or has abandoned it,
is important when multiple agents are trying to achieve joint goals, or when agents commit to …

Understanding accountability in contract violations, eg, whom is accountable for what, is a
tedious, time-consuming, and costly task for human decision-making, especially when …

Social commitment protocols regulate interactions of agents in multiagent systems. Several
methods have been developed to analyze properties of commitment protocols. However …

Assessing whether an agent has abandoned a goal or is actively pursuing it is important
when multiple agents are trying to achieve joint goals, or when agents commit to achieving …

Autonomous software agents operating in dynamic environments need to constantly reason
about actions in pursuit of their goals, while taking into consideration norms which might be …

Autonomous agents operating in a dynamic environment must be able to reason about their
actions in pursuit of their goals. An additional consideration for such agents is that their …

Autonomous agents operating in a dynamic environment need constantly to reason about
actions in pursuit of their goals, while taking into consideration possible norms imposed on …