Complexity classification in qualitative temporal constraint reasoning

Jonsson P; Krokhin A

首页> 外文期刊>Artificial intelligence >Complexity classification in qualitative temporal constraint reasoning

【24h】

Complexity classification in qualitative temporal constraint reasoning

机译：定性时间约束推理中的复杂度分类

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We study the computational complexity of the qualitative algebra which is a temporal constraint formalism that combines the point algebra, the point-interval algebra and Allen's interval algebra. We identify all tractable fragments and show that every other fragment is NP-complete. (C) 2004 Elsevier B.V. All rights reserved.

著录项

来源
《Artificial intelligence》 |2004年第2期|p. 35-51|共17页
作者
Jonsson P; Krokhin A;
展开▼
作者单位

Linkoping Univ, Dept Comp & Informat Sci, SE-58183 Linkoping, Sweden;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
temporal reasoning; constraint satisfaction; computational complexity; ALLENS INTERVAL ALGEBRA; TRACTABLE SUBCLASSES; TIME; ALGORITHMS;

机译：时间推理;约束满足;计算复杂度;艾伦斯区间代数;可跟踪子类;时间;算法;

相似文献

外文文献
中文文献
专利

1. Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning [J] . Kunstliche Intelligenz . 2020,第2期

机译：基于立即约束的定性空间和时间推理的推论
2. On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning [J] . Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：基于邻域单例风格一致性的基于质约束的时空推理
3. Qualitative Temporal Reasoning Can Improve on Temporal Annotation Quality: How and Why [J] . Gennari Rosella, Vittorini Pierpaolo Applied Artificial Intelligence . 2017,第7a10期

机译：定性的时间推理可以改善时间注释的质量：如何以及为什么
4. Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning [C] . Philippe Balbaiani, Jean-Francois Condotta International Conference on Frontiers of Combining Systems . 2002

机译：基于定性空间或时间推理的命题线性时间逻辑的计算复杂性
5. Efficient and expressive extensions of constraint-based temporal reasoning. [D] . Moffitt, Michael David. 2007

机译：基于约束的时间推理的有效和表达性扩展。
6. Analysis of Temporal Constraints in Qualitative Eligibility Criteria of Cancer Clinical Studies [O] . Zhe He, Zhiwei Chen, Jiang Bian -1

机译：癌症临床研究定性标准中的时间限制因素分析
7. Complexity classification in qualitative temporal constraint reasoning. [O] . Jonsson P., Krokhin A. 2004

机译：定性时间约束推理中的复杂性分类。
8. Tractable Temporal Reasoning: Temporal Spatial Constraint Propagation Management. [R] . Hoebel, L. J. 1994

机译：可追踪的时间推理：时空空间约束传播管理。

Complexity classification in qualitative temporal constraint reasoning

摘要

著录项

相似文献

相关主题

期刊订阅