Formal approaches to multi-agent sysems

被引：0
|
作者：
Rineke Verbrugge
Barbara Dunin-Kȩplicz
机构：
[1] University of Groningen,
来源：
Autonomous Agents and Multi-Agent Systems | 2009年 / 19卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 3
页数：2
相关论文
共 50 条
  • [31] Formal Specification and Reasoning for Situated Multi-agent System
    Li, Zhuang
    Miao, Huaikou
    2015 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2015, : 455 - 460
  • [32] Social interactions in multi-agent systems: A formal approach
    Fasli, M
    IEEE/WIC INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2003, : 240 - 246
  • [33] Formal development of multi-agent systems using MAZE
    Li, Qin
    Smith, Graeme
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 131 : 126 - 150
  • [34] A formal framework for multi-agent systems analysis and design
    Gruer, P
    Hilaire, V
    Koukam, A
    Cetnarowicz, K
    EXPERT SYSTEMS WITH APPLICATIONS, 2002, 23 (04) : 349 - 355
  • [35] A formal model of multi-agent belief-interaction
    Cantwell J.
    Journal of Logic, Language and Information, 2006, 15 (4) : 303 - 329
  • [36] A new formal model of collaboration by multi-agent systems
    Khezami, N
    Otmane, S
    Mallem, M
    2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems: KIMAS'05: MODELING, EXPLORATION, AND ENGINEERING, 2005, : 32 - 37
  • [37] Formal specification of holonic multi-agent systems framework
    Rodriguez, S
    Hilaire, V
    Koukam, A
    COMPUTATIONAL SCIENCE - ICCS 2005, PT 3, 2005, 3516 : 719 - 726
  • [38] Neurodynamic approaches for multi-agent distributed optimization
    Guo, Luyao
    Korovin, Iakov
    Gorbachev, Sergey
    Shi, Xinli
    Gorbacheva, Nadezhda
    Cao, Jinde
    NEURAL NETWORKS, 2024, 169 : 673 - 684
  • [39] ANALYZING MYOPIC APPROACHES FOR MULTI-AGENT COMMUNICATION
    Becker, Raphen
    Carlin, Alan
    Lesser, Victor
    Zilberstein, Shlomo
    COMPUTATIONAL INTELLIGENCE, 2009, 25 (01) : 31 - 50
  • [40] Organizational Approaches to Coordination in Multi-Agent Systems
    Gasser, L.
    Kirn, S.
    IT - Information Technology, 1998, 40 (04): : 23 - 29
12345