| 2007 |
|---|
| 4 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
A Logic for Concepts and Similarity.
J. Log. Comput. 17(3): 415-452 (2007) |
| 2006 |
|---|
| 3 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
From topology to metric: modal logic and quantification in metric spaces.
Advances in Modal Logic 2006: 429-448 |
| 2005 |
|---|
| 2 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
'Closer' representation and reasoning.
Description Logics 2005 |
| 1 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
Comparative Similarity, Tree Automata, and Diophantine Equations.
LPAR 2005: 651-665 |
