Permissions and obligations in hierarchical normative systems

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 2003, Pages 109-118

  Boella, Guido ^a   Van Der Torre, Leendert ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DEONTIC LOGIC; EXPLICIT REPRESENTATION; INPUT/OUTPUT LOGIC; NORMATIVE SYSTEM; STATIC AND DYNAMIC;

HIERARCHICAL SYSTEMS;

MULTI AGENT SYSTEMS;

EID: 77957815689     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1047788.1047818     Document Type: Conference Paper

References (33)

1. C. Alchourron, P. Gärdenfors, and D. Makinson. On the logic of theory change. Journal of symbolic logic, 50(2):510-530, 1985.
2. C. E. Alchourron and E. Bulygin. The expressive conception of norms. In R. Hilpinen, editor, New studies in deontic logic, pages 95-124. D. Reidel, Dordrecht, 1981.
3. C. E. Alchourron and D. Makinson. Hierarchies of regulations and their logic. In R. Hilpinen, editor, New studies in deontic logic, pages 125-148. D. Reidel, Dordrecht, 1981.
4. N. Bobbio. Teoria della norma giuridica. Giappichelli, Torino, 1958.
5. N. Bobbio. Norma. In Enciclopedia Einaudi, volume 9, pages 876-907, Torino, 1980. Einaudi.
6. G. Boella and L. Lesmo. A game theoretic approach to norms. Cognitive Science Quarterly, 2(3-4):492-512, 2002.
7. G. Boella and L. van der Torre. Attributing mental attitudes to normative systems. In Proceedings of AAMAS'03, 2003.
8. G. Boella and L. van der Torre. Rational norm creation. In Proceedings of ICAIL'03, Edinburgh, 2003.
9. G. Boella and L. van der Torre. Obligations and permissions as mental entities. In Procs. of IJCAI Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions, Acapulco, 2003.
10. S. Brass. Deduction with supernormal defaults. In Nonmonotonic and inductive logics, LNAI 659, pages 153-174. Springer, Berlin, 1993.
11. G. Brewka and T. Eiter. Prioritizing default logic. In Intellectics and Computational Logic, pages 27-45. Kluwer, 2000.
12. M. A. Brown. Conditional obligation and positive permission for agents in time. Nordic Journal of Philosophical Logic, 5(2):83-112, 2000.
13. E. Bulygin. Permissive norms and normative systems. In A. Martino and F. Socci Natali, editors, Automated Analysis of Legal Texts, pages 211-218. Publishing Company, Amsterdam, 1986.
14. R. Fagin and J. Y. Halpern. Belief, awareness and limited reasoning. Artificial Intelligence, 34:39-76, 1988.
15. H. P. Grice. Meaning. Philosophical Review, 56:377-388, 1957.
16. R. Guastini. Teoria e dogmatica delle fonti. Giuffrè, Milano, 1998.
17. R. A. Guibourg and D. Mendonca. Permesso, garanzie, e libertà. Analisi e Diritto, pages 269-301, 1995.
18. B. Hansson. An analysis of some deontic logics. Nôus, 3:373-398, 1969.
19. D. Lewis. A problem about permission. In E. Saarinen, editor, Essays in Honour of Jaakko Hintikka, pages 163-175. D. Reidel, Dordrecht, 1979.
20. D. Makinson and L. van der Torre. Input-output logics. J. of Philosophical Logic, 29:383-408, 2000.
21. D. Makinson and L. van der Torre. Constraints for input-output logics. Journal of Philosophical Logic, 30(2):155-185, 2001.
22. D. Makinson and L. van der Torre. Permissions from an input-output perspective. Journal of Philosophical Logic, To appear.
23. T. Mazzarese. Deontic logic as logic of legal norms: Two main sources of problems. Ratio Juris, 4:374-392, 1991.
24. T. Mazzarese. Permesso forte e permesso debole: note a margine. Analisi e diritto, 2000.
25. K. Opalek and J. Wolenski. Normative systems, permission and deontic logic. Ratio Juris, 4:334-348, 1991.
26. F. Poggi. Obbligatorio implica permesso. Analisi e diritto, 2000.
27. J. L. Pollock. Defeasible reasoning. Cognitive Science, 11:481-518, 1987.
28. H. Prakken. Logical tools for modelling legal argument. Kluwer Academic Publisher, Dordrecht, 1997.
29. A. Ross. Directives and norms. Routledge and Kegan Paul., London, 1968.
30. L. Royakkers and F. Dignum. The logic of enactment. In J. Zeleznikow, editor, Procs. of 6th International conference on AI and Law. ACM, Melbourne, 1997.
31. B. Verheij. Legal decision making as dialectical theory construction with argumentations schemes. In Procs. of ICAIL 01, S. Louis (MI), 2001.
32. G. H. von Wright. On the logic of negation. Societas Scientiarum Fennica, Helsinki, 1959.
33. G. H. von Wright. Norm and Action. A logical Inquiry. Routledge and Kegan Paul, London, 1963.