共 50 条
- [32] A minimal model of communication for multi-agent systems ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2001, : 11 - 16
- [33] Abstraction for model checking multi-agent systems FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2011, 5 (01): : 14 - 25
- [34] MOISE: An organizational model for multi-agent systems ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1952 : 156 - 165
- [35] MODEL OF KNOWLEDGE SPREADING FOR MULTI-AGENT SYSTEMS ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 2: ARTIFICIAL INTELLIGENCE AND DECISION SUPPORT SYSTEMS, 2010, : 326 - 331
- [36] An attacker model for normative multi-agent systems MULTI-AGENT SYSTEMS AND APPLICATIONS V, PROCEEDINGS, 2007, 4696 : 42 - +
- [38] A model checking algorithm for multi-agent systems INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 163 - 176
- [39] Dynamic model checking for multi-agent systems DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, 2006, 4237 : 43 - +
- [40] Model driven development of multi-agent systems MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2006, 4066 : 284 - 298