Distinguishing different roles in normative reasoning

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Distinguishing different roles in normative reasoning

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: 225 - 232

Year of Publication: 1997

ISBN:0-89791-924-6

Authors

Leendert W. N. van der Torre	Max Planck Institute for Computer Science, Im Stadwald, D-66123 Saarbrücken
Yao-Hua Tan	EURIDIS, Erasmus University Rotterdam, PO Box 1738, 300O DR Rotterdam

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): 0, Downloads (12 Months): 7, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues peer to peer

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.261657 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.

	AGM85	C.E. Alchourr6n, P. G~denfors, and D. Makin* son. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, pages 510-530, 1985.
	And58	A.R. Anderson. A reduction of deontic logic to alethic modal logic. Mind, 67:100-103, 1958.
	BC94	T. Bench-Capon. Deontic logic: Who needs it? in Proceedings of workshop 'Artificial Normative Reasoning' of the Eleventh European Conference on Artificial Intelligence (EGAI'9d), pages 69- 78, Amsterdam, 1994.
	Bou94	C. Boutilier. Toward a logic for qualitative decision theory. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'9,{), pages 75-86, San Francisco, CA, 1994. Morgan Kaufllqalln.
	Che80	B.F. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.
	dKMR90	Johan de Kleer , Alan K. Mackworth , Raymond Reiter, Characterizing Diagnoses, Proceedings of the International Workshop on Expert Systems in Engineering, Principles and Applications, p.1-15, September 24-26, 1990
	DP95	D. Dubois and H. Prade. Qualitative decision theory. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IjCAI'95), pages 1924-1930. Morgan Kaufman, 1995.
	Han71	B. Hansson. An analysis of some deontic logics. In R. Hilpinen, editor, Deontic Logic: lntroductionary and Systematic Readings, pages 121- 147. D. Reidel Publishing Company, Dordrecht. Holland, 1971.
	JS92	A.J.I. Jones and M. Sergot. Deontic logic in the representation of law: Towards a methodology. Artificial Intelligence and Law, 1:45-64, 1992.
	Js93	Andrew J. I. Jones , Marek Sergot, On the characterization of law and computer systems: the normative systems perspective, Deontic logic in computer science: normative system specification, John Wiley and Sons Ltd., Chichester, UK, 1994
	KM92	H. Katsuno and A.O. Mendelzon. On the difference between updating a belief base and revising it. In P. G'~denfors, editor, Belief Revision, pages 183-203. Cambridge University Press, 1992.
	Lan96	J. Lang. Conditional desires and utilities - an alternative approach to qualitative decision theory. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAi'96), pages 318-322, 1996.
	McC94	L.T. McCarty. Modalities over actions: 1. model theory. In Proceedings of the Fourth International Conference on Principles of Knowl. edge Representation and Reasoning (KR'94), pages 437-448, San Francisco, CA, 1994. Morgan Kaufmann.
	Pea93	J. Pearl. From conditional oughts to qualitative decision theory. In D. Heckerman and A. Mamdani, editors, Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (LrAI-9$), pages 12-20, San Mateo, CA, 1993. Morgan Kaufmarm.
	Rei87	R Reiter, A theory of diagnosis from first principles, Artificial Intelligence, v.32 n.1, p.57-95, April 1987 [doi>10.1016/0004-3702(87)90062-2]
	RF96a	P. Ramos and J.L. Fiadeiro. A deontic logic for diagnosis of organisational process design. Technical report, Department of Inforrnatics, Faculty of Sciences, University of Lisbon, 1996.
	RF96b	P. Ramos and J.L. Fiadeiro. Diagnosis in organisational process design. Technical report, Department of Informatics, Faculty of Sciences, University of Lisbon, 1996.
	TH96	Richmond H. Thomason , John F. Horty, Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision, Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, p.229-250, March 17-20, 1996
	Tho81	R. Thomason. Deontic logic as founded on tense logic. In R. Hilpinen, editor, New Studies in Deontic Logic, pages 165-176. D. Reidel, 1981.
	TvdT94a	Y.-H. Tan and L.W.N. van der Torre. DIODE: Deontic logic based on diagnosis from first principles. In Proceedings of the Workshop 'Artificial normative reasoning' of the Eleventh European Conference on Artificial Intelligence (ECAi'9j), pages 21-39, Amsterdam, 1994.
	TvdT94b	Y.-H. Tan and L.W.N. van der Torre. Representing deontic reasoning in a diagnostic framework. in Proceedings of the Workshop on Legal A ppli. cations of Logic Programming of the Eleventh International Conference on Logic Pro#ramming (IC~P'9J), pages 138-150, Genoa, Italy, 1994.
	TvdT96	Y.-tt. Tan and L.W.N. van der Torre. How to combine ordering and minimizing in a deontic logic based on preferences, in Deontic Logic, Agency and Normative Systems. Proceedings of the Aeon'96. Workshops in Computing, pages 216-232. Springer Verlag, 1996.
	vdT94	L.W.N. van der TorTe. Violated obligations in a defeasible deontic logic. In Proceedings of the Eleventh European Conference on Artificial Intelligence (EC'AI'gd), pages 371-375, John Wiley & Sons, 1994.
	vdTT95	L.W.N. van der Torre and Y.H. Tan. Cancelling and overshadowing: two types of defeaslbility in defeasible deontic logic. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAl'95). Morgan Kaufman, 1995.
	vdTT97a	L.W.N. van der Torre and Y.H. Tan. The many faces of defeasibility in defeasible deontic logic. In D. Nute, editor, Defeasible Deontic Logic, Kluwer, 1997.
	vdTT97b	L.W.N. van der Torre and Y.H. Tan. Prohairetic deontic logic and qualitative decision theory. In Proceedings of AAAI Spring Symposium on Qualitative Preferences in Deliberation and Practical Reasoning, 1997. To appear.