Keyphrases
- legal reasoning
- deontic logic
- defeasible logic
- formal theory
- case based reasoning
- computer algebra
- inference rules
- defeasible reasoning
- logical framework
- artificial intelligence and law
- commonsense reasoning
- proof theory
- probability theory
- artificial intelligence
- set theory
- legal argument
- modal logic
- argumentation schemes
- legal knowledge representation
- deductive reasoning
- legal cases
- asynchronous circuits
- decision theory
- belief functions
- natural language