Dynamic Constraint Satisfaction Problems

Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990

Volumn , Issue , 1990, Pages 25-32

  Mittal, Sanjay ^a   Falkenhainer, Brian ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING;

CONDITION; CONSTRAINT SATISFACTION; CONSTRAINT-SATISFACTION PROBLEMS; DYNAMIC CONSTRAINT SATISFACTIONS; FIXED SETS; MODEL COMPOSITION; PROBLEM-SOLVING; SEARCH PROBLEM;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 85135997562     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. de Kleer, J. An assumption-based TMS. Artificial Intelligence, 28(2), March 1986.
2. de Kleer, J. and Williams, B. Back to backtracking: Controlling the ATMS. In Proceedings of AAAI-86, August, 1986.
3. Dechter, R. J and Pearl, J. Network-based heuristics for constraint-satisfaction problems. Artificial Intelligence, 34 (1):1-38, December 1987.
4. Falkenhainer, B and Forbus, K. D. Setting up largescale qualitative models. In Proceedings of AAAI-88, August 1988.
5. Falkenhainer, B and Forbus, K. D. Compositional modeling: Finding the right model for the job. (submitted for publication), January 1990.
6. Frayman, F and Mittal, S. Cossack: A Constraints-Based Expert System for Configuration Tasks. In Sriram, D and Adey, R. A, editors, Knowledge Based Expert Systems in Engineering: Planning and Design. Computational Mechanics Publications, pp. 143-166, August 1987.
7. Freeman-Benson, B. N., Maloney, J., Borning, A. An Incremental Constraint Solver Communications of the ACM, 33 (1):54-63, January 1990.
8. Freuder, E. C. A sufficient condition for backtrackfree search. Journal of ACM, 29 (1):24-32, 1982.
9. Freuder, E. C. A sufficient condition for backtrackbounded search. Journal of ACM, 32 (4):755-761, 1985.
10. Joxan, J. and Lassez. J. Constraint Logic Programming Technical Report, IBM Thomas J. Watson Res. Ctr., Yorktown Hts., NY, USA, October 1986
11. Mackworth, A. K. Consistency in networks of relations. Artificial Intelligence, 8:99-118, 1977.
12. Mackworth, A. K. Constraint Satisfaction. In Shapiro, S. C. (ed.), Encyclopedia of Artificial Intelligence, Vol. I, 2nd edition, John Wiley & Sons, New York, 1990
13. Mittal, S and Davis, H. Representing and solving hierarchical constraint problems. SSL Technical report, Xerox PARC, 1989.
14. Mittal, S. and Frayman, F. Towards a Generic Model of Configuration Tasks. Proceedings IJCAI-89, Detroit, Michigan, August 1989.
15. Mittal, S. Reasoning about Resource Constraints in Configuration Tasks. SSL Technical report, Xerox PARC, 1990
16. Mulder, J., A. Mackworth, W. S. Havens Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach. IEEE Trans. on Pattern Analysis and Machine Intelligence, 10 (6):866-879, November 1988.
17. Seidel, R. A New Method for Solving Constraint Satisfaction Problems. Proc. IJCAI-81, pages 338-342, Vancouver, Canada, August 24-28, 1981.