Cooperative Repositories for Formal Proofs.
Pierre CorbineauCezary KaliszykPublished in: Calculemus/MKM (2007)
Keyphrases
- formal proofs
- cooperative
- learning objects
- metadata
- digital libraries
- cooperative learning
- distributed problem solving
- game theory
- real world
- machine readable form
- artificial intelligence
- neural network
- software engineering
- learning process
- source code
- multi agent systems
- video sequences
- data repositories
- linked open data
- reinforcement learning