Alan Bundy

Computer Science

1. Programs 100%
2. Ontology 86%
3. Domains 80%
4. Reasoning 80%
5. Representation 66%
6. Application 58%
7. Inductive Proof 53%
8. Theorem Proving 51%
9. Theorem Prover 49%
10. User 47%
11. Models 45%
12. Synthesis 43%
13. Heuristics 37%
14. Automation 31%
15. Artificial Intelligence 30%
16. Algorithms 27%
17. Standards 27%
18. Control 27%
19. Specifications 25%
20. Functions 24%
21. Proof Obligation 21%
22. Contexts 20%
23. Decision Procedure 19%
24. Automated Reasoning 19%
25. Theory Formation 19%
26. Inductive Theorem 18%
27. Search Space 18%
28. Probability 18%
29. Answering Query 17%
30. Rewrite Rule 17%
31. Generalization 17%
32. Design 17%
33. Classes 17%
34. Communication 16%
35. Transformations 16%
36. Abduction 15%
37. Formalization 15%
38. Belief Revision 13%
39. Diagrammatic Reasoning 13%
40. Datalog 13%
41. Roles 13%
42. Diagnosis 13%
43. Semantics 12%
44. Computer Software 12%
45. Mathematical Induction 12%
46. Schematic Diagram 11%
47. Classification 11%
48. Semantic Web 10%
49. Solving Equation 10%
50. Knowledge Base 10%