Finitariness of elementary unification in Boolean Region Connection Calculus - Archive ouverte HAL
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

Domaines

Intelligence artificielle [cs.AI] Apprentissage [cs.LG] Logique en informatique [cs.LO] Informatique et langage [cs.CL]
Fichier principal
Vignette du fichier
balbiani_19196.pdf (356.43 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Open Archive Toulouse Archive Ouverte (OATAO)  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01650175

Soumis le : mardi 28 novembre 2017-12:03:16

Dernière modification le : mardi 26 novembre 2024-08:54:02

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
102 Consultations
128 Téléchargements

Altmetric

Partager

More