Difficulty Scaling in Proof of Work for Decentralized Problem Solving.
Pericles PhilippopoulosAlessandro RicottoneCarlos G. OliverPublished in: CoRR (2019)
Keyphrases
- artificial intelligence
- cooperative
- case based reasoning
- engineering design
- proof planning
- information processing
- distributed systems
- peer to peer
- multi agent
- knowledge acquisition
- solving problems
- analogical reasoning
- distributed problem solving
- ai systems
- automated theorem proving
- hierarchical problem solving
- digital libraries
- reinforcement learning
- complex problem solving
- distributed agents
- concept formation
- theorem prover
- learning algorithm
- multi agent systems