Isomorphism and legal knowledge based systems

The British Nationality Act as a logic program

Marek Sergot, Fariba Sadri, Robert A. Kowalski et al. · Communications of the ACM · 1986 · 555 citations · Full text

Computing, Computer Science, Computer Systems +13

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

Trevor Bench‐Capon, G. O. Robinson, Tom Routen et al. · 1987 · 109 citations · Full text

Computing, Computer Science, Jurisprudence +6

Deep models, normative reasoning and legal expert systems

Trevor Bench‐Capon · 1989 · 60 citations

Law, Jurisprudence, Knowledge Representation +13

Coping with change

Paul Bratley, Jacques Frémont, Ejan Mackaay et al. · 1991 · 54 citations

Management, Change Management, Behavior Change Theory +7

Hierarchical formalizations

Tom Routen, Trevor Bench‐Capon · International Journal of Man-Machine Studies · 1991 · 39 citations