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 条
  • [1] Verification of Agent-Based Artifact Systems
    Belardinelli, Francesco
    Lomuscio, Alessio
    Patrizi, Fabio
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2014, 51 : 333 - 376
  • [2] Verification and Planning in Agent-Based Systems
    Amato, Flora
    Mazzeo, Antonino
    Moscato, Francesco
    Pianese, Dario
    2015 11TH INTERNATIONAL CONFERENCE ON SIGNAL-IMAGE TECHNOLOGY & INTERNET-BASED SYSTEMS (SITIS), 2015, : 782 - 788
  • [3] Verification of Information Flow in Agent-Based Systems
    Sabri, Khair Eddin
    Khedri, Ridha
    Jaskolka, Jason
    E-TECHNOLOGIES-INNOVATION IN AN OPEN WORLD, 2009, 26 : 252 - 266
  • [4] Decidable Verification of Agent-Based Data-Aware Systems
    Belardinelli, Francesco
    Malvone, Vadim
    PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2019), 2019, 11873 : 52 - 68
  • [5] Agent Verification Protocol in Agent-based IDS
    Nasir, LuqmanulHakim Mohd
    Seman, Kamaruzzaman
    Saudi, Madihah Mohd
    8TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY WORKSHOPS: CIT WORKSHOPS 2008, PROCEEDINGS, 2008, : 294 - 299
  • [6] Agent-based schedule validation and verification
    Budenske, J
    Newhouse, J
    Bonney, J
    Wu, J
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 616 - 621
  • [7] Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration
    Klimek, Radoslaw
    Faber, Lukasz
    Kisiel-Dorohinicki, Marek
    MAN-MACHINE INTERACTIONS 3, 2014, 242 : 361 - 368
  • [8] Agent-Based Autonomous Result Verification Mechanism in Desktop Grid Systems
    Kim, HongSoo
    Gil, JoonMin
    Hwang, ChongSun
    Yu, HeonChang
    Joung, SoonYoung
    AGENTS AND PEER-TO-PEER COMPUTING, 2010, 5319 : 72 - +
  • [9] Agent-based simulation and child protection systems: Rationale, implementation, and verification
    Wulczyn, Fred
    Kaligotla, Chaitanya
    Hummel, John
    Wagner, Amanda
    Macleod, Alex
    CHILD ABUSE & NEGLECT, 2024, 147
  • [10] Practical verification of decision-making in agent-based autonomous systems
    Dennis, Louise A.
    Fisher, Michael
    Lincoln, Nicholas K.
    Lisitsa, Alexei
    Veres, Sandor M.
    AUTOMATED SOFTWARE ENGINEERING, 2016, 23 (03) : 305 - 359
12345