Separating world and regulation knowledge

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Separating world and regulation knowledge: where is the logic

Full text

Pdf (642 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: 92 - 97

Year of Publication: 1991

ISBN:0-89791-399-X

Authors

Joost Breuker	Department of Computer Science and Law, Faculty of Law, University of Amsterdam, Kloveniersburgwal 72, 1012 CZ Amsterdam
Nienke den Haan	Department of Computer Science and Law, Faculty of Law, University of Amsterdam, Kloveniersburgwal 72, 1012 CZ Amsterdam

Sponsor

SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

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

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

	Bre90	J.A. Breuker. Towards a workbench for the legal practitioner. In A. Schmidt, K van Noortwijk, and R. Winkels, editors, Legal KBS: aims for research and development. Koninklijke Vermande, Lelystad NL, 1990.
	Bro90	P.W. Brouwer. Coherence in Law: An Analgtical Study. PhD thesis, University of Leiden, Groningen, The Netherlands, June 1990. in dutch.
	Coh89	A. G. Cohn, On the appearance of sortal literals: a non substitutional framework for hybrid reasoning, Proceedings of the first international conference on Principles of knowledge representation and reasoning, p.55-66, December 1989
	Fri89	Alan M. Frisch, A general framework for sorted deduction: fundamental results on hybrid reasoning, Proceedings of the first international conference on Principles of knowledge representation and reasoning, p.126-136, December 1989
	HB90	A. Hamfelt and J. Barklund. Metaprogramming for representation of legal principles. In M. Bruynooghe, editor, Proceedings of the Second Workshop on Meta-programming in Logic, META'90, pages 105-122, Leuven, Belgium, April 1990.
	HJW87	F. Haft , R. P. Jones , Th. Wetter, A natural language based legal expert system for consultation and tutoring—the LEX project, Proceedings of the 1st international conference on Artificial intelligence and law, p.75-83, May 27-29, 1997, Boston, Massachusetts, United States [doi>10.1145/41735.41745]
	KS86	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]
	LB85	H.J. Levesque and R.J. Brachman. A fundamental tradeoff in knowledge representation and reasoning. In R.J. Brachman H.J. Levesque, editor, Reading in Knowledge Representation, pages 41- 70. Morgan Kaufmann, 1985.
	McC89	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]
	Nys90	J.G. Nysingh. Traffic actions in the traffic law 1990. Master's thesis, University of Amsterdam, 1990. in dutch.
	Ris89	E. L. Rissland, Dimension-based analysis of hypotheticals from supreme court oral argument, Proceedings of the 2nd international conference on Artificial intelligence and law, p.111-120, May 1989, Vancouver, British Columbia, Canada [doi>10.1145/74014.74030]
	Ser85	M. Sergot, Representing legislation as logic programs, Machine intelligence 11, Oxford University Press, Inc., New York, NY, 1988
	Sta86	R. Stamper. A non-classical logic for law based on the structures of behaviour. In A.A. Martino and F. Socci Natali, editors, Automated Analysis of Legal Texts. North-Holland, 1986. Second International Conference on Logic, Informatics and Law.
	vH89	F. van Harmol~n. On th~ Efficiency of M~ta-l~wl Inference. PhD thesis, Department of Artificial Intelligence, University of Edinburgh, 1989. To appear in Research Notes in AI Series, Pitmann, 1990.

CITED BY 9

	Henk de Bruijn , Radboud Winkels, Case reconstruction before assessment, Proceedings of the 5th international conference on Artificial intelligence and law, p.239-245, May 21-24, 1995, College Park, Maryland, United States
	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
	André Valente , Joost Breuker, ON-LINE: an architecture for modelling legal information, Proceedings of the 5th international conference on Artificial intelligence and law, p.307-315, May 21-24, 1995, College Park, Maryland, United States
	Radboud Winkels , Nienke den Haan, Automated legislative drafting: generating paraphrases of legislation, Proceedings of the 5th international conference on Artificial intelligence and law, p.112-118, May 21-24, 1995, College Park, Maryland, United States
	Nienke den Haan, Tools for automated legislative drafting (abstract), Proceedings of the 6th international conference on Artificial intelligence and law, p.252, June 30-July 03, 1997, Melbourne, Australia
	D. Jouve , Y. Amghar , B. Chabbat , J.-M. Pinon, Conceptual framework for document semantic modelling: an application to document and knowledge management in the legal domain, Data & Knowledge Engineering, v.46 n.3, p.345-375, September 2003
	Katie Atkinson , Trevor Bench-Capon, Legal case-based reasoning as practical reasoning, Artificial Intelligence and Law, v.13 n.1, p.93-131, January 2005
	Katie Atkinson , Trevor Bench-Capon, Theory and Practice in AI and Law: A Response to Branting, Proceeding of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference, p.1-12, May 15, 2005
	Alexander Boer, Legal Theory, Sources of Law and the Semantic Web, Proceeding of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web, p.1-316, July 15, 2009