Value-Oriented Legal Argumentation in Isabelle/HOL.
Christoph BenzmüllerDavid FuenmayorPublished in: ITP (2021)
Keyphrases
- theorem prover
- legal reasoning
- natural deduction
- inference rules
- practical reasoning
- dispute resolution
- legal cases
- ai law
- defeasible reasoning
- theorem proving
- argumentation schemes
- artificial intelligence and law
- higher order logic
- legal argument
- first order logic
- early vision
- intellectual property
- genetic algorithm
- desirable properties
- proceedings of the th international conference
- argumentation semantics
- electronic commerce
- cut elimination
- artificial intelligence