Loading...
Please wait, while we are loading the content...
Verifiable Semantic Model for Agent Interactions using Social Commitments (2010)
| Content Provider | CiteSeerX |
|---|---|
| Author | El-Menshawy, Mohamed Bentahar, Jamal Dssouli, Rachida |
| File Format | |
| Language | English |
| Publisher Date | 2010-01-01 |
| Publisher Institution | 6039 of LNCS |
| Access Restriction | Open |
| Subject Keyword | Agent Interaction Commitment Operation Netbill Protocol Full Semantics Verifiable Semantic Model Social Commitment Automatic Verification New Logic Different Logic Commitment Semantics Mcmas Symbolic Model Checker Delegation Operation Semantic Framework Logical Model Novel Unified Semantic Model New Commitment Content Formal Semantics Real-life Business Scenario New Definition Experimental Result |
| Content Type | Text |
| Resource Type | Article |