Logic and Theory Repair in Legal Modification.
Yiwei LuYuhui LinXue LiAlan BundyBurkhard SchäferAndrew IrelandPublished in: COGAI@IJCLR (2023)
Keyphrases
- formal theory
- set theory
- computer algebra
- theoretical framework
- proof theory
- deductive reasoning
- probability theory
- defeasible logic
- mathematical theory
- theoretical basis
- commonsense reasoning
- logic programming
- legal knowledge
- logical framework
- classical logic
- causal reasoning
- asynchronous circuits
- damage assessment
- legal information
- modal logic
- multi agent systems