Browse by Staff
 | Up a level |
Book Section
Sheremet, Mikhail and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) From topology to metric: modal logic and quantification in metric spaces. In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6. College Publications, pp. 429-448. ISBN 9781904987208.
Sheremet, Mikhail and Tishkovsky, D. and Wolter, F. and Zakharyaschev, M. (2005) 'Closer' representation and reasoning. In: Horrocks, I. and Sattler, U. and Wolter, F. (eds.) DL 2005: Proceedings of the 2005 International Workshop on Description Logics. CEUR Workshop Proceedings 147. CEUR-WS.org.
Sheremet, Mikhail and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2005) Comparative similarity, tree automata, and diophantine equations. In: Sutcliffe, G. and Voronkov, A. (eds.) LPAR 2005: Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 3835. Springer, pp. 651-665. ISBN 9783540305538.