The structure of norm conditions and nonmonotonic reasoning in law

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The structure of norm conditions and nonmonotonic reasoning in law

Full text

Pdf (1.12 MB)

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: 155 - 164

Year of Publication: 1991

ISBN:0-89791-399-X

Author

Giovanni Sartor

Cirfid, University of Bologna, Via Galliera 3/5, 40100, Bologna

Sponsor

SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

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

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.112665 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	Alexy R. 1978. Theorie der juristischen Argum~ation. Frankfurt: Suhxkamp.
	2	Allen, L.E. 1982. Towards a Normalized Language to Clarify the Structure of Legal Discourse. In Deoraic Logic, Computational Linguistics and Legal Informations Systems, edited by A.A. Martino, 349-407. Amsterdam: North Holland.
	3	Allen, L.E., and C.S. Saxon. 1989. Relationship of Expert Systems to the Operations of a Legal System, In Pre-proceeding of the III international conference on Log ica lnf ormatica D iri tto, edited by A.A. Martino, Appendix, 1-15. Fixenze: Consiglio nazionale delle ricerche.
	4	Gelfonck M., and V. Lifschitz. 1988. The stable model semantics for Logic Programm/ng. In Proceeding of the Fifth International Conference and Symposium on Logic Programming, edited by R.A. Kowalski and K.A. Bowen. Cambridge (Massachusetts): Mit Press. 1070-1080.
	5	Michael Gelfond , Vladimir Lifschitz, Logic programs with classical negation, Logic programming, MIT Press, Cambridge, MA, 1990
	6	Gordon, T.F. 1988. The Importance of Nonmontonicity for Legal Reasoning. In Expert Systems in Law: impacts on Legal Theory and Computer Law, edited by H. Fiedler, F. Haft, and R. Traunmaller, 111-126. Ttlbingen: Attempto.
	7	T. F. Gordon, Issue spotting in a system for searching interpretation spaces, Proceedings of the 2nd international conference on Artificial intelligence and law, p.157-164, May 1989, Vancouver, British Columbia, Canada [doi>10.1145/74014.74035]
	8	Hare R.M. 1962. Freedom and Reason. Oxford: Claredon Press.
	9	Jones, A.J., and I. P6rn, 1985, Ideality, Subideality and Deontic Logic, Synthese 275-290.
	10	Kelsen, H. 1934. Reine Rechtslehre. Einleitung in die rechtswissenschaj~liche Problematilc. Leipzig: Franz Deuticke.
	11	Kelsen, H. 1960. Reine Rechtslehre. Wien: Franz Deuticke.
	12	Eshghi, K., and R.A. Kowalski. 1989. Abduction Compared with Negation by Failure. In Proceedings of the Sixth International Conference on Logic Programming, 234-254.
	13	Robert A. kowalski , Fariba Sadri, Logic programs with exceptions, Logic programming, MIT Press, Cambridge, MA, 1990
	14	Levesque H. 1989. All I Know: A Study in Autoepisternic Logic. KKR-TR-89-3.
	15	Robert C. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence, v.25 n.1, p.75-94, Jan. 1985 [doi>10.1016/0004-3702(85)90042-6]
	16	McCaxty, L.T. 1986. Permissions and Obligations: An Informal Introduction. in Automated Analysis of Legal Texts, edited by A.A. Martino, and F. Socci Natalk 307-337. Amsterdam: North Holland.
	17	L. Thorne McCarty, Clausal intuitionistic logic I. Fixed-point semantics, Journal of Logic Programming, v.5 n.1, p.1-34, March 1988 [doi>10.1016/0743-1066(88)90005-2]
	18	L. Thorne McCarty, Clausal intuitionistic logic II. Tableau proof procedures, Journal of Logic Programming, v.5 n.2, p.93-132, June 1988 [doi>10.1016/0743-1066(88)90014-3]
	19	L. T. McCarty, A language for legal Discourse I. basic features, Proceedings of the 2nd international conference on Artificial intelligence and law, p.180-189, May 1989, Vancouver, British Columbia, Canada [doi>10.1145/74014.74037]
	20	McCarty, L.T., and W.W. Cohen. 1990. The Case for Explicit Exceptions. Paper presented to the Workshop on Logic Programming and Nonmonotonic Reasoning, NACLP 90, Austin ('Fexa~).
	21	David Poole, A logical framework for default reasoning, Artificial Intelligence, v.36 n.1, p.27-47, August 1988 [doi>10.1016/0004-3702(88)90077-X]
	22	Reiter, R. 1980. A Logic for Default Reasoning. Artificial Intelligence 13: 81-132.
	23	R. Reiter , G. Criscuolo, On interacting defaults, Readings in nonmonotonic reasoning, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1987
	24	T. Routen, Hierarchically organised formalisations, Proceedings of the 2nd international conference on Artificial intelligence and law, p.242-250, May 1989, Vancouver, British Columbia, Canada [doi>10.1145/74014.74045]
	25	Sacco, R. 1957. Presunzione, natura costitutiva od impeditiva det fatto, onere della prova (aspetti diversi di un fenomeno unico o fenomem autonomi). Rivista di diritto civile 3: 399-423.
	26	Sergot, M.J. 1983. A Query-the-User Facility for Logic Programming. In Integrated Interactive Computer Systems, edited by P. Degano, and E. Sandewall, 2741. Amsterdam: North Holland.
	27	Sergot, M.J., and Y.A. Cosmadopoulos, 1991. The Logic Programming System Sidlagi: Design and Implementation, Technical Retx~ London: Imperial College.
	28	M. J. Sergot , F. Sadri , R. A. Kowalski , F. Kriwaczek , P. Hammond , H. T. Cory, The British Nationality Act as a logic program, Communications of the ACM, v.29 n.5, p.370-386, May 1986 [doi>10.1145/5689.5920]

CITED BY 6

	Pierre-Yves Schobbens, A logic for legal hierarchies, Proceedings of the 4th international conference on Artificial intelligence and law, p.272-281, June 15-18, 1993, Amsterdam, The Netherlands
	L. Thorne McCarty, Some arguments about legal arguments, Proceedings of the 6th international conference on Artificial intelligence and law, p.215-224, June 30-July 03, 1997, Melbourne, Australia
	Layman E. Allen , Charles S. Saxon, Achieving fluency in modernized and formalized Hohfeld: puzzles and games for the LEGAL RELATIONS Language, Proceedings of the 6th international conference on Artificial intelligence and law, p.19-28, June 30-July 03, 1997, Melbourne, Australia
	Katsumi Nitta , Stephen Wong , Yoshihisa Ohtake, A computational model for trial reasoning, Proceedings of the 4th international conference on Artificial intelligence and law, p.20-29, June 15-18, 1993, Amsterdam, The Netherlands
	Ulrike Hahn , Nick Chater, Understanding Similarity: A Joint Project for Psychology,Case-Based Reasoning, and Law, Artificial Intelligence Review, v.12 n.5, p.393-427, Oct. 1998
	Wamberto W. Vasconcelos , Martin J. Kollingbaum , Timothy J. Norman, Normative conflict resolution in multi-agent systems, Autonomous Agents and Multi-Agent Systems, v.19 n.2, p.124-152, October 2009