Key points are not available for this paper at this time.
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.
Sergot et al. (Thu,) studied this question.