Formal model of open and hybrid architecture of multi-agent systems

被引：0
|
作者：
机构：
来源：
Chen, Jincai | 2000年 / 34期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Formal Verification of Open Multi-Agent Systems
    Kouvaros, Panagiotis
    Lomuscio, Alessio
    Pirovano, Edoardo
    Punchihewa, Hashan
    [J]. AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 179 - 187
  • [2] A formal model for situated multi-agent systems
    Weyns, D
    Holvoet, T
    [J]. FUNDAMENTA INFORMATICAE, 2004, 63 (2-3) : 125 - 158
  • [3] A Formal Environment Model for Multi-Agent Systems
    da Silva, Paulo Salem
    de Melo, Ana C. V.
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 64 - 79
  • [4] Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems
    Kunnappiilly, Ashalatha
    Cai, Simin
    Marinescu, Raluca
    Seceleanu, Cristina
    [J]. PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), 2019, : 114 - 126
  • [5] Exception diagnosis architecture for open multi-agent systems
    Shah, Nazaraf
    Chao, Kuo-Ming
    Godwin, Nick
    [J]. SOFTWARE ENGINEERING FOR MULTI-AGENT SYSTEMS V: RESEARCH ISSUES AND PRACTICAL APPLICATIONS, 2007, 4408 : 77 - +
  • [6] Intelligent trading systems: a multi-agent hybrid architecture
    Univ of Cambridge, Cambridge, United Kingdom
    [J]. IEEE IAFE Conf Comput Intell Fin Eng CIFEr, (64-73):
  • [7] Intelligent trading systems: A multi-agent hybrid architecture
    Srikanth, V
    [J]. PROCEEDINGS OF THE IEEE/IAFE 1999 CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR FINANCIAL ENGINEERING, 1999, : 64 - 73
  • [8] A new formal model of collaboration by Multi-Agent Systems
    Khezami, Narjes
    Otmane, Samir
    Mallem, Malik
    [J]. Int. Conf. Integr. Knowledge Intensive Multi-Agent Syst. Model. Explor. Eng., 2005, (32-37):
  • [9] A new formal model of collaboration by multi-agent systems
    Khezami, N
    Otmane, S
    Mallem, M
    [J]. 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems: KIMAS'05: MODELING, EXPLORATION, AND ENGINEERING, 2005, : 32 - 37
  • [10] Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems
    Kouah, Sofia
    Saidouni, Djamel Eddine
    Kitouni, Ilham
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT INFORMATION TECHNOLOGIES, 2016, 12 (01) : 63 - 94
12345