Has author Dmitry Tishkovsky
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Dmitry Tishkovsky"- Using Tableau to Decide Expressive Description Logics with Role Negation +
- A Logic for Concepts and Similarity +
- From topology to metric: modal logic and quantification in metric spaces +
- Automated Reasoning About Metric and Topology +
- 'Closer' representation and reasoning +
- Comparative Similarity, Tree Automata, and Diophantine Equations +
