Article

Free access

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

Authors:

T. J. M. Bench-Capon,

G. O. Robinson,

T. W. Routen,

M. J. SergotAuthors Info & Claims

ICAIL '87: Proceedings of the 1st international conference on Artificial intelligence and law

Pages 190 - 198

https://doi.org/10.1145/41735.41757

Published: 01 December 1987 Publication History

PDF eReader

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.

Google Scholar

[2]

Bench-Capon T.J.M., (1986) Counterfactual Conditionals and Logic Programs. Dept. of Computing, Imperial College.

Google Scholar

[3]

Bench-Capon T.J.M., (1987) Support for Policy makers: Formulating Legislation with the Aid of Logical Models. First International Conference on AI and the Law. Boston. May, 1987.

Digital Library

Google Scholar

[4]

DHSS Demonstrator (1984) A proposal to the Alvey Directorate.

Google Scholar

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

Google Scholar

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

Google Scholar

[7]

Kowalski R.A. (1979) Logic for Problem Solving North Holland-Elsevier, New York.

Digital Library

Google Scholar

[8]

Kowalski R.A.and Sergot, M.J., (1986). A Logic Based Calculus of Events. New Generation Computing, Vol. 4, No. 1, Feb 1986, pp 67-95, Ohmsha Ltd. and Springer-Verlag.

Digital Library

Google Scholar

[9]

The Law Relating to Supplementary Benefits and Family Income Supplements. (1980). Her Majesty's Stationery Office, London.

Google Scholar

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

Google Scholar

[11]

Sergot M. I. (1985) Representing Legislation as Logic Programs. Dept. of Computing, Imperial College. To appear in Machine Intelligence 11, Oxford University Press.

Digital Library

Google Scholar

[12]

Sergot M. l., Sadri, F., Kowalski, R. A., Kriwaczek, F., HammondP., Cory H. T., (1986) The British Nationality Act as a Logic Program. Comm. ACM, Vol. 29, No. 5, pp 370-386.

Digital Library

Google Scholar

[13]

Stamper, R.K., (1979). LEGOL: Modelling Legal Rules By Computer. In Computer Science and Law (Niblett, ed.,) Cambridge University Press, 1979

Google Scholar

Cited By

View all

Liu JWang HCao ZYu WZhao CZhao DYang DLi J(2023)Semantic Traffic Law Adaptive Decision-Making for Self-Driving VehiclesIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2023.329457924:12(14858-14872)Online publication date: Dec-2023
https://doi.org/10.1109/TITS.2023.3294579
Zhao CYu WMa XZhao YLi BWang WHu JWang HZhao D(2023)Digitization of Traffic Laws: Methodologies and Usage for Monitoring Driving Compliance2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)10.1109/ITSC57777.2023.10422600(2376-2383)Online publication date: 24-Sep-2023
https://doi.org/10.1109/ITSC57777.2023.10422600
Canavotto IHorty JConitzer VTasioulas JScheutz MCalo RMara MZimmermann A(2022)Piecemeal Knowledge Acquisition for Computational Normative ReasoningProceedings of the 2022 AAAI/ACM Conference on AI, Ethics, and Society10.1145/3514094.3534182(171-180)Online publication date: 26-Jul-2022
https://dl.acm.org/doi/10.1145/3514094.3534182
Show More Cited By

Index Terms

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

Recommendations

Logic programming semantics: techniques and applications
Formalization of the Resolution Calculus for First-Order Logic

I present a formalization in Isabelle/HOL of the resolution calculus for first-order logic with formal soundness and completeness proofs. To prove the calculus sound, I use the substitution lemma, and to prove it complete, I use Herbrand interpretations ...
Self-Formalisation of Higher-Order Logic

We present a mechanised semantics for higher-order logic (HOL), and a proof of soundness for the inference system, including the rules for making definitions, implemented by the kernel of the HOL Light theorem prover. Our work extends Harrison's ...

Comments

Information & Contributors

Information

Published In

ICAIL '87: Proceedings of the 1st international conference on Artificial intelligence and law

December 1987

257 pages

ISBN:0897912306

DOI:10.1145/41735

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1987

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 69 of 169 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

62
Total Citations
View Citations
838
Total Downloads

Downloads (Last 12 months)127
Downloads (Last 6 weeks)21

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Liu JWang HCao ZYu WZhao CZhao DYang DLi J(2023)Semantic Traffic Law Adaptive Decision-Making for Self-Driving VehiclesIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2023.329457924:12(14858-14872)Online publication date: Dec-2023
https://doi.org/10.1109/TITS.2023.3294579
Zhao CYu WMa XZhao YLi BWang WHu JWang HZhao D(2023)Digitization of Traffic Laws: Methodologies and Usage for Monitoring Driving Compliance2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)10.1109/ITSC57777.2023.10422600(2376-2383)Online publication date: 24-Sep-2023
https://doi.org/10.1109/ITSC57777.2023.10422600
Canavotto IHorty JConitzer VTasioulas JScheutz MCalo RMara MZimmermann A(2022)Piecemeal Knowledge Acquisition for Computational Normative ReasoningProceedings of the 2022 AAAI/ACM Conference on AI, Ethics, and Society10.1145/3514094.3534182(171-180)Online publication date: 26-Jul-2022
https://dl.acm.org/doi/10.1145/3514094.3534182
Governatori GBench-Capon TVerheij BAraszkiewicz MFrancesconi EGrabmair M(2022)Thirty years of Artificial Intelligence and Law: the first decadeArtificial Intelligence and Law10.1007/s10506-022-09329-430:4(481-519)Online publication date: 6-Sep-2022
https://doi.org/10.1007/s10506-022-09329-4
Verheij B(2022)The Study of Artificial Intelligence as LawLaw and Artificial Intelligence10.1007/978-94-6265-523-2_24(477-502)Online publication date: 6-Jul-2022
https://doi.org/10.1007/978-94-6265-523-2_24
Atkinson KBench-Capon T(2021)Argumentation schemes in AI and LawArgument & Computation10.3233/AAC-200543(1-18)Online publication date: 24-Mar-2021
https://doi.org/10.3233/AAC-200543
Atkinson KCollenette JBench-Capon TDzehtsiarou KMaranhão JWyner A(2021)Practical tools from formal modelsProceedings of the Eighteenth International Conference on Artificial Intelligence and Law10.1145/3462757.3466095(170-174)Online publication date: 21-Jun-2021
https://dl.acm.org/doi/10.1145/3462757.3466095
Kowalski RDatoo A(2021)Logical English meets legal English for swaps and derivativesArtificial Intelligence and Law10.1007/s10506-021-09295-330:2(163-197)Online publication date: 12-Aug-2021
https://doi.org/10.1007/s10506-021-09295-3
Michálek J(2020)Automatizovaná podpora rozhodování v právu na úrovni gramatických větRevue pro právo a technologie10.5817/RPT2020-2-411:22(111-143)Online publication date: 30-Dec-2020
https://doi.org/10.5817/RPT2020-2-4
Verheij B(2020)Artificial intelligence as lawArtificial Intelligence and Law10.1007/s10506-020-09266-0Online publication date: 14-May-2020
https://doi.org/10.1007/s10506-020-09266-0
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Logic programming semantics: techniques and applications

Formalization of the Resolution Calculus for First-Order Logic

Self-Formalisation of Higher-Order Logic

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Logic programming semantics: techniques and applications

Formalization of the Resolution Calculus for First-Order Logic

Self-Formalisation of Higher-Order Logic

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations