BIROn - Birkbeck Institutional Research Online

    Reasoning about distances

    Wolter, F. and Zakharyaschev, M. (2003) Reasoning about distances. In: Gottlob, G. and Walsh, T. (eds.) IJCAI-03: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, pp. 1275-1282.

    Full text not available from this repository.

    Abstract

    The paper presents a novel expressive logic-based formalism intended for reasoning about numerical distances. 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.

    Metadata

    Item Type: Book Section
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 01 Nov 2021 14:25
    Last Modified: 09 Aug 2023 12:52
    URI: https://eprints.bbk.ac.uk/id/eprint/46558

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    69Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item