Sciweavers

Share
AGP
2003
IEEE

Using dynamic logic programming to model legal reasoning

9 years 1 months ago
Using dynamic logic programming to model legal reasoning
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and to model laws produced by distinct entities with different priorities at different time points. In this paper we propose the use of dynamic logic programming to model these legal dynamic situations. Some examples are discussed and the implementation of a legal oracle server is described.
N. Graca, Paulo Quaresma
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2003
Where AGP
Authors N. Graca, Paulo Quaresma
Comments (0)
books