Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

AGP
2003
IEEE

favoriteEmaildiscussreport

108views Artificial Intelligence» more AGP 2003»

Using dynamic logic programming to model legal reasoning

13 years 8 months ago

Using dynamic logic programming to model legal reasoning

Download www.di.uevora.pt

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

Real-time Traffic

AGP 2003 | Artificial Intelligence | Dynamic Logic Programming | Legal Dynamic Situations | Legal Knowledge Reasoning |

claim paper

Related Content

» A Generic Complete Dynamic Logic for Reasoning About Purity and Effects

» A taxonomy of argumentation models used for knowledge representation

» A Logical Understanding of Legal Interpretation

» A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases

» Dynamic Logic Programming Various Semantics Are Equal on Acyclic Programs

» Ordersorted logic programming with predicate hierarchy

» A Logical Model of Private International Law

» Using dynamic execution traces and program invariants to enhance behavioral model inferenc...

» A first approach to argumentbased recommender systems based on defeasible logic programmin...

Post Info
More Details (n/a)

Added	23 Aug 2010
Updated	23 Aug 2010
Type	Conference
Year	2003
Where	AGP
Authors	N. Graca, Paulo Quaresma

Comments (0)