Keyphrases
- theorem prover
- theorem proving
- cooperative
- first order logic
- formal proof
- multi agent
- virtual reality
- neural network
- computer vision
- user interaction
- user friendly
- team members
- globally distributed
- highly interactive
- formal proofs
- proof search
- team formation
- interactive systems
- logic programs
- learning algorithm
- data mining