Alan Bundy

Computer Science

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