Sign in
Using dynamic logic programming to model legal reasoning.
N. Graca
Paulo Quaresma
Published in:
APPIA-GULP-PRODE (2003)
Keyphrases
</>
logic programming
legal reasoning
logic programs
high level
probabilistic model
probability distribution
formal model
nonmonotonic reasoning