Norms and formalization

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Norms and formalization

Full text

Pdf (945 KB)

Source

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

Oxford, England

Pages: 175 - 184

Year of Publication: 1991

ISBN:0-89791-399-X

Author

Henning Herrestad

NRCCL, Niels Juelsgt 16, N-0272 Oslo 2

Sponsor

SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 14, Citation Count: 2

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/112646.112667 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.

	1	M. Belzer, Legal reasoning in 3-D, Proceedings of the 1st international conference on Artificial intelligence and law, p.155-163, May 27-29, 1997, Boston, Massachusetts, United States [doi>10.1145/41735.41753]
	2	T. J. M. Bench-Capon, Deep models, normative reasoning and legal expert systems, Proceedings of the 2nd international conference on Artificial intelligence and law, p.37-45, May 1989, Vancouver, British Columbia, Canada [doi>10.1145/74014.74020]
	3	Chellas, Brian F.: 1980, Modal Logic, an introduction, Cambridge U.P., Cambridge.
	4	Codd, A.J.: 1989: The role of deontic logic in legal knowledge representation, M.Sc.thesis, Imperial College, London.
	5	James R. Delgrande, An approach to default reasoning based on a first-order conditional logic: revised report, Artificial Intelligence, v.36 n.1, p.63-90, August 1988 [doi>10.1016/0004-3702(88)90079-3]
	6	al-Hibri, Azizah: 1978, Deontic Logic: A Comprehensive Appraisal and a New Proposal, University Press of America, Washington D.C.
	7	Herrestad, Henning: 1990, Norms and Formalization, CompLex 12/90, TANO publishers, Oslo.
	8	Jones, Andrew J.i.: 1990, "Deontic Logic and Legal Knowledge Representation", Ratio Juris Vol. 3 No. 2 July 1990.
	9	Jones, A.J.I. & POrn, I: 1985, "Ideality, Sub-ldeality and Deontic Logic", Synthese 65.
	10	Jones, Andrew j.I. & P0rn,: 1986, "Ought and Must", Synthese 66.
	11	R. Kowalski, The treatment of negation in logic programs for representing legislation, Proceedings of the 2nd international conference on Artificial intelligence and law, p.11-15, May 1989, Vancouver, British Columbia, Canada [doi>10.1145/74014.74016]
	12	Lewis, David:1974, "Scmantical Analysis for Dyadic Deontic Logic", in S. Stenlund (ed.), Logical Theory and Semantic Analysis, R~idel publ., D. Dordrecht, Holland.
	13	Loewer, Barry & Belzcr, Marvin: 1983, "Dyadic Deontic Detachment", Synthese 54.
	14	McCarty, L. Thorne: I983, "Permissions and Obligations", IJCAI'83 proceedings.
	15	McCarty, L. Thorne: 1986, "Permissions and Obligations - an informal introduction", in Martino A.A. & Socci N.F. (eds.), Automated Analysis of Legal Texts, North- Holland publishers, Amsterdam.
	16	Sergot, : 1982, "Prospects for Representing the Law as Logic Programs", Clark & Tamlund (eds), Logic Programming, Academic Press, London.
	17	M. Sergot, Representing legislation as logic programs, Machine intelligence 11, Oxford University Press, Inc., New York, NY, 1988
	18	Thomason, Richmond H.: 1981, "Deontic Logic as Founded on Tense Logic", Risto Hilpinen (ed), New Studies in Deontic Logic, Dordrecht.
	19	van Eck, Job A.: 1982, "A system of temporally relative modal and deontic predicate logic and its philosophical applications", Logique et Analyse 99.
	20	Lincoln A. Wallen, Automated proof search in non-classical logics: efficient matrix proof methods for modal and intuitionistic logics, 1987
	21	qvist, Lennart & Hoepelman, Jaap' 1981, "Some Theorems About a "Tree" System of Deontic Tense Logic", Risto Hilpinen (ed), New Studies in Deontic Logic, Dordrecht.

CITED BY 2

	Tina Smith, Violation of norms, Proceedings of the 4th international conference on Artificial intelligence and law, p.60-65, June 15-18, 1993, Amsterdam, The Netherlands
	Marco Alberti , Federico Chesani , Marco Gavanelli , Evelina Lamma , Paola Mello , Marco Montali , Paolo Torroni, Expressing and Verifying Business Contracts with Abductive Logic Programming, International Journal of Electronic Commerce, v.12 n.4, p.9-38, Number 4 / Summer 2008