Order:
  1.  30
    Executable Specification of Open Multi-Agent Systems.Alexander Artikis & Marek Sergot - 2010 - Logic Journal of the IGPL 18 (1):31-65.
    Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent’s internal state, are often classified as ‘open’. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable specification of open (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  12
    The Open Agent Society: Retrospective and Prospective Views.Jeremy Pitt & Alexander Artikis - 2015 - Artificial Intelligence and Law 23 (3):241-270.
    It is now more than ten years since the EU FET project ALFEBIITE finished, during which its researchers made original and distinctive contributions to formal models of trust, model-checking, and action logics. ALFEBIITE was also a highly inter-disciplinary project, with partners from computer science, philosophy, cognitive science and law. In this paper, we reflect on the interaction between computer scientists and information and IT lawyers on the idea of the ‘open agent society’. This inspired a programme of research whose investigation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  1
    An Executable Specification of a Formal Argumentation Protocol.Alexander Artikis, Marek Sergot & Jeremy Pitt - 2007 - Artificial Intelligence 171 (10-15):776-804.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation