Social simulation, agents and artificial societies - Extended abstract for an invited talk

被引:0
|
作者
Doran, J [1 ]
机构
[1] Univ Essex, Dept Comp Sci, Colchester CO3 4SQ, Essex, England
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:4 / 5
页数:2
相关论文
共 50 条
  • [21] Some strategies for proving theorems with a model checker abstract of invited talk
    McMillan, KL
    [J]. 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 305 - 306
  • [22] Faster Zero-Knowledge Protocols and Applications (Invited Talk Abstract)
    Orlandi, Claudio
    [J]. INNOVATIVE SECURITY SOLUTIONS FOR INFORMATION TECHNOLOGY AND COMMUNICATION: 10TH INTERNATIONAL CONFERENCE, SECITC 2017, 2017, 10543 : 1 - 11
  • [23] Artificial societies and the social sciences
    Lansing, JS
    [J]. ARTIFICIAL LIFE, 2002, 8 (03) : 279 - 292
  • [24] Implementing closed domain-specific languages - Abstract of invited talk
    Kieburtz, RB
    [J]. SEMANTICS, APPLICATIONS AND IMPLEMENTATION OF PROGRAM GENERATION, PROCEEDINGS, 2000, 1924 : 1 - 2
  • [25] From Typestate Verification to Interpretable Deep Models (Invited Talk Abstract)
    Yahav, Eran
    Fink, Stephen J.
    Dor, Nurit
    Ramalingam, G.
    Geay, Emmanuel
    [J]. PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 4 - 5
  • [26] Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation (Invited Talk)
    Logozzo, Francesco
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 19 - 22
  • [27] INVITED: In Quest of the Next Information Processing Substrate Extended Abstract
    Datta, Suman
    Seabaugh, Alan
    Niemier, Michael
    Raychowdhury, Arijit
    Schlom, Darrell
    Jena, Debdeep
    Xing, Grace
    Wong, H. -S. Philip
    Pop, Eric
    Salahuddin, Sayeef
    Gupta, Sumeet
    Guha, Supratik
    [J]. PROCEEDINGS OF THE 2017 54TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2017,
  • [28] Foundations of Speculative Distributed Computing (Invited Lecture Extended Abstract)
    Guerraoui, Rachid
    [J]. DISTRIBUTED COMPUTING, 2010, 6343 : 204 - 205
  • [29] Social structure in artificial agent societies:: Implications for autonomous problem-solving agents
    Ossowski, S
    García-Serrano, A
    [J]. INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 133 - 148
  • [30] Agents for decentralised process design - Extended abstract
    Stalker, I
    Mehandjiev, N
    Weichhart, G
    Fessl, K
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS, 2004, 3292 : 23 - 25