Renate Schmidt

Computer Science

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