Modelling Legal Reasoning in a Mathematical Environment through Model-Theoretic Semantics.
Samuel M. Brasil Jr.Berilhes Borges GarciaPublished in: ICAIL (2003)
Keyphrases
- model theoretic
- legal reasoning
- deductive databases
- description logics
- operational semantics
- logic programs
- decision procedures
- proof theoretic
- default reasoning
- fixpoint
- fixpoint semantics
- defeasible reasoning
- probabilistic reasoning
- case based reasoning
- logic programming
- nonmonotonic reasoning
- dynamic environments
- autoepistemic logic
- artificial intelligence
- inference rules
- defeasible logic
- inductive logic programming