 |
Free and accessible knowledge |
Conference papers
Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions
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.
Cited literature [16 references]
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
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)