Author:
Bordini Rafael H.,Fisher Michael,Visser Willem,Wooldridge Michael
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Benerecetti, M., Cimatti, A.: Symbolic model checking for multi-agent systems. In: Proceedings of the Model Checking and Artificial Intelligence Workshop (MoChArt 2002), held with 15th ECAI, Lyon, France, July 21-26, pp. 1–8 (2002)
2. Bordini, R.H., Bazzan, A.L.C., Jannone, R.O., Basso, D.M., Vicari, R.M., Lesser, V.R.: AgentSpeak(XL): Efficient intention selection in BDI agents via decisiontheoretic task scheduling. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, July 15-19, pp. 1294–1302. ACM Press, New York (2002)
3. Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Rosenschein, J.S., Sandholm, T., Michael, W., Yokoo, M. (eds.) Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2003), Melbourne, Australia, July 14-18, pp. 409–416. ACM Press, New York (2003)
4. Electronic Notes in Theoretical Computer Science;R.H. Bordini,2002
5. Lecture Notes in Computer Science;R.H. Bordini,2003
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献