Rationality-proof consensus: extended abstract.
Jean-Philippe MartinEunjin JungPublished in: CoRR (2018)
Keyphrases
- extended abstract
- game theory
- mathematical proofs
- computer vision
- multi agent
- artificial neural networks
- geometry theorem proving
- profit sharing
- proof planning
- bounded rationality
- multi agent systems
- genetic algorithm
- relational databases
- search algorithm
- similarity measure
- linear logic
- natural deduction
- proof theory
- website
- proof search
- learning algorithm
- complete axiomatization
- neural network
- databases