Renate Schmidt

Computer Science

1. Description Logics 100%
2. Ontology 66%
3. Tableau Calculus 57%
4. Decision Procedure 34%
5. Model Generation 22%
6. Finite Model Property 16%
7. Tableau System 14%
8. Theorem Prover 14%
9. Inference Rule 14%
10. Proof System 13%
11. Automated Reasoning 12%
12. Number Restriction 12%
13. Accessibility Relation 11%
14. Model Generation Method 11%
15. Soundness 11%
16. Theorem Proving 11%
17. Guarded Fragment 9%
18. Interpolation 7%
19. Resolution Method 7%
20. Tableau Method 7%
21. Satisfiability Problem 7%
22. Automated Tool 7%
23. multi agent 7%
24. Quantifier Elimination 7%
25. Correspondence Theory 6%
26. Knowledge Base 6%
27. Nonclassical Logic 6%
28. Order Theorem Prover 6%
29. Redundancy Elimination 5%
30. Renaming 5%
31. Subgraphs 5%
32. Stability Condition 5%
33. Ordering Refinement 5%
34. Intuitionistic Logic 5%
35. Search Space 5%
36. Roles 5%