HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions

Quentin Cohen-Solal 1 Maroua Bouzid 1 Alexandre Niveau 1
1 Equipe MAD - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image et Instrumentation de Caen
Abstract : Relying on the recently introduced multi-algebras, we present a general approach for reasoning about temporal sequences of qualitative information that is generally more efficient than existing techniques. Applying our approach to the specific case of sequences of topological information about constant-size regions, we show that the resulting formalism has a complete procedure for deciding consistency, and we identify its three maximal tractable sub-classes containing all basic relations.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01579030
Contributor : Quentin Cohen-Solal Connect in order to contact the contributor
Submitted on : Wednesday, March 21, 2018 - 8:58:23 PM
Last modification on : Wednesday, November 3, 2021 - 5:06:53 AM

File

ijcai17.pdf
Files produced by the author(s)

Identifiers

Citation

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions. Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.986 - 992, ⟨10.24963/ijcai.2017/137⟩. ⟨hal-01579030v2⟩

Share

Metrics

Record views

200

Files downloads

114