Programming Normative Artifacts with Declarative Obligations and Prohibitions
暂无分享,去创建一个
Mehdi Dastani | Leon van der Torre | John-Jules Ch. Meyer | Leendert van der Torre | Nick A. M. Tinnemeier | M. Dastani | J. Meyer
[1] Victoria Ungureanu,et al. Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems , 2000, TSEM.
[2] Roel Wieringa,et al. Deontic logic in computer science: normative system specification , 1994 .
[3] Frank Dignum,et al. Autonomous agents with norms , 1999, Artificial Intelligence and Law.
[4] Sven Ove Hansson,et al. Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993 , 1994, Bull. IGPL.
[5] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[6] Javier Vázquez-Salceda,et al. From human regulations to regulated software agents’ behavior , 2008, Artificial Intelligence and Law.
[7] Henry Prakken,et al. Contrary-to-duty obligations , 1996, Stud Logica.
[8] Pablo Noriega,et al. Implementing norms in electronic institutions , 2005, AAMAS '05.
[9] Marek J. Sergot,et al. The Deontic Component of Action Language nC+ , 2006, DEON.
[10] Rafael H. Bordini,et al. Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.
[11] Edgar A. Whitley,et al. The Construction of Social Reality , 1999 .
[12] Jürgen Dix,et al. Multi-Agent Programming: Languages, Tools and Applications , 2009 .
[13] Eugénio C. Oliveira,et al. Electronic institutions for B2B: dynamic normative environments , 2008, Artificial Intelligence and Law.
[14] Marco Colombetti,et al. Specifying and Enforcing Norms in Artificial Institutions , 2008, EUMAS.
[15] Frank Dignum,et al. Meeting the Deadline: Why, When and How , 2004, FAABS.
[16] Mehdi Dastani,et al. Roles and norms for programming agent organizations , 2009, AAMAS.
[17] Mehdi Dastani,et al. A Programming Language for Normative Multi-Agent Systems , 2009, Handbook of Research on Multi-Agent Systems.
[18] Viviane Torres da Silva,et al. From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents , 2008, Autonomous Agents and Multi-Agent Systems.
[19] Michael Luck,et al. Norm-based behaviour modification in BDI agents , 2009, AAMAS.
[20] Marc Esteva,et al. AMELI: an agent-based middleware for electronic institutions , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
[21] Guido Boella,et al. Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations , 2008, PRIMA.
[22] Michael Luck,et al. A normative framework for agent-based systems , 2006, Comput. Math. Organ. Theory.