Specification and analysis of legal contracts with Symboleo
Legal contracts specify the terms and conditions—in essence, requirements—that apply to
business transactions. This paper proposes a formal specification language for legal …
business transactions. This paper proposes a formal specification language for legal …
Representing and monitoring social commitments using the event calculus
Multiagent social commitments provide a principled basis for agent interactions, and serve
as a natural tool to resolve design ambiguities. Indeed, they have been the subject of …
as a natural tool to resolve design ambiguities. Indeed, they have been the subject of …
Verifying trust over IoT-ad hoc network-based applications under uncertainty
The rapid integration of the Internet of Things (IoT) with ad hoc networks offers significant
advantages for revolutionizing smart environments. However, ensuring trust and reliability …
advantages for revolutionizing smart environments. However, ensuring trust and reliability …
Model checking temporal knowledge and commitments in multi-agent systems using reduction
Though modeling and verifying Multi-Agent Systems (MASs) have long been under study,
there are still challenges when many different aspects need to be considered …
there are still challenges when many different aspects need to be considered …
Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*
M El Menshawy, J Bentahar, W El Kholy… - Autonomous agents and …, 2013 - Springer
Social commitments have been extensively and effectively used to represent and model
business contracts among autonomous agents having competing objectives in a variety of …
business contracts among autonomous agents having competing objectives in a variety of …
Communicative commitments: Model checking and complexity analysis
We refine CTLC, a temporal logic of social commitments that extends CTL to allow
reasoning about commitments agents create when communicating and their fulfillment. We …
reasoning about commitments agents create when communicating and their fulfillment. We …
Verifying conformance of multi-agent commitment-based protocols
M El-Menshawy, J Bentahar, W El Kholy… - Expert Systems with …, 2013 - Elsevier
Although several approaches have been proposed to specify multi-agent commitment-
based protocols that capture flexible and rich interactions among autonomous and …
based protocols that capture flexible and rich interactions among autonomous and …
Commitments and interaction norms in organisations
In an organisational setting such as an online marketplace, an entity called the
'organisation'or 'institution'defines interaction protocols, monitors agent interaction, and …
'organisation'or 'institution'defines interaction protocols, monitors agent interaction, and …
Model checking combined trust and commitments in Multi-Agent Systems
Trust and social commitments have been studied with different objectives for communication
in Multi-Agent Systems (MASs) separately. The purpose of this paper is to present the first …
in Multi-Agent Systems (MASs) separately. The purpose of this paper is to present the first …
Dynamically generated commitment protocols in open systems
Agent interaction is a fundamental part of any multiagent system. Such interactions are
usually regulated by protocols, which are typically defined at design-time. However, in many …
usually regulated by protocols, which are typically defined at design-time. However, in many …