The modular logic of private international law.
Phan Minh DungGiovanni SartorPublished in: Artif. Intell. Law (2011)
Keyphrases
- derivation rules
- artificial intelligence and law
- multi valued
- computer science
- privacy preserving
- data sets
- logic programming
- proof theory
- asynchronous circuits
- classical logic
- modal logic
- predicate logic
- sound and complete axiomatization
- bayesian networks
- engineering and computer science
- programming language
- public private
- expressive power
- truth values
- automated reasoning
- south african
- private data
- management science
- legal reasoning
- real time
- logical framework
- world wide