Renegotiation-proof relational contracts.
Susanne GoldlückeSebastian KranzPublished in: Games Econ. Behav. (2013)
Keyphrases
- relational databases
- theorem proving
- data model
- supply chain
- relational data
- relational model
- relational learning
- database schema
- theorem prover
- entity relationship
- database
- linear logic
- multi relational
- probabilistic relational models
- automated theorem proving
- statistical relational learning
- inductive logic programming
- object oriented
- genetic algorithm