Verification of agent-based artifact systems

被引：0
作者：
20153401193365
机构：
[1] Belardinelli, Francesco
[2] Lomuscio, Alessio
[3] Patrizi, Fabio
来源：
| 1600年 / AI Access Foundation卷 / 51期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
相关论文
共 50 条
  • [41] Distributed simulation of agent-based systems
    Theodoropoulos, G
    Logan, B
    DEVELOPMENTS IN COMPUTATIONAL MECHANICS WITH HIGH PERFORMANCE COMPUTING, 1999, : 147 - 153
  • [42] Agent-Based Autonomous Examination Systems
    Gawali, R. D.
    Meshram, B. B.
    IAMA: 2009 INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT & MULTI-AGENT SYSTEMS, 2009, : 7 - +
  • [43] Agent-based computing from multi-agent systems to agent-based models: a visual survey
    Niazi, Muaz
    Hussain, Amir
    SCIENTOMETRICS, 2011, 89 (02) : 479 - 499
  • [44] Security in agent-based automation systems
    Khan, Basit A.
    Mad, Joergen
    Treytl, Albert
    ETFA 2007: 12TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOLS 1-3, 2007, : 768 - 771
  • [45] Affordability and Paradigms in Agent-Based Systems
    Barbat, Boldur E.
    Moiceanu, Andrei
    Plesca, Sorin
    Negulescu, Sorin C.
    COMPUTER SCIENCE JOURNAL OF MOLDOVA, 2007, 15 (02) : 178 - 201
  • [46] Design paradigms in agent-based systems
    Zapf, M
    DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, 1997, : 101 - 107
  • [47] Agent-based systems for human learners
    Sklar, Elizabeth
    Richards, Debbie
    KNOWLEDGE ENGINEERING REVIEW, 2010, 25 (02) : 111 - 135
  • [48] Agent-based computing from multi-agent systems to agent-based models: a visual survey
    Muaz Niazi
    Amir Hussain
    Scientometrics, 2011, 89 : 479 - 499
  • [49] TOWARDS AGENT-BASED MANUFACTURING SYSTEMS
    Zajac, Jerzy
    Chwajol, Grzegorz
    ANNALS OF DAAAM FOR 2008 & PROCEEDINGS OF THE 19TH INTERNATIONAL DAAAM SYMPOSIUM, 2008, : 1541 - 1542
  • [50] A security framework for agent-based systems
    Bentahar, Jamal
    Toni, Francesca
    Meyer, John-Jules Ch.
    Labban, Jihad
    INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, 2007, 3 (04) : 341 - +
12345