Finitariness of elementary unification in Boolean Region Connection Calculus - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Finitariness of elementary unification in Boolean Region Connection Calculus

Résumé

Boolean Region Connection Calculus is a formalism for reasoning about the topological relations between regions. In this paper, we provide computability results about unifiability in Boolean Region Connection Calculus and prove that elementary unification is finitary
Fichier principal
Vignette du fichier
balbiani_19196.pdf (356.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01650175 , version 1 (28-11-2017)

Identifiants

Citer

Philippe Balbiani, Cigdem Gencer. Finitariness of elementary unification in Boolean Region Connection Calculus. 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), Sep 2017, Brasilia, Brazil. pp.281-297, ⟨10.1007/978-3-319-66167-4_16⟩. ⟨hal-01650175⟩
85 Consultations
100 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More