Semi-qualitative Reasoning about Distances: A Preliminary Report

Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. Semi-qualitative Reasoning about Distances: A Preliminary Report. In Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira, editors, Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Volume 1919 of Lecture Notes in Computer Science, pages 37-56, Springer, 2000. [doi]

Abstract

Abstract is missing.