OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Two decision problems in Contact Logics

Balbiani, Philippe and Gencer, Cigdem and Özdemir, Zafer Two decision problems in Contact Logics. (2019) Logic Journal of the IGPL, 27 (1). 8-32. ISSN 1367-0751

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
972kB

Official URL: https://doi.org/10.1093/jigpal/jzy016

Abstract

Contact Logics provide a natural framework for representing and reasoning about regions in several areas of computer science. In this paper, we focus our attention on reasoning methods for Contact Logics and address the satisfiability problem and the unifiability problem. Firstly, we give sound and complete tableaux-based decision procedures in Contact Logics and we obtain new results about the decidability/complexity of the satisfiability problem in these logics. Secondly, we address the computability of the unifiability problem in Contact Logics and we obtain new results about the unification type of the unifiability problem in these logics.

Item Type:Article
Additional Information:https://academic.oup.com/jigpal/article-abstract/27/1/8/5047569
HAL Id:hal-02378372
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > İstanbul Aydin Üniversitesi - IAU (TURKEY)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > İstanbul Kültür Üniversitesi - IKU (TURKEY)
Laboratory name:
Statistics:download
Deposited On:18 Nov 2019 11:06

Repository Staff Only: item control page