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 条
  • [1] Formal approaches to multi-agent sysems
    Verbrugge, Rineke
    Dunin-Keplicz, Barbara
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2009, 19 (01) : 1 - 3
  • [2] A formal model of multi-agent computations
    Smolka, Maciej
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, 2008, 4967 : 351 - 360
  • [3] A formal model of multi-agent organisations
    Koehler, Michael
    FUNDAMENTA INFORMATICAE, 2007, 79 (3-4) : 415 - 430
  • [4] Multi-Agent Approaches in Economics
    Cahlik, Tomas
    Hlavacek, Jiri
    Chytilova, Julie
    Markova, Jana
    Reichlova, Natalie
    Svarc, Petr
    PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON MATHEMATICAL METHODS IN ECONOMICS 2006, 2006, : 77 - 97
  • [5] Formal Interpretation of a Multi-Agent Society As a Single Agent
    Bosse, Tibor
    Treur, Jan
    JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2006, 9 (02):
  • [6] Formal specification of beliefs in multi-agent systems
    Benerecetti, M
    Giunchiglia, E
    Serafini, L
    Villafiorita, A
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1999, 14 (10) : 1021 - 1040
  • [7] Formal Verification of Open Multi-Agent Systems
    Kouvaros, Panagiotis
    Lomuscio, Alessio
    Pirovano, Edoardo
    Punchihewa, Hashan
    AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 179 - 187
  • [8] A formal model for situated multi-agent systems
    Weyns, D
    Holvoet, T
    FUNDAMENTA INFORMATICAE, 2004, 63 (2-3) : 125 - 158
  • [9] Formal framework for adaptive multi-agent systems
    Jiao, WP
    Zhou, MH
    Wang, QX
    IEEE/WIC INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2003, : 442 - 445
  • [10] Formal development of multi-agent interaction protocols
    Sadaoui, S
    Chen, B
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTING TECHNIQUES, 2004, : 450 - 455
12345