From abstract to concrete norms in agent institutions

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3228, Issue , 2004, Pages 12-29

  Grossi, Davide ^a   Dignum, Frank ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; SOCIETIES AND INSTITUTIONS;

FORMALIZATION; OPERATIONALIZATION; TRANSLATION RULES;

INTELLIGENT AGENTS;

EID: 26444473271     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30960-4_2     Document Type: Conference Paper

References (28)

1. C. E. Alchourrón and E. Bulygin. Normative Systems. Springer Verlag, Wien, 1986.
2. G. Antoniou. Nonmonotonic Reasoning. MIT Press, Cambridge, 1997.
3. S. Buvač, S. V. Buvač, and I. A. Mason. The semantics of propositional contexts. Proceedings of the eight ISMIS. LNAI-869, pages 468-477, 1994.
4. S. V. Buvač and I. A. Mason. Propositional logic of context. Proceedings AAAI'93, pages 412-419, 1993.
5. F. de Jonge, W. Wiegerinck, E. Akay, M. Nijman, J. Neijt, and A. van Beek. Proanita: A multi-agent solution for legitimate information retrieval. In Proceedings BNAIC'03, Nijmegen, pages 453-454, 2003.
6. F. Dignum. Agents, markets, institutions, and protocols. In Agent Mediated Electronic Commerce, The European AgentLink Perspective., pages 98-114. Springer-Verlag, 2001.
7. F. Dignum. Abstract norms and electronic institutions. In Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02), Bologna, pages 93-104, 2002.
8. Wet politieregisters (dutch police records act). Staadsblad, 1990.
9. D.M. Gabbay, A. Kurucz, F. Welter, and M. Zakharyaschev. Many-dimensional modal logics. Theory and applications. Elsevier, 2003.
10. A. I. Goldman. A Theory of Human Action. Princeton University Press, Princeton, 1976.
11. G. Governatori, J. Gelati, A. Rotolo, and G. Sartor. Actions, institutions, powers. preliminary notes. In International Workshop on Regulated Agent-Based Social Systems: Theories and Applications(RASTA'02), pages 131-147, 2002.
12. H. L. A. Hart. The Concept of Law. Clarendon Press, Oxford, 1961.
13. A. J. I. Jones and M. Sergot. Deontic logic in the representation of law: towards a methodology. Artificial Intelligence and Law 1, 1992.
14. A. J. I. Jones and M. Sergot. On the characterization of law and computer systems. Deontic Logic in Computer Science, pages 275-307, 1993.
15. A. Lomuscio and M. Sergot. Deontic intepreted systems. Studia Logica 75, pages 63-92, 2003.
16. Modelreglement register zware criminaliteit. Sttatscourant, 2002.
17. D. C. North. Institutions, Institutional Change and Economic Performance. Cambridge University Press, Cambridge, 1990.
18. L. Serafini P. Bouquet, wo formalizations of context: a comparison. Modeling and Using Contexts. LNAI 2116, pages 468-477, 2001.
19. A. Peczenik. On Law and Reason. Kluwer, Dordrecht, 1989.
20. H. Prakken. A logical framework for modeling legal argument. In Proceedings of the Fourth International Conference on Artificial Intelligence and Law. ACM Press, 1993.
21. H. Prakken. Two approaches to the formalization of defeasible deontic reasoning. Studia Logica 57, 1996.
22. H. Prakken. Logical Tools for Modelling Legal Arguments. Kluwer, 1997.
23. H. Prakken and G. Vreeswijk. Logics for defeasible argumentation. Handbook of Philosophical Logic vol. IV, pages 218-319, 2002.
24. L. Royakkers and F. Dignum. Defeasible reasoning with legal rules. Defeasible Deontic Logic, pages 263-286, 1997.
25. J. Searle. The Construction of Social Reality. Free Press, 1995.
26. Ley 30/1979, de 27 de octubre, sobre extracción y transplante de órganos. Boletín Oficial del Estado 266, 29th april 1986.
27. R. Stalnaker. On the representation of context. In Journal of Logic, Language, and Information 7, pages 3-19. Kluwer, 1993.
28. G. H. Von Wright. Deontic logic. Mind 60, pages 1-15, 1951.