Keyphrases
- multi agent systems
- multiagent systems
- cooperative
- theorem prover
- complex systems
- geometry theorem proving
- multi agent
- theorem proving
- fault localization
- natural deduction
- automated theorem proving
- novice programmers
- agent technology
- distributed multi agent systems
- young students
- failure detection
- failure rate
- data mining
- website
- artificial intelligence