An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks-Reference-Cited by-同舟云学术

An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks

Published:2018 Issue: Volume: Page:160-178
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Glorian Gael,Lagniez Jean-Marie,Montmirail Valentin,Sioutis Michael

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-98334-9_11

Reference45 articles.

1. Sioutis, M., Alirezaie, M., Renoux, J., Loutfi, A.: Towards a synergy of qualitative spatio-temporal reasoning and smart environments for assisting the elderly at home. In: IJCAI Workshop on Qualitative Reasoning (2017)

2. Bhatt, M., Guesgen, H., Wölfl, S., Hazarika, S.: Qualitative spatial and temporal reasoning: emerging applications, trends, and directions. Spat. Cogn. Comput. 11, 1–14 (2011)

3. Dubba, K.S.R., Cohn, A.G., Hogg, D.C., Bhatt, M., Dylla, F.: Learning relational event models from video. J. Artif. Intell. Res. 53, 41–90 (2015)

4. Lecture Notes in Computer Science;PA Story,1995

5. Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: KR (1992)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Chapter 19. Neuro-Symbolic Spatio-Temporal Reasoning;Frontiers in Artificial Intelligence and Applications;2023-07-21

2. Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning;KI - Künstliche Intelligenz;2020-04-13

3. An Incremental SAT-Based Approach to the Graph Colouring Problem;Lecture Notes in Computer Science;2019

4. Towards Leveraging Backdoors in Qualitative Constraint Networks;KI 2019: Advances in Artificial Intelligence;2019