LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability.
Cleyton M. O. RodriguesEunice Palmeira da SilvaFred FreitasItalo Jose da Silva OliveiraIvan VarzinczakPublished in: FLAP (2019)
Keyphrases
- legal reasoning
- inference process
- theorem prover
- theorem proving
- probabilistic inference
- bayesian inference
- dynamic bayesian networks
- formal proof
- probabilistic model
- multi agent systems
- cooperative
- case law
- inference engine
- equational theories
- legal texts
- legal knowledge
- grammatical inference
- mathematical proofs
- bayesian model
- probabilistic reasoning
- neural network
- generative model
- logic programming
- expert systems
- bayesian networks