Author:
Bentahar J.,Meyer J.-J. Ch.,Wan W.
Reference46 articles.
1. Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Proc. of the International Joint Conference on AAMAS, pp. 535–542 (2002)
2. Moulin, B.: The social dimension of interactions in multi-agent systems. In: Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, pp. 109 – 123 (1998)
3. Halpern, R.F.J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
4. Cleaveland, R., Sims, S.: Generic tools for verifying concurrent systems. Science of Computer Programming 41(1), 39–47 (2002)
5. Rao, A., Georgeff, M.: A model-theoretic approach to the verification of situated reasoning systems. In: Proc. of IJCAI, pp. 318–324 (1993)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献