{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:30:35Z","timestamp":1723015835234},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"abstract":"<jats:p>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.\n\nApplying 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 subclasses containing all basic relations.<\/jats:p>","DOI":"10.24963\/ijcai.2017\/137","type":"proceedings-article","created":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T09:14:07Z","timestamp":1501233247000},"page":"986-992","source":"Crossref","is-referenced-by-count":2,"title":["Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions"],"prefix":"10.24963","author":[{"given":"Quentin","family":"Cohen-Solal","sequence":"first","affiliation":[{"name":"Normandie Univ, UNICAEN, ENSICAEN, CNRS, GREYC, 14000 Caen, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maroua","family":"Bouzid","sequence":"additional","affiliation":[{"name":"Normandie Univ, UNICAEN, ENSICAEN, CNRS, GREYC, 14000 Caen, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Niveau","sequence":"additional","affiliation":[{"name":"Normandie Univ, UNICAEN, ENSICAEN, CNRS, GREYC, 14000 Caen, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"26","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)","University of Technology Sydney (UTS)","Australian Computer Society (ACS)"],"acronym":"IJCAI-2017","name":"Twenty-Sixth International Joint Conference on Artificial Intelligence","start":{"date-parts":[[2017,8,19]]},"theme":"Artificial Intelligence","location":"Melbourne, Australia","end":{"date-parts":[[2017,8,26]]}},"container-title":["Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T11:52:26Z","timestamp":1501242746000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2017\/137"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2017\/137","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}