Deciding consistency of a point-duration network with metric constraints
暂无分享,去创建一个
[1] Christer Bäckström,et al. A Unifying Approach to Temporal Constraint Reasoning , 1998, Artif. Intell..
[2] Eugene C. Freuder,et al. The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..
[3] Henry A. Kautz,et al. Integrating Metric and Qualitative Temporal Reasoning , 1991, AAAI.
[4] Manolis Koubarakis,et al. From Local to Global Consistency in Temporal Constraint Networks , 1995, Theor. Comput. Sci..
[5] Alfonso Gerevini,et al. On Finding a Solution in Temporal Constraint Satisfaction Problems , 1997, IJCAI.
[6] Manolis Koubarakis,et al. Tractable Disjunctions of Linear Constraints , 1996, CP.
[7] Martin C. Cooper. An Optimal k-Consistency Algorithm , 1989, Artif. Intell..
[8] Henry A. Kautz,et al. Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.
[9] Abdul Sattar,et al. INDU: An Interval and Duration Network , 1999, Australian Joint Conference on Artificial Intelligence.
[10] Rina Dechter,et al. Temporal Constraint Networks , 1989, Artif. Intell..
[11] Roque Marín,et al. On point-duration networks for temporal reasoning , 2002, Artif. Intell..
[12] Itay Meiri,et al. Combining Qualitative and Quantitative Constraints in Temporal Reasoning , 1991, Artif. Intell..
[13] Abdul Sattar,et al. A New Framework for Reasoning about Points, Intervals and Durations , 1999, IJCAI.
[14] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.