Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation

Full text

Pdf (1.27 MB)

Source

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

Boston, Massachusetts, United States

Pages: 190 - 198

Year of Publication: 1987

ISBN:0-89791-230-6

Authors

T. J. M. Bench-Capon	Imperial College, London, England, UK
G. O. Robinson	Imperial College, London, England, UK
T. W. Routen	Imperial College, London, England, UK
M. J. Sergot	Imperial College, London, England, UK

Sponsor

SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 26, Citation Count: 21

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/41735.41757 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	Bench-Capon T., Sergot M. J., (1985) Towards a rule based representation of open texture in law. Dept. of Computing, Imp~al College.
	2	Bench-Capon T.J.M., (1986) Counterfactual Conditionals and Logic Programs. Dept. of Computing, Imperial College.
	3	T. J. M. Bench-Capon, Support for policy makers: formulating legislation with the aid of logical models, Proceedings of the 1st international conference on Artificial intelligence and law, p.181-189, May 27-29, 1997, Boston, Massachusetts, United States [doi>10.1145/41735.41756]
	4	DHSS Demonstrator (1984) A proposal to the Alvey Directorate.
	5	Hammond P. (1983) Representation of DHSS Regulations as a Logic Program. In Proceedings of the 3rd BCS Expert Systems Conference. British Computer Society, Cambridge, pp 225-235.
	6	Hammond P., Sergot M. J., (1983) A PROLOG shell for logic based expert systems. In Proceedings of the 3rd BCS Expert Systems Conference. British Computer Society, Cambridge, pp 95-104.
	7	Robert A. Kowalski, Logic for Problem Solving, Prentice Hall PTR, Upper Saddle River, NJ, 1979
	8	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]
	9	The Law Relating to Supplementary Benefits and Family Income Supplements. (1980). Her Majesty's Stationery Office, London.
	10	Leith P. ELI: An Expert Legislative Consultant. Presented at the IEE Conference on Man/Machine Systems UMIST luly 6-9, 1982, Conference Publication Number 212.
	11	M. Sergot, Representing legislation as logic programs, Machine intelligence 11, Oxford University Press, Inc., New York, NY, 1988
	12	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]
	13	Stamper, R.K., (1979). LEGOL: Modelling Legal Rules By Computer. In Computer Science and Law (Niblett, ed.,) Cambridge University Press, 1979

CITED BY 21

	Surendra Dayal , Michael Harmer , Peter Johnson , David Mead, Beyond knowledge representation: commercial uses for legal knowledge bases, Proceedings of the 4th international conference on Artificial intelligence and law, p.167-174, June 15-18, 1993, Amsterdam, The Netherlands
	Pepijn R. S. Visser , Robert W. van Kralingen , Trevor J. M. Bench-Capon, A method for the development of legal knowledge systems, Proceedings of the 6th international conference on Artificial intelligence and law, p.151-160, June 30-July 03, 1997, Melbourne, Australia
	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
	Peter Johnson , David Mead, Legislative knowledge base systems for public administration: some practical issues, Proceedings of the 3rd international conference on Artificial intelligence and law, p.108-117, May 1991, Oxford, England
	D. B. Skalak, Taking advantage of models for legal classification, Proceedings of the 2nd international conference on Artificial intelligence and law, p.234-241, May 1989, Vancouver, British Columbia, Canada
	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
	M. J. Sergot , A. S. Kamble , K. K. Bajaj, Indian central civil service pension rules: a case study in logic programming applied to regulations, Proceedings of the 3rd international conference on Artificial intelligence and law, p.118-127, May 1991, Oxford, England
	Bernard Moulin , Daniel Rousseau, Applying Case-Based Reasoning to Autoclave Loading, IEEE Expert: Intelligent Systems and Their Applications, v.7 n.5, p.27-32, October 1992
	Bernard Moulin , Daniel Rousseau, Applying Case-Based Reasoning to Autoclave Loading, IEEE Expert: Intelligent Systems and Their Applications, v.7 n.5, p.27-32, October 1992
	D. H. Berman, Cutting legal loops, Proceedings of the 2nd international conference on Artificial intelligence and law, p.251-258, May 1989, Vancouver, British Columbia, Canada
	T. J. M. Bench-Capon, Deep models, normative reasoning and legal expert systems, Proceedings of the 2nd international conference on Artificial intelligence and law, p.37-45, May 1989, Vancouver, British Columbia, Canada
	Tom M. van Engers , Rik Gerrits , Margherita Boekenoogen , Erwin Glassée , Patries Kordelaar, POWER: using UML/OCL for modeling legislation - an application report, Proceedings of the 8th international conference on Artificial intelligence and law, p.157-167, May 2001, St. Louis, Missouri, United States
	Steven O. Kimbrough , Thomas Y. Lee , Balaji Padmanabhan , Yinghui Yang, On original generation of structure in legal documents, Proceedings of the 9th international conference on Artificial intelligence and law, June 24-28, 2003, Scotland, United Kingdom
	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
	Bernard Moulin , Daniel Rousseau, Knowledge acquisition from prescriptive texts, Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems, p.1112-1121, June 1990, Charleston, South Carolina, United States
	Marc Lauritsen, Knowledge-based approaches to government benefits analysis, Proceedings of the 3rd international conference on Artificial intelligence and law, p.98-107, May 1991, Oxford, England
	Tom M. van Engers , Margherita R. Boekenoogen, Improving legal quality: an application report, Proceedings of the 9th international conference on Artificial intelligence and law, June 24-28, 2003, Scotland, United Kingdom
	Luca Compagna , Paul El Khoury , Fabio Massacci , Reshma Thomas , Nicola Zannone, How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach, Proceedings of the 11th international conference on Artificial intelligence and law, June 04-08, 2007, Stanford, California
	Trevor Bench-Capon , Thomas F. Gordon, Isomorphism and argumentation, Proceedings of the 12th International Conference on Artificial Intelligence and Law, June 08-12, 2009, Barcelona, Spain
	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
	Luca Compagna , Paul El Khoury , Alžbeta Krausová , Fabio Massacci , Nicola Zannone, How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns, Artificial Intelligence and Law, v.17 n.1, p.1-30, March 2009