Browse by Person
 | Up a level |
Book Section
Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2000) Monodic epistemic predicate logic. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Moniz Pereira, L. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 329-344. ISBN 9783540411314.
Sturm, H. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (2000) Semi-qualitative reasoning about distances: a preliminary report. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Pereira, L.M. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 37-56. ISBN 9783540411314.