Hendrik Kaptein, Henry Prakken and Bart Verheij (eds): Review of legal evidence and proof: statistics, stories, logic.
Douglas WaltonPublished in: Artif. Intell. Law (2009)
Keyphrases
- legal reasoning
- argumentation schemes
- deontic logic
- proof theory
- inference rules
- natural deduction
- proof search
- linear logic
- theorem prover
- proof theoretic
- case based reasoning
- cut elimination
- logical rules
- modal logic
- artificial intelligence and law
- empirical evidence
- higher order logic
- automated theorem proving
- sequent calculus
- legal argument
- theorem proving
- logical framework
- legal cases
- proof procedure
- default reasoning
- literature review
- logic programming
- legal knowledge
- sequent calculi
- narrative structure
- asynchronous circuits
- predicate calculus
- classical logic
- united kingdom
- predicate logic
- evidential reasoning
- news stories
- statistical methods
- first order logic
- tableau calculus
- legal information retrieval
- story generation
- bayesian networks