Temporal Constraint Satisfaction Problems
暂无分享,去创建一个
[1] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[2] Roque Marín,et al. Un nuevo Modelo Tratable y Eficiente para Razonamiento Temporal Cualitativo con Puntos y Duraciones , 2000 .
[3] Rina Dechter,et al. Experimental Evaluation of Preprocessing Algorithms for Constraint Satisfaction Problems , 1994, Artif. Intell..
[4] Bernhard Nebel,et al. Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra , 1994, JACM.
[5] Peter Jonsson,et al. Twenty-One Large Tractable Subclasses of Allen's Algebra , 1997, Artif. Intell..
[6] Roque Marín,et al. Qualitative Temporal Reasoning with Points and Durations , 1997, IJCAI.
[7] Rina Dechter,et al. Processing Disjunctions in Temporal Constraint Networks , 1997, Artif. Intell..
[8] Kenneth M. Kahn,et al. Mechanizing Temporal Knowledge , 1977, Artif. Intell..
[9] Edward P. K. Tsang,et al. The Consistent Labeling Problem in Temporal Reasoning , 1987, AAAI.
[10] Henry A. Kautz,et al. Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .
[11] Itay Meiri,et al. Combining Qualitative and Quantitative Constraints in Temporal Reasoning , 1991, Artif. Intell..
[12] Roque Marín,et al. Modelling Contextual Meta-Knowledge in Temporal Model Based Diagnosis , 2002, ECAI.
[13] I. Hamlet,et al. A Representation of Time for Medical Expert Systems , 1987 .
[14] Federico Barber,et al. A metric time-point and duration-based temporal model , 1993, SGAR.
[15] Fei Song,et al. The Interpretation of Temporal Relations in Narrative , 1988, AAAI.
[16] Rina Dechter,et al. Temporal Constraint Networks , 1989, Artif. Intell..
[17] Roque Marín,et al. On point-duration networks for temporal reasoning , 2002, Artif. Intell..
[18] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[19] Peter van Beek,et al. Reasoning About Qualitative Temporal Information , 1990, Artif. Intell..
[20] Drew McDermott,et al. Temporal Data Base Management , 1987, Artif. Intell..
[21] Roque Marín,et al. Reasoning with disjunctive fuzzy temporal constraint networks , 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.
[22] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .
[23] Henry A. Kautz,et al. Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.
[24] Amar Isli,et al. Temporal Constraint Satisfaction Techniques in Job Shop Scheduling Problem Solving , 1998, Constraints.
[25] Manolis Koubarakis,et al. Dense Time and Temporal Constraints with != , 1992, KR.
[26] Abdul Sattar,et al. Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations , 1998, AAAI/IAAI.
[27] Sushil Jajodia,et al. Mining Temporal Relationships with Multiple Granularities in Time Sequences , 1998, IEEE Data Eng. Bull..
[28] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[29] Eddie Schwalb,et al. Temporal Constraints: A Survey , 1998, Constraints.
[30] Klaus Nökel. Temporally Distributed Symptoms in Technical Diagnosis , 1991, Lecture Notes in Computer Science.
[31] Peter van Beek,et al. Exact and approximate reasoning about temporal relations 1 , 1990, Comput. Intell..
[32] Rina Dechter,et al. Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition , 1990, Artif. Intell..
[33] James F. Allen,et al. Planning Using a Temporal World Model , 1983, IJCAI.
[34] Peter Jonsson,et al. A Complete Classification of Tractability in Allen's Algebra Relative to Subsets of Basic Relations , 1998, Artif. Intell..
[35] Manolis Koubarakis,et al. Tractable Disjunctions of Linear Constraints , 1996, CP.
[36] Roque Marín,et al. Deciding consistency of a point-duration network with metric constraints , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
[37] Steffen Staab,et al. From binary temporal relations to non-binary ones and back , 2001, Artif. Intell..