Jørgen Villadsen

Computer Science

1. Formalization 100%
2. Teams 95%
3. Multi Agent Systems 90%
4. Soundness 73%
5. Automated Reasoning 71%
6. Programs 69%
7. Programming Language 67%
8. Propositional Logic 60%
9. Natural Deduction 58%
10. Algorithms 57%
11. Computer Technology 53%
12. Semantics 53%
13. Sequent Calculus 51%
14. Proof System 48%
15. Reasoning 46%
16. Simulation Mode 44%
17. Higher Order Logic 39%
18. Design 37%
19. Completeness Proof 37%
20. Axiomatic System 29%
21. Functional Programming 26%
22. Functions 25%
23. Theorem Prover 23%
24. Theorem Proving 22%
25. Classical Logic 21%
26. Case Study 21%
27. Autonomous Agent 18%
28. Code Generation 17%
29. Application 16%
30. Belief Revision 14%
31. Simulation 14%
32. Infinite Number 14%
33. Standards 13%
34. Computer 12%
35. Agent-Oriented 12%
36. Intelligent Agent 11%
37. Systems Design 11%
38. Expected Behavior 11%
39. Kernel 11%
40. Machine Learning 11%
41. Open System 11%
42. Sentiment Analysis 11%
43. Intelligent Systems 11%
44. User 11%
45. Events 10%
46. Negation Normal Form 9%
47. Nonclassical Logic 9%
48. Formal Verification 9%
49. Artificial Intelligence 9%
50. Assertion 8%