The systematization of legal meta-inference

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The systematization of legal meta-inference

Full text

Pdf (945 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: 266 - 275

Year of Publication: 1995

ISBN:0-89791-758-8

Author

Hajime Yoshino

Meiji Gakuin University, Faculty of Law, 1-2-37 Shirokanedai, Minato-ku, 108 Tokyo

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

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

	Arima 1988	Arima and Sate, ~lon-monotonic reasoning' (Japanese), Fuchi (ed.), Knowledge Progranmting (Japanese), Kyoritsu Shuppan 1988, pp. 189ff.
	Harmelen 1991	Frank Van Harmelen, Meta-Level Inference Systems, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1991
	Jackson 1989	P. Jackson , H. Reichgelt , F. van Harmelen, Logic-based knowledge representations, MIT Press, Cambridge, MA, 1989
	Kelsen 1960	Kelsen, Hans, Reine Rechtslehre, (2.Aufl.) 1960; (translated by Max Knight), Pure Theory of Law, 1967.
	Kowalski 1986	R Kowalski , M Sergot, A logic-based calculus of events, New Generation Computing, v.4 n.1, p.67-95, 1986 [doi>10.1007/BF03037383]
	Kowalski 1990	Robert A. kowalski , Fariba Sadri, Logic programs with exceptions, Logic programming, MIT Press, Cambridge, MA, 1990
	McCarthy 1986	John McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence, v.28 n.1, p.89-116, Feb. 1986 [doi>10.1016/0004-3702(86)90032-9]
	McDermott 1982	Drew McDermott, Nonmonotonic Logic II: Nonmonotonic Modal Theories, Journal of the ACM (JACM), v.29 n.1, p.33-57, Jan. 1982 [doi>10.1145/322290.322293]
	Poole 1988	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]
	Prakken 1993	Henry Prakken, A logical framework for modelling legal argument, Proceedings of the 4th international conference on Artificial intelligence and law, p.1-9, June 15-18, 1993, Amsterdam, The Netherlands [doi>10.1145/158976.158977]
	Sartor 1993	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]
	Yoshino 1986a	H Yoshino , S Kagayama , S Ohta , M Kitahara , H Kondoh , M Nakakawaji , K Ishimaru , S Takao, Legal expert system LES-2, The 5th Conference on Logic programming '86, p.34-45, July 1987, Tokyo, Japan
	Yoshino 1986b	Yoshino, H. (ed.), Foundations of LegaI Expert Systems (Japanese), Gyosei, 1986.
	Yoshino 1988	Yoshino, H. & Kitahara M., LES- Project, Fiedler, H. ~t.al. (ed.), Expert Systems in Law (Neue Methoden im Recht Band 4), Attempto 1988,' pp.47-65.
	Yoshino 1990	Yoshino. H., Research Report on the Analysis of the Structure of the Legal Knowledge and on the Construction of the Legal Knowledge Base System (1) (Japanese), The Mechanical Social Systems Foundation, 1990.
	Yoshino 1991a	Yoshino, H., The Research Report on the Analysis of the Structure of the Legal Knowledge and on the Construction of the Legal Knowledge Base System(2) (Japanese), The Mechanical Social Systems Foundation, 1990.
	Yoshino 1991b	Yoshino, H., The Research Report on the Development of the Reasoning Engine of the Legal Experts System and on Its Proof(2) (Japanese), The Mechanical Social Systems Foundation, 1991.
	Yoshino 1992	Yoshino, H. and Kakuta, T., in: Yoshino, H. (ed.), The Knowledge Representation of Legal Expert System LES-3.3 with Legal Metainference, Yoshino, H. (ed.), Legal Knowledge and Legal Reasoning Systems (Prec. of The 6th International Symposium of Legal Expert System Association), LESA,. 1992, pp.l-9.
	Yoshino 1993	Hajime Yoshino , Makoto Haraguchi , Seiichiro Sakurai , Sigeru Kagayama, Towards a legal analogical reasoning system: knowledge representation and reasoning methods, Proceedings of the 4th international conference on Artificial intelligence and law, p.110-116, June 15-18, 1993, Amsterdam, The Netherlands [doi>10.1145/158976.158990]
	Yoshino 1994b	Yoshino, H., Representation of Legal Knowledge by Logic Flowchart and CPF, 1COT TechnicalMemorandum: TM~1298, ICOT, 1994, pp. 143-157.
	Yoshino 1994c	Yoshino, H., Representation of Legal Knowledge by Compound Predicate Formula, Pre-Proc. of the Workshop on Legal Application of Logic Progranuning (ICLP '94), pp. 128-137.
	Yoshino 1994d	Yoshino, H., The Knowlexlg~ Structure of Legal Meta-infcrcnce and its Systematization, Prec. of the Workshop on Application of Logic Programming to Legal Reasoning, ICOT.
	Yoshino 1994e	Yoshino, H., The Construction of Legal Knowledge-Base in terms of Legal Meta-inference, Prec. of the Symposium on Development of Legal Expert System '94, (LESA) 1994, pp.48-64.

CITED BY 3

	Hajime Yoshino, Research abstracts 1: Logical structure of change of legal relations and its representation in legal knowledge base system, Proceedings of the 11th international conference on Artificial intelligence and law, June 04-08, 2007, Stanford, California
	Bart Verheij , Jaap Hage , Arno R. Lodder, Logical tools for legal argument: a practical assessment in the domain of tort, Proceedings of the 6th international conference on Artificial intelligence and law, p.243-249, June 30-July 03, 1997, Melbourne, Australia
	Ronald P. Loui , Jeff Norman , Joe Altepeter , Dan Pinkard , Dan Craven , Jessica Linsday , Mark Foltz, Progress on Room 5: a testbed for public interactive semi-formal legal argumentation, Proceedings of the 6th international conference on Artificial intelligence and law, p.207-214, June 30-July 03, 1997, Melbourne, Australia