Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation.

Trevor J. M. Bench-Capon, G. O. Robinson, Tom Routen, Marek J. Sergot

Browse the full ICAIL paper archive.