Legal contracts specify the terms and conditions (in essence, requirements) that apply to
business transactions. Smart contracts are software systems that monitor and control the …

Legal contracts specify the terms and conditions—in essence, requirements—that apply to
business transactions. This paper proposes a formal specification language for legal …

As artificial intelligence (AI) thrives and propagates through modern life, a key question to
ask is how to include humans in future AI? Despite human involvement at every stage of the …

Legal contracts specify requirements for business transactions. As any other requirements
specification, contracts may contain errors and violate properties expected by contracting …

Legal contracts specify requirements for business transactions. Symboleo was recently
proposed as a formal specification language for legal contracts. It allows the specification of …

Specifying a normative multiagent system (nMAS) is challenging, because different agents
often have conflicting requirements. Whereas existing approaches can resolve clear-cut …

Legal contracts specify obligations and powers among legal subjects, involve assets, and
are subject to quality constraints. Smart contracts are software systems that monitor the …

In this paper we investigate multiagent systems whose agent interaction is based on social
commitments that evolve over time, in presence of (possibly incomplete) data. In particular …

We present the JaCaMo+ framework for programming multiagent systems (MAS), where
agents interact thanks to commitment-based interaction protocols. Commitment protocols …

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 …