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 条
  • [21] Multi-agent collaborative approaches in RCRSS
    Shen Jie
    Liang Zhiwei
    Liu Juan
    Zhu Songhao
    2013 25TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2013, : 3492 - 3496
  • [22] Distributed multi-agent based approaches
    Kazandzhiev, A
    Momtchev, I
    Popova, L
    Shikalanov, D
    2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems: KIMAS'05: MODELING, EXPLORATION, AND ENGINEERING, 2005, : 3 - 8
  • [23] Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009
    Dunin-Keplicz, Barbara
    Verbrugge, Rineke
    LOGIC JOURNAL OF THE IGPL, 2013, 21 (03) : 404 - 406
  • [24] Towards a formal methodology for designing multi-agent applications
    Regayeg, A
    Kacem, AH
    Jmaiel, M
    MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2005, 3550 : 153 - 164
  • [25] A new formal model of collaboration by Multi-Agent Systems
    Khezami, Narjes
    Otmane, Samir
    Mallem, Malik
    Int. Conf. Integr. Knowledge Intensive Multi-Agent Syst. Model. Explor. Eng., 2005, (32-37):
  • [26] Formal specification of multi-agent systems by using EUSMs
    Merayo, Mercedes G.
    Nunez, Manuel
    Rodriguez, Ismael
    INTERNATIONAL SYMPOSIUM ON FUNDAMENTALS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4767 : 318 - +
  • [27] A formal analysis of potential energy in a multi-agent system
    Spears, WM
    Spears, DF
    Heil, R
    FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 131 - 145
  • [28] Formal Modeling and Verification of Multi-Agent System Architecture
    Yuan, Ling
    Fan, Ping
    2013 AASRI CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, 2013, 5 : 126 - 132
  • [29] A formal model of multi-agent belief-interaction
    Cantwell J.
    Journal of Logic, Language and Information, 2005, 14 (4) : 397 - 422
  • [30] A Formal Analysis of Required Cooperation in Multi-Agent Planning
    Zhang, Yu
    Sreedharan, Sarath
    Kambhampati, Subbarao
    TWENTY-SIXTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2016), 2016, : 335 - 343
12345