Towards a logical formalization of responsibility

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Towards a logical formalization of responsibility

Full text

Pdf (1.22 MB)

Source

International Conference on Artificial Intelligence and Law archive
Proceedings of the 6th international conference on Artificial intelligence and law table of contents

Melbourne, Australia

Pages: 233 - 242

Year of Publication: 1997

ISBN:0-89791-924-6

Authors

Laurence Cholvy	ONERA-CERT, 2 Av. E. Belin, 31055, Toulouse Cedex, France
Frédéric Cuppens	ONERA-CERT, 2 Av. E. Belin, 31055, Toulouse Cedex, France
Claire Saurel	ONERA-CERT, 2 Av. E. Belin, 31055, Toulouse Cedex, France

Sponsors

SIGART: ACM Special Interest Group on Artificial Intelligence
IAAIL : Intl Asso for Artifical Intel & Law
UMIACS : U of MD Inst for Advanced Comp Studies
University of Melbourne : University of Melbourne

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 17, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/261618.261658 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	All96	L. Allen. From the Fundamental Legal Conceptions of Hohfeld to Legal Relations: Refining the Enrichment of Solely Deontic Legal Relations. In M. Brown and J. Carmo, editors, Deontic Logic, Agency and Normative Systems, Workshops in Computing. Springer, 1996.
	And66	A. Anderson. The formal analysis of normative systems. In N. Rescher, editor, The Logic of Decision and Actions, Pittsburgh, 1966.
	CS96	F. Cuppens , C. Saurel, Specifying a security policy: a case study, Proceedings of the Ninth IEEE Computer Security Foundations Workshop, p.123, March 10-12, 1996
	DS94	J. Dobson and R. Strens. Organisational Requirements Definition for Information Technology Systems. In iCRE, 1994.
	Elg92	D. Elgesem. Action Theory and Modal Logic. PhD thesis, University of Oslo, Norway, 1992.
	JS95	A.J.I. Jones and M. Sergot. Institutionalized power: a formal characterisation. To be published in MEDLAR H special issue of Journal of IGPL, 1995.
	Kan72	S. Kanger. Law and Logic. Theoria, 38, 1972.
	Lin77	L. Lindahl. Position and Change - A Study in Law and Logic, volume 112 of Synthese Library. D. Reidel, Dordrecht, 1977.
	Pör77	I. PSrn. Action Theory and Social Science; Some Formal Models, volume 120 of $ynthese ~~Library. D. Reidel, Dordrecht, 1977.
	SC96	F. Santos and J. Carmo. Indirect Action, Influence and Responsability. In M. Brown and J. Carmo, editors, Deontic Logic, Agency and Normative Systems, Workshops in Computing. Springer, 1996.
	SD93	Ros Strens , John Dobson, How responsibility modelling leads to security requirements, Proceedings on the 1992-1993 workshop on New security paradigms, p.143-149, August 1993, Little Compton, Rhode Island, United States [doi>10.1145/283751.283828]