A computational framework for dialectical reasoning

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A computational framework for dialectical reasoning

Full text

Pdf (849 KB)

Source

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

College Park, Maryland, United States

Pages: 137 - 145

Year of Publication: 1995

ISBN:0-89791-758-8

Authors

Pierre St-Vincent	Département d'informatique et de recherche opérationnelle, Université de Montréal c.p. 6128, Succursale A Montréal (Québec), Canada H3C 3J7
Daniel Poulin	Centre de recherche en droit public, Université de Montréal c.p. 6128, Succursale A Montréal (Québec), Canada H3C 3J7
Paul Bratley	Département d'informatique et de recherche opérationnelle, Université de Montréal c.p. 6128, Succursale A Montréal (Québec), Canada H3C 3J7

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 13, 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/222092.222224 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 89 Alexy, Robert, A Theory of Legal Argumentation, Oxford, at the Clarendon Press, 1989.
	2	Ashley 90 Ashley, K.D., Modeling Legal Argument, MIT Press, Cambridge, Mass., 1990.
	3	Bench-Capon 92 Bench-Capon, T.J.M. and F. Coenen, ~4somorphism and legal knowledge based systems~, Artificial Intelligence and Law, vol. 1 (1992), pp. 65-86.
	4	Bergel 89 Bergel, Jean-Louis, Th~orie g~n&ate du Droit, coll. M~thodes du Droit, Dalloz, Paris, 2nd edition 1989.
	5	Bowen 82 Bowen, Kenneth A. and R.A. Kowalski, ~Amalgamating language and metalanguage in logic programming~), in Logic Programming (APIC Studies in Data Processing 16), Academic Press, 1982.
	6	Gerhard Brewka, Reasoning about priorities in default logic, Proceedings of the twelfth national conference on Artificial intelligence (vol. 2), p.940-945, October 1994, Seattle, Washington, United States
	7	Du Pasquier 88 Du Pasquier, Claude, Introduction ~ Ia th~orie g~n~raIe et ~ la philosophie du Droit, Delachaux et Niestl(~, Paris, 6th edition 1988.
	8	Kathleen Freeman, Toward formalizing dialectical argumentation, University of Oregon, Eugene, OR, 1993
	9	Thomas F. Gordon, The pleadings game: formalizing procedural justice, Proceedings of the 4th international conference on Artificial intelligence and law, p.10-19, June 15-18, 1993, Amsterdam, The Netherlands [doi>10.1145/158976.158978]
	10	Hector Geffner , Judea Pearl, Conditional entailment: bridging two approaches to default reasoning, Artificial Intelligence, v.53 n.2-3, p.209-244, Feb. 1992 [doi>10.1016/0004-3702(92)90071-5]
	11	Jaap Hage, Monological reason-based logic: a low level integration of rule-based reasoning and case-based reasoning, Proceedings of the 4th international conference on Artificial intelligence and law, p.30-39, June 15-18, 1993, Amsterdam, The Netherlands [doi>10.1145/158976.158980]
	12	Hamfelt 89 Andreas Hamfelt and Jonas Barklund, ~Metalevels in legal knowledge and their runnable representation in logic,, in Pre-Proceedings of the Third International Conference Logica Informatica Diritto- Expert Systems in Law; November 1989, Florence, vol 2, pp. 557-576.
	13	Henderson 94 Henderson, Gordon F., ~An introduction to patent Iaw~,, Patent Law in Canada, Carswell, Scarborough, Ontario, 1994, pp. 1-14.
	14	MacCormick 91 MacCormick, D.N. and R.S. Summers, Interpreting Statutes: A Comparative Study, Dartmouth, Aldershot, 1991
	15	Poulin 93a Poulin, Daniel, Interpretation et syst~mes experts en droit ~crit, M~moire de maltrise, Facult~ de droit, Universit~ de Montreal, Montreal, 1993.
	16	Daniel Poulin , Paul Bratley , Jacques Frémont , Ejan Mackaay, Legal interpretation in expert systems, Proceedings of the 4th international conference on Artificial intelligence and law, p.90-99, June 15-18, 1993, Amsterdam, The Netherlands [doi>10.1145/158976.158988]
	17	Daniel Poulin , Pierre St-Vincent , Paul Bratley, Contradiction and Confirmation, Proceedings of the 4th International Conference on Database and Expert Systems Applications, p.502-513, September 06-08, 1993
	18	Prakken 93 Prakken, Henry, Logical Tools for modelling Legal Argument, Phd Thesis, Vrije Universiteit, Amsterdam, 1993.
	19	E. L. Rissland , K. D. Ashley, A case-based system for trade secrets law, Proceedings of the 1st international conference on Artificial intelligence and law, p.60-66, May 27-29, 1997, Boston, Massachusetts, United States [doi>10.1145/41735.41743]
	20	Robert 86 ~Dialectique~, Le grand Robert de Ia tangue frangaise, P, ditions Le Robert, Paris, 1986, p. 508.
	21	Giovanni Sartor, A simple computational model for nonmonotonic and adversarial legal reasoning, Proceedings of the 4th international conference on Artificial intelligence and law, p.192-201, June 15-18, 1993, Amsterdam, The Netherlands [doi>10.1145/158976.159001]
	22	Sartor 94 Sartor, Giovanni, ,A Formal Model of Legal Argumentation~, Ratio Juris, vol. 7, no. 2, july 1994, pp. 177-211.
	23	Uri J. Schild , Shai Herzog, The use of meta-rules in rule based legal computer systems, Proceedings of the 4th international conference on Artificial intelligence and law, p.100-109, June 15-18, 1993, Amsterdam, The Netherlands [doi>10.1145/158976.158989]
	24	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 [doi>10.1145/158976.159010]
	25	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]
	26	Smith 87 Smith, J.C. and C. Deedman, ~The application of expert systems technology to case-based law~), Proceedings of the First International Conference on Artificial Intelligence and Law, Boston, 1987, ACM Press, New York, pp. 85-93.
	27	R. Susskind, Expert systems in law, Oxford University Press, Inc., New York, NY, 1987
	28	F. van Harmelen, A classification of meta-level architectures, Meta-programming in logic programming, MIT Press, Cambridge, MA, 1989
	29	Wr6blewski 88 Wr6blewski, J., ~interpr~tation)~, in A.J. Arneaud (ed.), Dictionnaire encyclop~dique de tMorie et de sociologie du droit, Story-Scientia, Paris, 1988, pp. 199-201.
	30	L. U. Yalçinalp , L. Sterling, An integrated interpreter for explaining Prolog's successes and failures, Meta-programming in logic programming, MIT Press, Cambridge, MA, 1989

CITED BY 2

	Bipin Indurkhya, On modeling creativity in legal reasoning, Proceedings of the 6th international conference on Artificial intelligence and law, p.180-189, June 30-July 03, 1997, Melbourne, Australia
	James Palmer, Legal merit arguments, legal semiotics and the design of legal knowledge-based systems, Proceedings of the 6th international conference on Artificial intelligence and law, p.198-206, June 30-July 03, 1997, Melbourne, Australia