Order:
  1.  21
    A framework for model checking institutions.Francesco Vigano - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 129--145.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  15
    The Remains of Exceptionalism in Criminal Law.Francesco Viganò - 2023 - Criminal Law and Philosophy 17 (1):71-81.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  56
    Artificial institutions: A model of institutional reality for open multiagent systems. [REVIEW]Nicoletta Fornara, Francesco Viganò, Mario Verdicchio & Marco Colombetti - 2008 - Artificial Intelligence and Law 16 (1):89-105.
    Software agents’ ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, used to describe the context of the interaction and the communication language the agents can use. Agents’ interactions ought to allow for reliable expectations on the possible evolution of the system; however, in open systems interacting agents may not conform to predefined specifications. A possible solution is to define interaction environments including a normative component, with (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations