How to model legal reasoning using dynamic logic programming: a preliminary report

Authors

Daniele Bourcier, Paulo Quaresma,