---
title: "Reasoning about distances"
authors:
  - "Frank Wolter"
  - "Michael Zakharyaschev"
doi: ""
url: "https://ijcai.org/proceedings/2003/181"
pdf: "https://ijcai.org/proceedings/2003/0181.pdf"
venue: "Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence"
year: 2003
pages: "1275-1281"
track: ""
keywords:
---

# Reasoning about distances

Frank Wolter, Michael Zakharyaschev

*Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence*, pages 1275-1281.

## Abstract

The paperpresents a novel expressive logic-based formalism intended for reasoning about numerical di stances. We investigate its computational properties (in particular, show that it is EXPTIMEcomplete) and devise a tableau-based satisfiabilitychecking algorithm. To be able to express knowledge about implicit or unknown distances, we then extend the language with variables ranging over distances and prove that the resulting logic is decidable as well.