![]() | Up a level |
2005
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.
2006
Hustadt, U. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) Automated reasoning about metric and topology. In: Fisher, M. and van der Hoek, W. and Konev, B. and Lisitsa, A. (eds.) JELIA 2006: Logics in Artificial Intelligence. Lecture Notes in Computer Science 4160. Springer, pp. 490-493. ISBN 9783540396253.
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.
2007
Sheremet, M. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2007) A logic for concepts and similarity. Journal of Logic and Computation 17 (3), pp. 415-452. ISSN 0955-792X.