Concepedia

The British Nationality Act as a logic program

Marek Sergot, Fariba Sadri, Robert A. Kowalski, Frank Kriwaczek, Peter Hammond, Hans Cory

Communications of the ACM · 1986 · 555 citations · 12 references

DOIFull text

Open access

Concepts

Abstract

The formalization of legislation and the development of computer systems to assist with legal problem solving provide a rich domain for developing and testing artificial-intelligence technology.

References

12

HER MAJESTY'S STATIONERY OFFICE

D. C. DASHFIELD · Parliamentary Affairs · 1954 · 1.2K citations

, , +1

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

, , +7

Making prolog more expressive

John W. Lloyd, Rodney Topor · The Journal of Logic Programming · 1984 · 316 citations

, , +9

Reflections on "Taxman": An Experiment in Artificial Intelligence and Legal Reasoning

L. Thorne McCarty · Harvard Law Review · 1977 · 215 citations

, , +7

LEGOL 2.0: A relational specification language for complex rules

Susan Jones, Peter Mason, R.K. Stamper · Information Systems · 1979 · 71 citations

, , +11