Coping With Disjunctions in Temporal Constraint Satisfaction Problems
暂无分享,去创建一个
[1] Rina Dechter,et al. Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition , 1990, Artif. Intell..
[2] Alexander Reinefeld,et al. Effective Solution of Qualitative Interval Constraint Problems , 1992, Artif. Intell..
[3] Henry A. Kautz,et al. Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.
[4] Rina Dechter,et al. Removing Redundancies in Constraint Networks , 1987, AAAI.
[5] Massimo Poesio,et al. Metric Constraints for Maintaining Appointments: Dates and Repeated Activities , 1991, AAAI.
[6] Manolis Koubarakis,et al. Dense Time and Temporal Constraints with != , 1992, KR.
[7] Rina Dechter,et al. Network-Based Heuristics for Constraint-Satisfaction Problems , 1987, Artif. Intell..
[8] Rina Dechter,et al. Temporal Constraint Networks , 1989, Artif. Intell..
[9] Peter van Beek,et al. Reasoning About Qualitative Temporal Information , 1990, Artif. Intell..
[10] Eugene C. Freuder. A sufficient condition for backtrack-bounded search , 1985, JACM.
[11] Henry A. Kautz,et al. Integrating Metric and Qualitative Temporal Reasoning , 1991, AAAI.
[12] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[13] Manolis Koubarakis. Dense Time and Temporal Constraints with 6 = , 1992 .
[14] Drew McDermott,et al. Temporal Data Base Management , 1987, Artif. Intell..