Output details
11 - Computer Science and Informatics
Birkbeck College
Article title
A modal logic framework for reasoning about comparative distances and topology
Type
D - Journal article
Title of journal
Annals of Pure and Applied Logic
Article number
-
Volume number
161
Issue number
4
First page of article
534
ISSN of journal
01680072
Year of publication
2010
URL
-
Number of additional authors
2
Additional information
<11> This is the first paper to introduce and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces. The research was undertaken as part of the EPSRC-funded project "Knowledge Representation & Reasoning about Distances".
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Computational Intelligence
Citation count
8
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-