Model checking communicative agent-based systems-Reference-Cited by-同舟云学术

Model checking communicative agent-based systems

Published:2009-04 Issue:3 Volume:22 Page:142-159
ISSN:0950-7051
Container-title:Knowledge-Based Systems
language:en
Short-container-title:Knowledge-Based Systems

Author:

Bentahar Jamal,Meyer John-Jules,Wan Wei

Publisher

Elsevier BV

Subject

Artificial Intelligence,Information Systems and Management,Management Information Systems,Software

Reference27 articles.

1. A new logic for electronic commerce protocols;Adi;Theoretical Computer Science,2003

2. Verifying Protocol Conformance for Logic-based Communicating Agents;Baldoni,2005

3. J. Bentahar, A Pragmatic and Semantic Unified Framework for Agent Communication, Ph.D. Thesis, Department of Computer Science and Software Engineering, Laval University, Canada, 2005.

4. An argumentation framework for communities of web services;Bentahar;IEEE Intelligent Systems,2007

5. A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication;Bentahar,2006

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Transformation-based model checking temporal trust in multi-agent systems;Journal of Systems and Software;2022-10

2. Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty;2022 9th International Conference on Future Internet of Things and Cloud (FiCloud);2022-08

3. Reduction Model Checking for Multi-Agent Systems of Group Social Commitments;Computation;2022-05-28

4. Model Checking Intelligent Information Systems with 3-Valued Timed Commitments;Mobile Web and Intelligent Information Systems;2022

5. Active Federated YOLOR Model for Enhancing Autonomous Vehicles Safety;Mobile Web and Intelligent Information Systems;2022